Boolean classifying topoi (Q1835669): Difference between revisions

@@ Property / author @@
+Andrej Scedrov
@@ Property / author: Andrej Scedrov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1969701120
@@ Property / OpenAlex ID: W1969701120 / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic toposes
@@ Property / cites work: Atomic toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying topoi and finite forcing
@@ Property / cites work: Classifying topoi and finite forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5662566
@@ Property / cites work: Q5662566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank