Logical quantizations of first-order structures

DOI10.1007/BF02082820MaRDI QIDQ1915367zbMATH OpenFDO

Authors Hirokazu Nishimura

Publication date 4 August 1997

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02082820

zbMATH Keywords

quantizationBooleanizationinfinitary logicaccessible categorieslimit sketcheslimit theoriesBoolean localeinfinitary many-sorted first-order logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other infinitary logic (03C75) Local categories and functors (18F05)

Recommendations

• Logical quantization of topos theory
• The logical quantization of algebraic groups

Cites work

• scientific article; zbMATH DE number 3826063 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 48990 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3335055 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• scientific article; zbMATH DE number 3414502 (Why is no real title available?)
• A Transfer Principle from Von Neumann Algebras to AW^∗ -Algebras
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Accessible Categories: The Foundations of Categorical Model Theory
• An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
• Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
• Boolean valued Lie algebras
• Boolean valued interpretation of Hilbert space theory
• Commutative regular rings and Boolean-valued fields
• Empirical set theory
• Empirical sets
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Large infinitary languages. Model theory
• Logical quantization of differential geometry
• Logical quantizations of first-order structures
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Manuals in orthogonal categories
• Model theory
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Representations of empirical set theories
• 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
• The logical quantization of algebraic groups
• Topoi. The categorial analysis of logic
• Two Applications of Logic to Mathematics

Cited in

(7)

• Logical quantization of topos theory
• Feferman-vaught decompositions for prefix classes of first order logic
• Empirical quantum mechanics
• Logical quantizations of first-order structures
• Quantales and structural rules
• Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
• First-Order Queries on Finite Structures Over the Reals

This page was built for publication: Logical quantizations of first-order structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1915367)