Logical quantizations of first-order structures

DOI10.1007/BF02082820zbMATH Open0867.03021MaRDI QIDQ1915367FDOQ1915367

Authors: Hirokazu Nishimura 

Publication date: 4 August 1997

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

Recommendations

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

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)

Cites Work

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

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)