Laminations, or how to build a quantum-logic-valued model of set theory (Q1258738): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi: Corrigenda and acknowledgements
@@ Property / cites work: Aspects of topoi: Corrigenda and acknowledgements / rank @@
+Normal rank
@@ Property / cites work @@
+From types to sets
@@ Property / cites work: From types to sets / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of Boolean topoi
@@ Property / cites work: Categories of Boolean topoi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655524
@@ Property / cites work: Q5655524 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1258738