Logical quantizations of first-order structures
From MaRDI portal
Publication:1915367
DOI10.1007/BF02082820zbMath0867.03021MaRDI QIDQ1915367
Publication date: 4 August 1997
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
quantizationinfinitary logicBooleanizationaccessible categorieslimit sketcheslimit theoriesBoolean localeinfinitary many-sorted first-order logics
Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other infinitary logic (03C75) Local categories and functors (18F05)
Related Items
Logical quantization of topos theory ⋮ Logical quantizations of first-order structures ⋮ Empirical quantum mechanics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean valued interpretation of Hilbert space theory
- Empirical set theory
- An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
- A classification of type I \(AW^*\)-algebras and Boolean valued analysis
- Topoi. The categorial analysis of logic
- Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
- Large infinitary languages. Model theory
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Representations of empirical set theories
- Model theory
- On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
- Manuals in orthogonal categories
- Empirical sets
- The logical quantization of algebraic groups
- Logical quantization of differential geometry
- Logical quantizations of first-order structures
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- A Transfer Principle from Von Neumann Algebras to AW∗ -Algebras
- Commutative regular rings and Boolean-valued fields
- Boolean valued Lie algebras
- Accessible Categories: The Foundations of Categorical Model Theory
- Two Applications of Logic to Mathematics
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: Logical quantizations of first-order structures
