Two Applications of Logic to Mathematics

DOI10.1515/9781400871346zbMath0393.03027OpenAlexW2115821519MaRDI QIDQ4175544

Gaisi Takeuti

Publication date: 1978

Full work available at URL: https://doi.org/10.1515/9781400871346

zbMATH Keywords

Hilbert SpaceQuantum LogicComplex AnalysisMeasure AlgebrasOrthomodular LatticeAlgebras Of ProjectionsBoolean Valued ModelReal Analysis

Mathematics Subject Classification ID

Groups and semigroups of linear operators (47D03) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to operator theory (47-02) Research exposition (monographs, survey articles) pertaining to functions of a complex variable (30-02) Quantum logic (03G12) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Research exposition (monographs, survey articles) pertaining to measure and integration (28-02) Other aspects of forcing and Boolean-valued models (03E40) Research exposition (monographs, survey articles) pertaining to real functions (26-02)

Related Items

Forcing in nonstandard analysis ⋮ Proof Theory in Philosophy of Mathematics ⋮ Logical quantization of topos theory ⋮ Diagonalization of continuous matrices as a representation of intuitionistic reals ⋮ Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ Cyclic monads and their application ⋮ Manuals in orthogonal categories ⋮ Empirical sets ⋮ Math-Selfie ⋮ A sheaf model for intuitionistic quantum mechanics ⋮ The logical quantization of algebraic groups ⋮ Quantum mechanics, formalization and the cosmological constant problem ⋮ Term extraction and Ramsey's theorem for pairs ⋮ Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees ⋮ Boolean-valued analysis of order-bounded operators ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Logical quantization of differential geometry ⋮ Unnamed Item ⋮ Logical quantizations of first-order structures ⋮ Systems of quantum logic ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Empirical quantum mechanics ⋮ Quantum set theory extending the standard probabilistic interpretation of quantum theory ⋮ Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations ⋮ The geometry of discrete \(L\)-algebras ⋮ THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC ⋮ Boolean valued analysis of Banach algebras ⋮ Boolean valued analysis of Banach spaces ⋮ Geometric characterization of preduals of injective Banach lattices ⋮ Contextual semantics in quantum mechanics from a categorical point of view ⋮ Measures and integrals in conditional set theory ⋮ Quantum sets and Clifford algebras ⋮ Boolean methods in positivity ⋮ Boolean trends in linear inequalities ⋮ From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ Boolean fuzzy sets ⋮ Pi on earth, or mathematics in the real world ⋮ Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules ⋮ Empirical set theory ⋮ Cut-elimination and redundancy-elimination by resolution ⋮ Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics ⋮ Abstract Theory of Abelian Operator Algebras: An Application of Forcing ⋮ A Note on Representing and Interpreting MV-Algebras ⋮ Use Model Theory in Nonsmooth Analysis ⋮ Quantum number theory ⋮ Weak arithmetics ⋮ The prime number theorem is PRA-provable ⋮ Weak arithmetic ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism ⋮ Unnamed Item ⋮ Boolean information sieves: a local-to-global approach to quantum information ⋮ On the duality between Boolean-valued analysis and reduction theory under the assumption of separability ⋮ A Boolean-valued approach to Gleason's theorem ⋮ Unnamed Item ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Теорема Гордона: истоки и смысл ⋮ Булевозначный подход к анализу условного риска ⋮ Embedding intuitionistic-type theory in negationless-type theory ⋮ Mathematical quantum theory. I: Random ultrafilters as hidden variables ⋮ Foundations for analysis and proof theory ⋮ Boolean Valued Analysis: Background and Results ⋮ Subdifferentials in Boolean-valued models of set theory ⋮ Boolean-linear spaces ⋮ Boolean valued analysis and type I \(AW^*\)-algebras