A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory (Q5504927): Difference between revisions

@@ Property / cites work @@
+A topos foundation for theories of physics: I. Formal languages for physics
+Normal rank
@@ Property / cites work @@
+Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
+Normal rank
@@ Property / cites work @@
+A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
+Normal rank
@@ Property / cites work @@
+Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
+Normal rank
@@ Property / cites work @@
+Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
+Normal rank
@@ Property / cites work @@
+A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
+Normal rank
@@ Property / cites work @@
+A topos foundation for theories of physics: IV. Categories of systems
+Normal rank
@@ Property / cites work @@
+Kochen-Specker theorem for von Neumann algebras
@@ Property / cites work: Kochen-Specker theorem for von Neumann algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Affine histories in quantum gravity: introduction and the representation for a cosmological model
+Normal rank
@@ Property / cites work @@
+Q3667432
@@ Property / cites work: Q3667432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Topoi. The categorial analysis of logic. Rev. ed
@@ Property / cites work: Topoi. The categorial analysis of logic. Rev. ed / rank @@
+Normal rank