Two Applications of Logic to Mathematics
DOI10.1515/9781400871346zbMATH Open0393.03027OpenAlexW2115821519MaRDI QIDQ4175544FDOQ4175544
Authors: Gaisi Takeuti 
Publication date: 1978
Full work available at URL: https://doi.org/10.1515/9781400871346
Hilbert SpaceQuantum LogicComplex AnalysisAlgebras Of ProjectionsBoolean Valued ModelMeasure AlgebrasOrthomodular LatticeReal Analysis
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to operator theory (47-02) Other aspects of forcing and Boolean-valued models (03E40) Quantum logic (03G12) Groups and semigroups of linear operators (47D03) Research exposition (monographs, survey articles) pertaining to measure and integration (28-02) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Research exposition (monographs, survey articles) pertaining to functions of a complex variable (30-02) Research exposition (monographs, survey articles) pertaining to real functions (26-02)
Cited In (66)
- Math-Selfie
- Некоторые замечания о нестандартных методах анализа. I
- Boolean valued analysis of Banach spaces
- THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
- The geometry of discrete \(L\)-algebras
- A Boolean valued analysis approach to conditional risk
- The Gordon theorem: origins and meaning
- Injective Banach lattices: a survey
- Boolean valued analysis: background and results
- Use model theory in nonsmooth analysis
- Logical quantization of topos theory
- Empirical set theory
- Cyclic monads and their application
- Boolean fuzzy sets
- Boolean valued analysis of Banach algebras
- Boolean trends in linear inequalities
- Weak arithmetics
- Weak arithmetic
- Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
- Contextual semantics in quantum mechanics from a categorical point of view
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
- Abstract Theory of Abelian Operator Algebras: An Application of Forcing
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Empirical sets
- The logical quantization of algebraic groups
- Empirical quantum mechanics
- Mathematical quantum theory. I: Random ultrafilters as hidden variables
- On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
- Proof theory in philosophy of mathematics
- A model for spacetime: the role of interpretation in some Grothendieck topoi
- Quantum set theory extending the standard probabilistic interpretation of quantum theory
- Unitary representations of the hyperfinite Heisenberg group and the logical extension methods in physics
- Diagonalization of continuous matrices as a representation of intuitionistic reals
- Term extraction and Ramsey's theorem for pairs
- Subdifferentials in Boolean-valued models of set theory
- Logical quantizations of first-order structures
- Geometric characterization of preduals of injective Banach lattices
- Quantum number theory
- Quantum mechanics, formalization and the cosmological constant problem
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
- Boolean methods in positivity
- Quantum set theory: transfer principle and De Morgan's laws
- A Note on Representing and Interpreting MV-Algebras
- Boolean-linear spaces
- The prime number theorem is PRA-provable
- Boolean-valued analysis of order-bounded operators
- Forcing in nonstandard analysis
- A Boolean-valued approach to Gleason's theorem
- Boolean valued analysis and type I \(AW^*\)-algebras
- Artin's theorem for \(f\)-rings
- Systems of quantum logic
- Manuals in orthogonal categories
- Embedding intuitionistic-type theory in negationless-type theory
- Quantum sets and Clifford algebras
- Foundations for analysis and proof theory
- Fundamental notions of analysis in subsystems of second-order arithmetic
- A new psychologism in logic? Reflections from the point of view of belief revision
- Title not available (Why is that?)
- Measures and integrals in conditional set theory
- Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations
- From quantum-mechanical lattice of projections to smooth structure of \(\mathbb{R}^4\)
- Cut-elimination and redundancy-elimination by resolution
- Boolean information sieves: a local-to-global approach to quantum information
- Pi on earth, or mathematics in the real world
- A sheaf model for intuitionistic quantum mechanics
- Logical quantization of differential geometry
This page was built for publication: Two Applications of Logic to Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4175544)
