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

@@ 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