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