Relating first-order set theories, toposes and categories of classes (Q386623): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2013.06.004
@@ Property / DOI: 10.1016/j.apal.2013.06.004 / 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 / full work available at URL @@
+https://doi.org/10.1016/j.apal.2013.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2098957909
@@ Property / OpenAlex ID: W2098957909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Introduction to Algebraic Set Theory
@@ Property / cites work: A Brief Introduction to Algebraic Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Relating First-Order Set Theories and Elementary Toposes
+Normal rank
@@ Property / cites work @@
+Q5701016
@@ Property / cites work: Q5701016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680361
@@ Property / cites work: Q4680361 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. I: Exact completion
+Normal rank
@@ Property / cites work @@
+A Unified Approach to Algebraic Set Theory
@@ Property / cites work: A Unified Approach to Algebraic Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory. II: Realizability
+Normal rank
@@ Property / cites work @@
+Aspects of predicative algebraic set theory III: sheaves
+Normal rank
@@ Property / cites work @@
+Bernays-Gödel type theory
@@ Property / cites work: Bernays-Gödel type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4967709
@@ Property / cites work: Q4967709 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaf models for set theory
@@ Property / cites work: Sheaf models for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of topoi
@@ Property / cites work: Aspects of topoi / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+Set theoretic foundations for constructive analysis
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5470454
@@ Property / cites work: Q5470454 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic set theory and the effective topos
@@ Property / cites work: Algebraic set theory and the effective topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807625
@@ Property / cites work: Q4807625 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4893207
@@ Property / cites work: Q4893207 / rank @@
+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 / cites work @@
+Boolean topoi and the theory of sets
@@ Property / cites work: Boolean topoi and the theory of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Wellfounded trees in categories
@@ Property / cites work: Wellfounded trees in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, toposes and constructive set theory: Predicative aspects of AST
+Normal rank
@@ Property / cites work @@
+Q3997818
@@ Property / cites work: Q3997818 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Categorical set theory: A characterization of the category of sets
+Normal rank
@@ Property / cites work @@
+Computational adequacy for recursive types in models of intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Q5718562
@@ Property / cites work: Q5718562 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2013.06.004
@@ Property / DOI: 10.1016/J.APAL.2013.06.004 / rank @@
+Normal rank