It is shown that the time operatorQ 0 appearing in the realization of the RCCR's [Qμ,Pv]=−jhgμv, on Minkowski quantum spacetime is a self adjoint operator on Hilbert space of square integrable functions over Σ m =σ×v m , where σ is a timelike hyperplane. This result leads to time-energy uncertainty relations that match their space-momentum counterparts. The operators Qμ appearing in Born's metric operator in quantum spacetime emerge as internal spacetime operators for exciton states, and the condition that the (...) metric operator should possess a ground exciton state assumes the significance of achieving minimal spacetime4-momentum uncertainty in fundamental standards for spacetime measurements. (shrink)

Dirac’s identification of the quantum analog of the Poisson bracket with the commutator is reviewed, as is the threat of self-inconsistent overdetermination of the quantization of classical dynamical variables which drove him to restrict the assumption of correspondence between quantum and classical Poisson brackets to embrace only the Cartesian components of the phase space vector. Dirac’s canonical commutation rule fails to determine the order of noncommuting factors within quantized classical dynamical variables, but does imply the quantum/classical correspondence of (...) Poisson brackets between any linear function of phase space and the sum of an arbitrary function of only configuration space with one of only momentum space. Since every linear function of phase space is itself such a sum, it is worth checking whether the assumption of quantum/classical correspondence of Poisson brackets for all such sums is still self-consistent. Not only is that so, but this slightly stronger canonical commutation rule also unambiguously determines the order of noncommuting factors within quantized dynamical variables in accord with the 1925 Born-Jordan quantization surmise, thus replicating the results of the Hamiltonian path integral, a fact first realized by E.H. Kerner. Born-Jordan quantization validates the generalized Ehrenfest theorem, but has no inverse, which disallows the disturbing features of the poorly physically motivated invertible Weyl quantization, i.e., its unique deterministic classical “shadow world” which can manifest negative densities in phase space. (shrink)

Standard canonical quantum mechanics makes much use of operators whose spectra cover the set of real numbers, such as the coordinates of space, or the values of the momenta. Discrete quantum mechanics uses only strictly discrete operators. We show how one can transform systems with pairs of integer-valued, commuting operators $P_i$ and $Q_i$ , to systems with real-valued canonical coordinates $q_i$ and their associated momentum operators $p_i$ . The discrete system could be entirely deterministic while the corresponding (p, (...) q) system could still be typically quantum mechanical. (shrink)

Thought experiments analogous to those discussed by Landau and Peierls are studied in the framework of a manifestly covariant relativistic quantum theory. It is shown that momentum and energy can be arbitrarily well defined, and that the drifts induced by measurement in the positions and times of occurrence of events remain within the (stable) spread of the wave packet in space-time. The structure of the Newton-Wigner position operator is studied in this framework, and it is shown that an analogous time (...) operator can be constructed which satisfies the canonical commutation relation with the energy E but does not commute (due to the presence of a time drift term) with the momentum p. The resulting commutation relation is used as a mathematical basis for the derivation of the Landau-Peierls relation Δt Δp≳ħ/c. (shrink)

We introduce a new interpretation of non-relativistic quantum mechanics (QM) called Relational Blockworld (RBW). We motivate the interpretation by outlining two results due to Kaiser, Bohr, Ulfeck, Mottelson, and Anandan, independently. First, the canonical commutation relations for position and momentum can be obtained from boost and translation operators,respectively, in a spacetime where the relativity of simultaneity holds. Second, the QM density operator can be obtained from the spacetime symmetry group of the experimental configuration exclusively. We show how (...) QM, obtained from relativistic quantum field theory per RBW, explains the twin-slit experiment and conclude by resolving the standard conceptual problems of QM, i.e., the measurement problem, entanglement and non-locality. (shrink)

We introduce the Relational Blockworld (RBW) as a paradigm for deflating the mysteries associated with quantum non-separability/non-locality and the measurement problem. We begin by describing how the relativity of simultaneity implies the blockworld, which has an explanatory potential subsuming both dynamical and relational explanations. It is then shown how the canonical commutation relations fundamental to non-relativistic quantum mechanics follow from the relativity of simultaneity. Therefore, quantum mechanics has at its disposal the full explanatory power of the blockworld. (...) Quantum mechanics exploits this expanded explanatory capability since event distributions among detectors per the density matrix follow from spacetime relations (symmetry group) alone. Thus, the event distributions of non-relativistic quantum mechanics follow from a blockworld wherein spacetime relations are fundamental. Per RBW "quantum mysteries" are deflated and the implications for consciousness and the perception of temporal flow and absolute becoming are explored. We conclude that given RBW, consciousness is no less fundamental than any "physical" feature of the world such as brain states. Further, active consciousness is needed to explain the illusion that it is a dynamical world and consciousness in its most fundamental state is relational and non-local. (shrink)

Several canonical partition theorems are obtained, including a simultaneous generalization of Neumer's lemma and the Erdos-Rado theorem. The canonical partition relation for infinite cardinals is completely determined, answering a question of Erdos and Rado. Counterexamples are given showing that in several ways these results cannot be improved.

The availability of unitarily inequivalent representations of the canonical commutation relations constituting a quantization of a classical field theory raises questions about how to formulate and pursue quantum field theory. In a minimally technical way, I explain how these questions arise and how advocates of the Hilbert space and of the algebraic approaches to quantum theory might answer them. Where these answers differ, I sketch considerations for and against each approach, as well as considerations which might temper (...) their apparent rivalry. (shrink)

An axiomatic framework for describing general space-time models is presented. Space-time models to which irreducible propositional systems belong as causal logics are quantum (q) theoretically interpretable and their event spaces are Hilbert spaces. Such aq space-time is proposed via a “canonical” quantization. As a basic assumption, the time t and the radial coordinate r of aq particle satisfy the canonical commutation relation [t,r]=±i $h =$ . The two cases will be considered simultaneously. In that case the event (...) space is the Hilbert space L2(ℝ3). Unitary symmetries consist of Poincaré-like symmetries (translations, rotations, and inversion) and of gauge-like symmetries. Space inversion implies time inversion. Thisq space-time reveals a confinement phenomenon: Theq particle is “confined” in an $h =$ size region of Minkowski space $\mathbb{M}^4$ at any time. One particle mechanics overq space-time provides mass eigenvalue equations for elementary particles. Prugovečki's stochasticq mechanics andq space-time offer a natural way for introducing and interpreting consistently such aq space-time andq particles existing in it. The mass eigenstates ofq particles generate Prugovečki's extended elementary particles. When $h =$ →0, these particles shrink to point particles and $\mathbb{M}^4$ is recovered as the classical (c) limit ofq space-time. Conceptual considerations favor the case [t,r]=+i $h =$ , and applications in hadron physics give the fit $h =$ ⋍2/5 fermi/GeV. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

We show that Bohr's principle of complementarity between position and momentum descriptions can be formulated rigorously as a claim about the existence of representations of the canonical commutation relations. In particular, in any representation where the position operator has eigenstates, there is no momentum operator, and vice versa. Equivalently, if there are nonzero projections corresponding to sharp position values, all spectral projections of the momentum operator map onto the zero element.

Although the philosophical literature on the foundations of quantum field theory recognizes the importance of Haag’s theorem, it does not provide a clear discussion of the meaning of this theorem. The goal of this paper is to make up for this deficit. In particular, it aims to set out the implications of Haag’s theorem for scattering theory, the interaction picture, the use of non-Fock representations in describing interacting fields, and the choice among the plethora of the unitarily inequivalent representations of (...) the canonical commutation relations for free and interacting fields. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

In this paper, we discuss the macroscopic quantum behavior of simple superconducting circuits. Starting from a Lagrangian for electromagnetic field with broken gauge symmetry, we construct a quantum circuit model for a superconducting weak link (SQUID) ring, together with the appropriate canonical commutation relations. We demonstrate that this model can be used to describe macroscopic excitations of the superconducting condensate and the localized charge states found in some ultrasmall-capacitance weak-link devices.

This paper considers states on the Weyl algebra of the canonical commutation relations over the phase space R^{2n}. We show that a state is regular iff its classical limit is a countably additive Borel probability measure on R^{2n}. It follows that one can "reduce" the state space of the Weyl algebra by altering the collection of quantum mechanical observables so that all states are ones whose classical limit is physical.

Scale invariance provides a principled reason for the physical importance of Hilbert space, the Virasoro algebra, the string mode expansion, canonical commutators and Schrödinger evolution of states, independent of the assumptions of string theory and quantum theory. The usual properties of dimensionful fields imply an infinite, projective tower of conformal weights associated with the tangent space to scale-invariant spacetimes. Convergence and measurability on this tangent tower are guaranteed using a scale-invariant norm, restricted to conformally self-dual vectors. Maps on the (...) resulting Hilbert space are correspondingly restricted to semi-definite conformal weight. We find the maximally- and minimally-commuting, complete Lie algebras of definite-weight operators. The projective symmetry of the tower gives these algebras central charges, giving the canonical commutator and quantum Virasoro algebras, respectively. Using a continuous, m-parameter representation for rank-m tower tensors, we show that the parallel transport equation for the momentum-vector of a particle is the Schrödinger equation, while the associated definite-weight operators obey canonical commutation relations. Generalizing to the set of integral curves of general timelike, self-dual vector-valued weight maps gives a lifting such that the action of the curves parallel transports arbitrary tower vectors. We prove that the full set of Schrödinger-lifted integral curves of a general self-dual map gives an immersion of its 2-dim parameter space into spacetime, inducing a Lorentzian metric on the parameter space. This immersion is shown to satisfy the full variational equations of open string. (shrink)

This paper surveys John von Neumann's work on the mathematical foundations of quantum theories in the light of Hilbert's Sixth Problem concerning the geometrical axiomatization of physics. We argue that in von Neumann's view geometry was so tied to logic that he ultimately developed a logical interpretation of quantum probabilities. That motivated his abandonment of Hilbert space in favor of von Neumann algebras, specifically the type II1II1 factors, as the proper limit of quantum mechanics in infinite dimensions. Finally, we present (...) the reasons why his axiomatic program remained an “unsolved problem” in mathematical physics. A recent unpublished result by Huzimiro Araki, proving that no algebra with a tracial state defined on it, such as the type II1II1 factors, can support any (regular) representation of the canonical commutation relations, is also reviewed and its consequences for von Neumann's projects are discussed. (shrink)

Schwinger's action principle is formulated for the quantum system which corresponds to the classical system described by the LagrangianL c( $\dot x$ , x)=(M/2)gij(x) $\dot x$ i $\dot x$ j−v(x). It is sufficient for the purpose of deriving the laws of quantum mechanics to consider onlyc-number variations of coordinates and time. The Euler-Lagrange equation, the canonical commutation relations, and the canonical equations of motion are derived from this principle in a consistent manner. Further, it is shown (...) that an arbitrary point transformation leaves the forms of the fundamental equations invariant. The judicious choice of the quantal Lagrangian is essential in our formulation. A quantum mechanical analog of Noether's theorem, which relates the invariance of the quantal action with a conservation law, is established. The ambiguities in the quantal Lagrangian are also discussed and it is pointed out that the requirement of invariance is not sufficient to determine uniquely the quantal Lagrangian and the Hamiltonian. (shrink)

Segal proposed transquantum commutation relations with two transquantum constants ħ′, ħ″ besides Planck's quantum constant ħ and with a variable i. The Heisenberg quantum algebra is a contraction—in a more general sense than that of Inönü and Wigner—of the Segal transquantum algebra. The usual constant i arises as a vacuum order-parameter in the quantum limit ħ′,ħ″→0. One physical consequence is a discrete spectrum for canonical variables and space-time coordinates. Another is an interconversion of time and energy accompanying (...) space-time meltdown (disorder), with a fundamental conversion factor of some kilograms of energy per second. (shrink)

A realistic physical axiomatic approach of the relativistic quantum field theory is presented. Following the action principle of Schwinger, a covariant and general formulation is obtained. The correspondence principle is not invoked and the commutation relations are not postulated but deduced. The most important theorems such as spin-statistics, and CPT are proved. The theory is constructed form the notion of basic field and system of basic fields. In comparison with others formulations, in our realistic approach fields are regarded (...) as real things with symmetry properties. Finally, the general structure is contrasted with other formulations. (shrink)

This work is part of a wider investigation into lattice-structured algebras and associated dual representations obtained via the methodology of canonical extensions. To this end, here we study lattices, not necessarily distributive, with negation operations. We consider equational classes of lattices equipped with a negation operation ¬ which is dually self-adjoint (the pair (¬,¬) is a Galois connection) and other axioms are added so as to give classes of lattices in which the negation is De Morgan, orthonegation, antilogism, pseudocomplementation (...) or weak pseudocomplementation. These classes are shown to be canonical and dual relational structures are given in a generalized Kripke-style. The fact that the negation is dually self-adjoint plays an important role here, as it implies that it sends arbitrary joins to meets and that will allow us to define the dual structures in a uniform way. (shrink)

We study uncertainty relations for a general class of canonically conjugate observables. It is known that such variables can be approached within a limiting procedure of the Pegg–Barnett type. We show that uncertainty relations for conjugate observables in terms of generalized entropies can be obtained on the base of genuine finite-dimensional consideration. Due to the Riesz theorem, there exists an inequality between norm-like functionals of two probability distributions in finite dimensions. Using a limiting procedure of the Pegg–Barnett type, (...) we take the infinite-dimensional limit right for this inequality. Hence, uncertainty relations are derived in terms of generalized entropies. In particular, the case of measurements with a finite precision is addressed. It takes into account that in any experiment an accuracy of performed measurements is always limited. (shrink)

It was shown in the early seventies that, in Local Quantum Theory (that is the most general formulation of Quantum Field Theory, if we leave out only the unknown scenario of Quantum Gravity) the notion of Statistics can be grounded solely on the local observable quantities (without assuming neither the commutation relations nor even the existence of unobservable charged field operators); one finds that only the well known (para)statistics of Bose/Fermi type are allowed by the key principle of (...) local commutativity of observables. In this frame it was possible to formulate and prove the Spin and Statistics Theorem purely on the basis of First Principles.In a subsequent stage it has been possible to prove the existence of a unique, canonical algebra of local field operators obeying ordinary Bose/Fermi commutation relations at spacelike separations.In this general guise the Spin–Statistics Theorem applies to Theories (on the four dimensional Minkowski space) where only massive particles with finite mass degeneracy can occur. Here we describe the underlying simple basic ideas, and briefly mention the subsequent generalisations; eventually we comment on the possible validity of the Spin–Statistics Theorem in presence of massless particles, or of violations of locality as expected in Quantum Gravity. (shrink)

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

Recently we have studied quantum mechanics of bounded operators with a discrete spectrum. In particular, we derived an expression for the commutator[Q, P] of two bounded operators whose spectrum is discrete, and we showed that in the limit of a continuous spectrum the commutator becomes the standard one of Heisenberg. In this paper we show that the angular momentum operator and the phase operator satisfy the new commutation relation. We also briefly discuss the problem of the canonical phase (...) operator conjugate to the number operator. (shrink)

This paper discusses an attempt to develop a mathematically rigorous theory of quantum electrodynamics. It deviates from the standard version of QED mainly in two aspects: it is assumed that the Coulomb forces are carried by transversely polarized photons, and a reducible representation of the canonical commutation and anti-commutation relations is used. Both interventions together should suffice to eliminate the mathematical inconsistencies of standard QED.

From the known coordinate representation of these operators, a unified treatment of the abstract operators for curvilinear coordinates and their canonically conjugate momenta is given for systems in three dimensions. A configuration representation, corresponding to classical configuration space, exists in which description is simplified; the three-dimensional ket space factors into a direct product of one-dimensional spaces. Four cases are examined, according to the range of the continuous curvilinear coordinate. In addition to normalization of momentum eigenstates to the Kronecker delta for (...) finite range of coordinate and normalization to the Dirac delta for range on the entire real axis, normalization occurs to δ (or δ+) for range on the positive (or negative) part of the real axis. The domain of Hermiticity of curvilinear coordinate and conjugate momentum operators in each case is the entire three-dimension ket space. The fundamental commutation relations hold in all representations. Statements to the contrary for the radial and azimuth coordinates in spherical polar coordinates are seen to be erroneous. (shrink)

The relativistic conception of space and time is challenged by the quantum nature of physical observables. It has been known for a long time that Poincare symmetry of field theory can be extended to the larger conformal symmetry. We use these symmetries to define quantum observables associated with positions in space-time, in the spirit of Einstein theory of relativity. This conception of localization may be applied to massive as well as massless fields. Localization observables are defined as to obey Lorentz (...) covariant commutation relations and in particular include a time observable conjugated to energy. While position components do not commute in the presence of a nonvanishing spin, they still satisfy quantum relations which generalize the differential laws of classical relativity. We also give of these observables a representation in terms of canonical spatial positions, canonical spin components, and a proper time operator conjugated to mass. These results plead for a new representation not only of space-time localization but also of motion. (shrink)

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

We propose a canonization scheme for smooth equivalence relations on Rω modulo restriction to E0-large infinite products. It shows that, given a pair of Borel smooth equivalence relations E, F on Rω, there is an infinite E0-large perfect product P⊆Rω such that either F⊆E on P, or, for some ℓ<ω, the following is true for all x,y∈P: xEy implies x(ℓ)=y(ℓ), and x↾(ω∖{ℓ})=y↾(ω∖{ℓ}) implies xFy.

We prove that modal definability with respect to the class of all structures with two commuting equivalence relations is an undecidable problem. The construction used in the proof shows that the same is true for the subclass of all finite structures. For that reason we prove that the first-order theories of these classes are undecidable and reduce the latter problem to the former.

We show that any symmetric, Baire measurable function from the complement of $\ezero$ to a finite set is constant on an $\ezero$-nonsmooth square. A simultaneous generalization of Galvin's theorem that Baire measurable colorings admit perfect homogeneous sets and the Kanovei-Zapletal theorem canonizing Borel equivalence relations on $E_0$-nonsmooth sets, this result is proved by relating $\ezero$-nonsmooth sets to embeddings of the complete binary tree into itself and appealing to a version of Hindman's theorem on the complete binary tree. We also (...) establish several canonization theorems which follow from the main result. (shrink)

We show that the variety of weakly representable relation algebras is neither canonical nor closed under Monk completions.

In this paper we review some properties of fuzzy observables, mainly as realized by commutative positive operator valued measures. In this context we discuss two representation theorems for commutative positive operator valued measures in terms of projection valued measures and describe, in some detail, the general notion of fuzzification. We also make some related observations on joint measurements.

Two operations, e.g. measurements, successively applied to the state of a system are said to be non-commutative if the sequence of their application makes a difference for the final result. Non-commuting operations play a crucial role in quantum theory, where they are intimately related to concepts as central as those of complementarity and entanglement. However, their significance is not restricted to the small dimensions of the microworld. For reasons easy to understand, non-commuting operations must be expected to be the rule (...) rather than the exception for operations on mental systems. We demonstrate this with a few examples from our own work, and hope this may contribute to the increasing attention that this exciting new area in consciousness studies is currently attracting worldwide. (shrink)

The notions of a commutative (∈, ∈)-neutrosophic ideal and a commutative falling neutrosophic ideal are introduced, and several properties are investigated. Characterizations of a commutative (∈, ∈)-neutrosophic ideal are obtained. Relations between commutative (∈, ∈)-neutrosophic ideal and (∈, ∈)-neutrosophic ideal are discussed. Conditions for an (∈, ∈)-neutrosophic ideal to be a commutative (∈, ∈)-neutrosophic ideal are established. Relations between commutative (∈, ∈)-neutrosophic ideal, falling neutrosophic ideal and commutative falling neutrosophic ideal are considered. Conditions for a falling neutrosophic ideal (...) to be commutative are provided. (shrink)

Quantum B-algebras, the partially ordered implicational algebras arising as subreducts of quantales, are introduced axiomatically. It is shown that they provide a unified semantic for non-commutative algebraic logic. Specifically, they cover the vast majority of implicational algebras like BCK-algebras, residuated lattices, partially ordered groups, BL- and MV-algebras, effect algebras, and their non-commutative extensions. The opposite of the category of quantum B-algebras is shown to be equivalent to the category of logical quantales, in the way that every quantum B-algebra admits a (...) natural embedding into a logical quantale, the enveloping quantale. Partially defined products of algebras related to effect algebras are handled efficiently in this way. The unit group of the enveloping quantale of a quantum B-algebra X is shown to be always contained in X, which gives a functorial subgroup X× of X. Similar subfunctors are obtained for the non-commutative extensions of BCK-algebras and effect algebras. The results of Galatos, Jónsson, and Tsinakis on the splitting of generalized BL-algebras into a semidirect product of a partially ordered group operating on an integral residuated poset are extended to a characterization of twisted semidirect products of a po-group by a quantum B-algebra. (shrink)

Mathematical notation includes a vast array of signs. Most mathematical signs appear to be symbolic, in the sense that their meaning is arbitrarily related to their visual appearance. We explored the hypothesis that mathematical signs with iconic aspects—those which visually resemble in some way the concepts they represent—offer a cognitive advantage over those which are purely symbolic. An early formulation of this hypothesis was made by Christine Ladd in 1883 who suggested that symmetrical signs should be used to convey commutative (...) relations, because they visually resemble the mathematical concept they represent. Two controlled experiments provide the first empirical test of, and evidence for, Ladd's hypothesis. In Experiment 1 we find that participants are more likely to attribute commutativity to operations denoted by symmetric signs. In Experiment 2 we further show that using symmetric signs as notation for commutative operations can increase mathematical performance. (shrink)

In this paper we present an equivalence between the category of commutative regular rings and the category of Boolean-valued fields, i.e., Boolean-valued sets for which the field axioms are true. The author used this equivalence in [12] to develop a Galois theory for commutative regular rings. Here we apply the equivalence to give an alternative construction of an algebraic closure for any commutative regular ring.Boolean-valued sets were developed in 1965 by Scott and Solovay [10] to simplify independence proofs in set (...) theory. They later were applied by Takeuti [13] to obtain results on Hilbert and Banach spaces. Ellentuck [3] and Weispfenning [14] considered Boolean-valued rings which consisted of rings and associated Boolean-valued relations. To the author's knowledge, the present work is the first to employ the Boolean-valued sets of Scott and Solovay to obtain results in algebra.The idea that commutative regular rings can be studied by examining the properties of related fields is not new. For several years algebraists and logicians have investigated commutative regular rings by representing a commutative regular ring as a subdirect product of fields or as the ring of global sections of a sheaf of fields over a Boolean space. These representations depend, as does the work presented here, on the fact that the set of central idempotents of any ring with identity forms a Boolean algebra. The advantage of the Boolean-valued set approach is that the axioms of classical logic and set theory are true in the Boolean universe. Therefore, if the axioms for a field are true for a Boolean-valued set, then other properties of the set can be deduced immediately from field theory. (shrink)

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part III: Michael Zakharyaschev. Canonical Formulas for K4. Part III: The Finite Model Property. J. Symbolic Logic, Volume 62, Issue 3 , 950--975. Project Euclid: euclid.jsl/1183745306.

The notions of a C-energetic subset and permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an permeable C-value are provided. Also conditions for a subset to be a C-energetic subset are discussed. We decompose BCK-algebra by a partition which consists of a C-energetic subset and a commutative ideal.

The present study aims to carry out an analysis of the relation between the Bibles of Samuil Micu and Andrei Șaguna from an isagogic perspective, with a particular focus on the canon and canonicity of the books of the Holy Scripture. We believe that, through such an analysis, we can observe what they have in common, but also what differentiates the two Transylvanian editions of the Holy Scripture so that we can help those interested in understanding the reasons behind the (...) current controversies as to the relation between them. Although these controversies refer to the biblical text of the two Scriptural editions, the fact that the attitude towards it was caused by denominational factors, whose doctrinal background is represented by two different traditions of understanding the biblical canon, has been overlooked. This is why we find that the evaluation of how the two Romanian editions of the Holy Scripture (the Bible of Samuil Micu, 1795, and the Bible of Andrei Șaguna, 1856-1858) relate to the canonical tradition of each Church and cultivate their isagogics is fundamental for the establishment and understanding of the relation between them. (shrink)

Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalisation of the theory of canonical extension to the setting of first order logic. We define a notion of canonical extension for coherent categories. These are the categorical analogues of distributive lattices and they provide categorical semantics for coherent logic, the fragment of first order logic in the connectives ∧, ∨, 0, 1 and ∃. We describe (...) a universal property of our construction and show that it generalises the existing notion of canonical extension for distributive lattices. Our new construction for coherent categories has led us to an alternative description of the topos of types, introduced by Makkai in [22]. This allows us to give new and transparent proofs of some properties of the action of the topos of types construction on morphisms. Furthermore, we prove a new result relating, for a coherent category C, its topos of types to its category of models. (shrink)

Some problems relating to the probabilistic description of a free particle and of a charged particle moving in an electromagnetic field are discussed. A critical analysis of the Klein-Gordon equation and of the Dirac equation is given. It is also shown that there is no connection between commutativity of operators for physical quantities and the existence of their joint probability. It is demonstrated that the Heisenberg uncertainty relation is not universal and explained why this is so. A universal uncertainty relation (...) for canonically conjugate coordinates and momenta is suggested. (shrink)

A theory of the joint measurement of quantum mechanical observables is generalized in order to make it applicable to the measurement of the local observables of field theory. Subsequently, the property of local commutativity, which is usually introduced as a postulate, is derived by means of the theory of measurement from a requirement of mutual nondisturbance, which, for local observables performed at a spacelike distance from each other, is interpreted as a requirement of macrocausality. Alternative attempts at establishing a deductive (...) relationship between relativistic causality and local commutativity are reviewed, but found wanting, either because of the assumption of an unwarranted objectivity of the object system (algebraic approach) or because of the use of a projection postulate (operational approach). Finally, the quantum mechanical nonobjectivity is related to certain features of nonlocality which are present in the formalism of quantum mechanics. (shrink)

A novel theoretical formulation of Categorical Logic based on two properties of categorical propositions and three simple axioms has been introduced recently. This formulation allowed for the suppression of the distinction between immediate and mediate inferences, and also provided a theoretical framework to study opposition relations, thus restoring the theoretical unity of traditional Aristotelian logic. By using this approach, it has been reported that a total of 3072 conclusive syllogistic moods can be found when including indefinite terms in classical (...) syllogistic, but this result has yet to be proven. This paper presents an overview of the recently proposed theoretical formulation of Categorical Logic, along with the derivation of the 48 canonical syllogistic moods that are capable of generating the 3072 conclusive moods previously reported. (shrink)

Lamaštu: An Edition of the Canonical Series of Lamaštu Incantations and Rituals and Related Texts from the Second and First Millennia B.C. By Walter Farber. Mesopotamian Civilizations, vol. 18. Winona Lake, Ind.: Eisenbrauns, 2014. Pp. xiii + 472, 91 plts. $99.50.

We develop canonical rules capable of axiomatizing all systems of multiple-conclusion rules over K4 or IPC, by extension of the method of canonical formulas by Zakharyaschev [37]. We use the framework to give an alternative proof of the known analysis of admissible rules in basic transitive logics, which additionally yields the following dichotomy: any canonical rule is either admissible in the logic, or it is equivalent to an assumption-free rule. Other applications of canonical rules include a (...) generalization of the Blok–Esakia theorem and the theory of modal companions to systems of multiple-conclusion rules or (finitary structural global) consequence relations, and a characterization of splittings in the lattices of consequence relations over monomodal or superintuitionistic logics with the finite model property. (shrink)

Related Works: Part I: Michael Zakharyaschev. Canonical Formulas for $K4$. Part I: Basic Results. J. Symbolic Logic, Volume 57, Issue 4 , 1377--1402. Project Euclid: euclid.jsl/1183744119 Part II: Michael Zakharyaschev. Canonical Formulas for K4. Part II: Cofinal Subframe Logics. J. Symbolic Logic, Volume 61, Issue 2 , 421--449. Project Euclid: euclid.jsl/1183745008.