Logical quantization of differential geometry (Q1910872): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115392819
@@ Property / Wikidata QID: Q115392819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+A relativity principle in quantum mechanics
@@ Property / cites work: A relativity principle in quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867914
@@ Property / cites work: Q3867914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003973
@@ Property / cites work: Q4003973 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational Statistics. I. Basic Concepts
@@ Property / cites work: Operational Statistics. I. Basic Concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic
@@ Property / cites work: Topoi. The categorial analysis of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143433
@@ Property / cites work: Q4143433 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Topology
@@ Property / cites work: Differential Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731354
@@ Property / cites work: Q5731354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565587
@@ Property / cites work: Q5565587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918651
@@ Property / cites work: Q3918651 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3926775
@@ Property / cites work: Q3926775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764096
@@ Property / cites work: Q3764096 / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997818
@@ Property / cites work: Q3997818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000318
@@ Property / cites work: Q4000318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3311231
@@ Property / cites work: Q3311231 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
+Normal rank
@@ Property / cites work @@
+Boolean valued Lie algebras
@@ Property / cites work: Boolean valued Lie algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
+Normal rank
@@ Property / cites work @@
+On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
+Normal rank
@@ Property / cites work @@
+Empirical set theory
@@ Property / cites work: Empirical set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of empirical set theories
@@ Property / cites work: Representations of empirical set theories / rank @@
+Normal rank
@@ Property / cites work @@
+Manuals in orthogonal categories
@@ Property / cites work: Manuals in orthogonal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Empirical sets
@@ Property / cites work: Empirical sets / rank @@
+Normal rank
@@ Property / cites work @@
+The logical quantization of algebraic groups
@@ Property / cites work: The logical quantization of algebraic groups / rank @@
+Normal rank
@@ Property / cites work @@
+Logical quantization of topos theory
@@ Property / cites work: Logical quantization of topos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4746404
@@ Property / cites work: Q4746404 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean valued interpretation of Hilbert space theory
+Normal rank
@@ Property / cites work @@
+A classification of type I \(AW^*\)-algebras and Boolean valued analysis
+Normal rank
@@ Property / cites work @@
+A Transfer Principle from Von Neumann Algebras to AW<sup>∗</sup> -Algebras
+Normal rank
@@ Property / cites work @@
+Operational statistics. II. Manuals of operations and their logics
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666704
@@ Property / cites work: Q5666704 / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative regular rings and Boolean-valued fields
+Normal rank
@@ Property / cites work @@
+Q4104164
@@ Property / cites work: Q4104164 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Applications of Logic to Mathematics
@@ Property / cites work: Two Applications of Logic to Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank