Q5233741 (Q5233741): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reedy categories and the \(\varTheta\)-construction
+Normal rank
@@ Property / cites work @@
+Tarski's theorem on intuitionistic logic, for polyhedra
+Normal rank
@@ Property / cites work @@
+Q5580926
@@ Property / cites work: Q5580926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204315
@@ Property / cites work: Q4204315 / rank @@
+Normal rank
@@ Property / cites work @@
+Levels in the toposes of simplicial sets and cubical sets
+Normal rank
@@ Property / cites work @@
+Q3978964
@@ Property / cites work: Q3978964 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearization of graphic toposes via Coxeter groups
+Normal rank
@@ Property / cites work @@
+Q5298124
@@ Property / cites work: Q5298124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5261938
@@ Property / cites work: Q5261938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534234
@@ Property / cites work: Q5534234 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q2927669
@@ Property / cites work: Q2927669 / rank @@
+Normal rank
@@ Property / cites work @@
+THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES
+Normal rank
@@ Property / cites work @@
+On absolute colimits
@@ Property / cites work: On absolute colimits / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704207
@@ Property / cites work: Q4704207 / rank @@
+Normal rank