Classifying spaces for toposes with enough points (Q3840721): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+From Groups to Groupoids: a Brief Survey
@@ Property / cites work: From Groups to Groupoids: a Brief Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895892
@@ Property / cites work: Q4895892 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733032
@@ Property / cites work: Q4733032 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q3871006
@@ Property / cites work: Q3871006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769089
@@ Property / cites work: Q2769089 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3840721