For non-additive set functions, the independent product, in general, is not unique and the Fubini theorem is restricted to slice-comonotonic functions. In this paper, we use the representation theorem of Gilboa and Schmeidler (Math Oper Res 20:197–212, 1995) to extend the Möbius product for non-additive set functions to non-finite spaces. We extend the uniqueness result of Ghirardato (J Econ Theory 73:261–291, 1997) for products of two belief functions and weaken the requirements on the marginals necessary to (...) obtain the Fubini property in the product. More importantly, we show that for the Möbius product one side of the Fubini theorem holds for all integrable functions if one of the marginals either is a probability or a convex combination of a chain of unanimity games, i.e., we relax the requirement of slice-comonotonicity and enrich the set of possible applications. (shrink)

The purpose of this article is to introduce a Cartesian product structure into the social choice theoretical framework and to examine if new possibility results to Gibbard’s and Sen’s paradoxes can be developed thanks to it. We believe that a Cartesian product structure is a pertinent way to describe individual rights in the social choice theory since it discriminates the personal features comprised in each social state. First we define some conceptual and formal tools related to the Cartesian (...) product structure. We then apply these notions to Gibbard’s paradox and to Sen’s impossibility of a Paretian liberal. Finally we compare the advantages of our approach to other solutions proposed in the literature for both impossibility theorems. (shrink)

In a previous work with Antonio Bucciarelli, we introduced indexed linear logic as a tool for studying and enlarging the denotational semantics of linear logic. In particular, we showed how to define new denotational models of linear logic using symmetric product phase models of indexed linear logic. We present here a strict extension of indexed linear logic for which symmetric product phase spaces provide a complete semantics. We study the connection between this new system and indexed linear logic.

Let C be a small Barr-exact category, Reg the category of all regular functors from C to the category of small sets. A form of M. Barr's full embedding theorem states that the evaluation functor e : C →[Reg, Set ] is full and faithful. We prove that the essential image of e consists of the functors that preserve all small products and filtered colimits. The concept of κ-Barr-exact category is introduced, for κ any infinite regular cardinal, and the (...) natural generalization to κ-Barr-exact categories of the above result is proved. The treatment combines methods of model theory and category theory. Some applications to module categories are given. (shrink)

We address to the Poynting theorem for the bound electromagnetic field, and demonstrate that the standard expressions for the electromagnetic energy flux and related field momentum, in general, come into the contradiction with the relativistic transformation of four-vector of total energy–momentum. We show that this inconsistency stems from the incorrect application of Poynting theorem to a system of discrete point-like charges, when the terms of self-interaction in the product \ and bound electric field \ are generated by (...) the same source charge) are exogenously omitted. Implementing a transformation of the Poynting theorem to the form, where the terms of self-interaction are eliminated via Maxwell equations and vector calculus in a mathematically rigorous way, we obtained a novel expression for field momentum, which is fully compatible with the Lorentz transformation for total energy–momentum. The results obtained are discussed along with the novel expression for the electromagnetic energy–momentum tensor. (shrink)

In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to the first-order versions of Łukasiewicz, Gödel and Product logics, w.r.t. their standard algebras. In this paper we extend the analysis to the first-order versions of axiomatic extensions of MTL. Our main result is the following. Let \ be a class of MTL-chains. Then the set of all first-order tautologies associated to the finite (...) models over chains in \, fTAUT\, is \ -hard. Let TAUT\ be the set of propositional tautologies of \. If TAUT\ is decidable, we have that fTAUT\ is in \. We have similar results also if we expand the language with the Δ operator. (shrink)

The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least (...) class of matrices containing K and closed under m-reduced products, submatrices, matrix homomorphisms, and matrix homomorphic counter-images. (shrink)

We investigate in ZF conditions that are necessary and sufficient for countable products ∏m∈ℕXm of finite Hausdorff spaces Xm resp. Hausdorff spaces Xm with at most n points to be compact resp. Baire. Typica results: Countable products of finite Hausdorff spaces are compact if and only if countable products of non-empty finite sets are non-empty. Countable products of discrete spaces with at most n + 1 points are compact if and only if countable products of non-empty sets with at most (...) n points are non-empty. (shrink)

This is a continuation of [2]. We study the Tychonoff Compactness Theorem for various definitions of compactness and for various types of spaces . We also study well ordered Tychonoff products and the effect that the multiple choice axiom has on such products.

We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.

Hahn’s embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn’s theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial lexicographic product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for (...) odd involutive commutative residuated chains which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial lexicographic product construction is presented. (shrink)

A mathematical framework that unifies the standard formalisms of special relativity and quantum mechanics is proposed. For this a Hilbert space H of functions of four variables x,t furnished with an additional indefinite inner product invariant under Poincare transformations is introduced. For a class of functions in H that are well localized in the time variable the usual formalism of non-relativistic quantum mechanics is derived. In particular, the interference in time for these functions is suppressed; a motion in H (...) becomes the usual Shrodinger evolution with t as a parameter. The relativistic invariance of the construction is proved. The usual theory of relativity on Minkowski space-time is shown to be ``isometrically and equivariantly embedded'' into H. That is, classical space-time is isometrically embedded into H, Poincare transformations have unique extensions to isomorphisms of H and the embedding commutes with Poincare transformations. (shrink)

Let {: i ∈I } be a family of compact spaces and let X be their Tychonoff product. [MATHEMATICAL SCRIPT CAPITAL C] denotes the family of all basic non-trivial closed subsets of X and [MATHEMATICAL SCRIPT CAPITAL C]R denotes the family of all closed subsets H = V × Πmath imageXi of X, where V is a non-trivial closed subset of Πmath imageXi and QH is a finite non-empty subset of I. We show: Every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT (...) CAPITAL C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ if and only if every family H ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the finite intersection property extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family F with the fip. The proposition “if every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ, then X is compact” is not provable in ZF. The statement “for every family {: i ∈ I } of compact spaces, every filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, Y = Πi ∈IYi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem. The statement “for every family {: i ∈ ω } of compact spaces, every countable filterbase ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C]R, X = Πi ∈ωXi, extends to a [MATHEMATICAL SCRIPT CAPITAL C]R-ultrafilter ℱ” is equivalent to Tychonoff's compactness theorem restricted to countable families. The countable Axiom of Choice is equivalent to the proposition “for every family {: i ∈ ω } of compact topological spaces, every countable family ℋ ⊂ [MATHEMATICAL SCRIPT CAPITAL C] with the fip extends to a maximal [MATHEMATICAL SCRIPT CAPITAL C] family ℱ with the fip”. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine (...) – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

Many results concerning the equivalence between a syntactic form of formulas and a model theoretic conditions are proven directly without using any form of a continuum hypothesis. In particular, it is demonstrated that any reduced product sentence is equivalent to a Horn sentence. Moreover, in any first order language without equality one now has that a reduced product sentence is equivalent to a Horn sentence and any sentence is equivalent to a Boolean combination of Horn sentences.

Abstract.ΠMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that ΠMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the class of ΠMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all ΠMTL-algebras.

In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment of the classical logic, where the basic predicates are binary and all quantifiers (...) are relativised, and for which we show the f.m.p. in the classical sense. Also we prove that SF not included in Guarded Fragment and that it can be embedded into the equational theory of relational algebras. (shrink)

The uniform continuity theorem states that every pointwise continuous real‐valued function on the unit interval is uniformly continuous. In constructive mathematics, is strictly stronger than the decidable fan theorem, but Loeb [17] has shown that the two principles become equivalent by encoding continuous real‐valued functions as type‐one functions. However, the precise relation between such type‐one functions and continuous real‐valued functions (usually described as type‐two objects) has been unknown. In this paper, we introduce an appropriate notion of continuity for (...) a modulus of a continuous real‐valued function on [0, 1], and show that real‐valued functions with continuous moduli are exactly those functions induced by Loeb's codes. Our characterisation relies on two assumptions: (1) real numbers are represented by regular sequences (equivalently Cauchy sequences with explicitly given moduli); (2) the continuity of a modulus is defined with respect to the product metric on the regular sequences inherited from the Baire space. Our result implies that is equivalent to the statement that every pointwise continuous real‐valued function on [0, 1] with a continuous modulus is uniformly continuous. We also show that is equivalent to a similar principle for real‐valued functions on the Cantor space. These results extend Berger's [2] characterisation of for integer‐valued functions on and unify some characterisations of in terms of functions having continuous moduli. (shrink)

The CPT theorem states that any causal, Lorentz-invariant, thermodynamically well-behaved quantum field theory must also be invariant under a reflection symmetry that reverses the direction of time, flips spatial parity, and conjugates charge. Although its physical basis remains obscure, CPT symmetry appears to be necessary in order to unify quantum mechanics with relativity. This paper attempts to decipher the physical reasoning behind proofs of the CPT theorem in algebraic quantum field theory. Ultimately, CPT symmetry is linked to a (...) systematic reversal of the C*-algebraic Lie product that encodes the generating relationship between observables and symmetries. In any physically reasonable relativistic quantum field theory it is always possible to systematically reverse this generating relationship while preserving the dynamics, spectra, and localization properties of physical systems. Rather than the product of three separate reflections, CPT symmetry is revealed to be a single global reflection of the theory’s state space. (shrink)

It is shown that Bell's theorem fails for the Clifford algebra valued local realistic variables. This is made evident by exactly reproducing quantum mechanical expectation value for the EPR-Bohm type spin correlations observable by means of a local, deterministic, Clifford algebra valued variable, without necessitating either remote contextuality or backward causation. Since Clifford product of multivector variables is non-commutative in general, the spin correlations derived within our locally causal model violate the CHSH inequality just as strongly as their (...) quantum mechanical counterparts. (shrink)

We study the role that the axiom of choice plays in Tychonoff's product theorem restricted to countable families of compact, as well as, Lindelöf metric spaces, and in disjoint topological unions of countably many such spaces.

The history of productivity of the κ-chain condition in partial orders, topological spaces, or Boolean algebras is surveyed, and its connection to the set-theoretic notion of a weakly compact cardinal is highlighted. Then, it is proved that for every regular cardinal κ > א1, the principle □ is equivalent to the existence of a certain strong coloring c : [κ]2 → κ for which the family of fibers T is a nonspecial κ-Aronszajn tree. The theorem follows from an analysis (...) of a new characteristic function for walks on ordinals, and implies in particular that if the κ-chain condition is productive for a given regular cardinal κ > א1, then κ is weakly compact in some inner model of ZFC. This provides a partial converse to the fact that if κ is a weakly compact cardinal, then the κ-chain condition is productive. (shrink)

Cet article vise à montrer en quoi la production de connaissances certifiées en logique représente un objet d'investigation sociologique, partant du suivi empirique et de l'analyse d'un processus collectif d'accréditation d'un théorème. Dépassant un traitement programmatique de cette question, prenant le contre-pied d'hypothèses réductionnistes, relativistes ou idéalistes et d'une stylisation des dynamiques en jeu, il souligne notamment l'importance du travail matériel des démonstrations, des interactions entre acteurs sociaux, de l'économie imparfaite de l'écriture, de la lecture et de la visibilité des (...) preuves, susceptible de conduire à la formation d'énoncés collectifs. Il livre les résultats d'une première exploration fondamentale de cités par trop occultées en sociologie : celles retranchées derrière les formalismes, les tours de main et les mécanismes probatoires des ouvriers de la logique. (shrink)

In [This Zeitschrift 25 , 45-52, 119-134, 447-464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generalized quantifiers into Pavelka's logic and establish the fundamental theorem of ultraproduct in first order Pavelka's logic with generalized quantifiers. In the second part of this paper we show that the fundamental theorem of ultraproduct in first order Pavelka's logic (...) is preserved under some direct product of lattices of truth values. (shrink)

We study the Tychonoff Compactness Theorem for several different definitions of a compact space.

We look at a hierarchical arrangement of ideals in an MV -algebra. The principal classes of ideals studied are the maximals, the primes, the local and perfect ideals and the semi-locals. Beyond these special classes of ideals are the general ideals. Herein we study some relationships among these classes and, more specifically, the products of ideals of these classes. Among the results obtained are the square of a prime ideal is a local ideal, the finite product of prime ideals (...) is a semilocal ideal. We also show that the set of local ideals shares many of the properties of the class of prime ideals, as the Lying Over Theorem and the Going Up Theorem. (shrink)

Bellʼs 1964 theorem causes a severe problem for the notion that correlations require explanation, encapsulated in Reichenbachʼs principle of common cause. Despite being a hallmark of scientific thought, dropping the principle has been widely regarded as much less bitter medicine than the perceived alternative—dropping relativistic causality. Recently, however, some authors have proposed that modified forms of Reichenbachʼs principle could be maintained even with relativistic causality. Here we break down Reichenbachʼs principle into two independent assumptions—the principle of common cause proper (...) and factorization of probabilities. We show how Bellʼs theorem can be derived from these two assumptions plus relativistic causality and the law of total probability for actual events, and we review proposals to drop each of these assumptions in light of the theorem. In particular, we show that the non-commutative common causes of Hofer-Szabó and Vecsernyés fail to have an analogue of the notion that the common causes can explain the observed correlations. Moreover, we show that their definition can be satisfied trivially by any quantum product state for any quantum correlations. We also discuss how the conditional states approach of Leifer and Spekkens fares in this regard. (shrink)

An algebra with fuzzy equality is a set with operations on it that is equipped with similarity ≈, i.e. a fuzzy equivalence relation, such that each operation f is compatible with ≈. Described verbally, compatibility says that each f yields similar results if applied to pairwise similar arguments. On the one hand, algebras with fuzzy equalities are structures for the equational fragment of fuzzy logic. On the other hand, they are the formal counterpart to the intuitive idea of having functions (...) that are not allowed to map similar objects to dissimilar ones. In this paper, we present a generalization of the well-known Birkhoff’s variety theorem: a class of algebras with fuzzy equality is the class of all models of a fuzzy set of identities iff it is closed under suitably defined morphisms, substructures, and direct products. (shrink)

It is well known that, in classical theory, Liouville's theorem shows that if an ensemble of systems is distributed over a small element of volume in phase space, the ensemble fills a region of equal volume at all later instants of time. In quantum mechanics, the uncertainty principle is associated with the products of the errors in conjugate coordinates and momenta, and such products can be interpreted in terms of volume elements in phase space. Comparison of these two facts (...) leads to the assertion in the interesting volume on “Statistical Mechanics” recently published by J. E. and M. G. Mayer that “The Liouville theorem is essential for the complete understanding of the uncertainty principle. (shrink)

Hoover [2] proved a completeness theorem for the logic L[MATHEMATICAL SCRIPT CAPITAL A]. The aim of this paper is to prove a similar completeness theorem with respect to product measurable biprobability models for a logic Lmath image with two integral operators. We prove: If T is a ∑1 definable theory on [MATHEMATICAL SCRIPT CAPITAL A] and consistent with the axioms of Lmath image, then there is an analytic absolutely continuous biprobability model in which every sentence in T (...) is satified. (shrink)

Based on a gambling formulation of quantum mechanics, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for \. The theorem states that the only logically consistent probability assignments are exactly the ones that are definable as the trace of the product of a projector and a density matrix operator. In addition, we detail the reason why dispersion-free probabilities are actually not valid, or rational, probabilities for quantum mechanics, (...) and hence should be excluded from consideration. (shrink)

We prove a generalization of Alex Heller's existence theorem for recursion categories; this generalization was suggested by work of Di Paola and Montagna on syntactic P-recursion categories arising from consistent extensions of Peano Arithmetic, and by the examples of recursion categories of coalgebras. Let B=BX be a uniformly generated isotypical B#-subcategory of an iteration category C, where X is an isotypical object of C. We give calculations for the existence of a weak Turing morphism in the Turing completion Tur (...) of B when C is separated; i.e., when connected domains in C are jointly epimorphic. Our proof generalizes as follows. Let D be a separated iteration category and let L : C → D be an iteration functor; i.e., a functor which preserves domains, coproducts, zero morphisms and the iteration operator; it is crucial for the generalization that an iteration functor need not preserve products. If L is faithful, then Tur is a recursion category. (shrink)

One of the purposes of this paper is to prove a partial Schur-Zassenhaus Theorem for groups of finite Morley rank.Theorem 2.Let G be a solvable group of finite Morley rank. Let π be a set of primes, and let H ⊲ G a normal π-Hall subgroup. Then H has a complement in G.This result has been proved in [1] with the additional assumption thatGis connected, and thought to be generalized in [2] by the authors of the present article. (...) Unfortunately in the last section of the latter paper there is an irrepairable mistake. Here we give a new proof of the Schur-Zassenhaus Theorem using the results of [2] up to the last section and a new result that we are going to state below.The second author has shown in [11] that a nilpotentω-stable group is the central product of a divisible subgroup and a subgroup of bounded exponent, generalizing a well-known result of Angus Macintyre about abelian groups [8]. One could ask a similar question for solvable groups: are they a product of two subgroups, one divisible, one of bounded exponent? One is allowed to be hopeful because of the well-known decomposition of the connected solvable algebraic groups over algebraically closed fields as the product of the unipotent radical and a torus. (shrink)

In this paper we provide a categorical equivalence for the category \ of product algebras, with morphisms the homomorphisms. The equivalence is shown with respect to a category whose objects are triplets consisting of a Boolean algebra B, a cancellative hoop C and a map \ from B × C into C satisfying suitable properties. To every product algebra P, the equivalence associates the triplet consisting of the maximum boolean subalgebra B, the maximum cancellative subhoop C, of P, (...) and the restriction of the join operation to B × C. Although several equivalences are known for special subcategories of \ , up to our knowledge, this is the first equivalence theorem which involves the whole category of product algebras. The syntactic counterpart of this equivalence is a syntactic reduction of classical logic CL and of cancellative hoop logic CHL to product logic, and viceversa. (shrink)

We give a short proof of the fundamental theorem of central element theory. The original proof is constructive and very involved and relies strongly on the fact that the class be a variety. Here we give a more direct nonconstructive proof which applies for the more general case of a first-order class which is both closed under the formation of direct products and direct factors.