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

accessible categoriesBoolean localeBooleanizationinfinitary logicinfinitary many-sorted first-order logicslimit sketcheslimit theoriesquantization

Mathematics Subject Classification ID

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

Review text

The paper is part of a long series of articles (published in Int. J. Theor. Phys., Vol. 31-35), concerning quantization of various mathematical structures. In this paper quantization of mathematical structures defined by so called limit theories is considered (including, e.g., posets and order-preserving mappings, or Banach spaces and contractive linear transformations). The author works with infinitary many-sorted first-order logics. Category theory is also used essentially. The paper is sufficiently characterized by an outline of the content, due to the author himself: ``Section 1 is devoted to a review of infinitary logic, sketches, accessible categories \dots . After limit sketches are Booleanized in Section 2, the relationship between two Booleanizations of limit sketches \dots is discussed in Section 3. The last section is devoted to quantizing limit sketches logically.

Recommendations

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

Cites work

• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• A Transfer Principle from Von Neumann Algebras to AW^∗ -Algebras
• 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 interpretation of Hilbert space theory
• Boolean valued Lie algebras
• Commutative regular rings and Boolean-valued fields
• Empirical set theory
• Empirical sets
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• 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?)
• 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 quantizations of first-order structures
• Empirical quantum mechanics
• Logical quantization of topos theory
• First-Order Queries on Finite Structures Over the Reals
• Quantales and structural rules
• Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words
• Feferman-vaught decompositions for prefix classes of first order logic

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)