A topos foundation for theories of physics: I. Formal languages for physics (Q5504926): Difference between revisions

@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / 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
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
+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 @@
+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 @@
+Topos theory and consistent histories: The internal logic of the set of all consistent sets
+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 @@
+A topos foundation for theories of physics: IV. Categories of systems
+Normal rank