Relating First-Order Set Theories and Elementary Toposes (Q3533518): Difference between revisions

@@ Property / DOI @@
-.2178/bsl/1186666150
@@ Property / DOI: 10.2178/bsl/1186666150 / rank @@
-Normal rank
@@ Property / author @@
+Steven Awodey
@@ Property / author: Steven Awodey / rank @@
+Normal rank
@@ Property / author @@
+Alex K. Simpson
@@ Property / author: Alex K. Simpson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2144833073
@@ Property / OpenAlex ID: W2144833073 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / 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 @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+Sheaf models for set theory
@@ Property / cites work: Sheaf models for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bernays-Gödel type theory
@@ Property / cites work: Bernays-Gödel type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computational adequacy for recursive types in models of intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/BSL/1186666150
@@ Property / DOI: 10.2178/BSL/1186666150 / rank @@
+Normal rank