Intuitionistic sets and ordinals (Q5687312): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275781
@@ Property / full work available at URL: https://doi.org/10.2307/2275781 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2136604612
@@ Property / OpenAlex ID: W2136604612 / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+The lack of definable witnesses and provably recursive functions in intuitionistic set theories
+Normal rank
@@ Property / cites work @@
+A note on iterative arguments in a topos
@@ Property / cites work: A note on iterative arguments in a topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039735
@@ Property / cites work: Q4039735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Extending Gödel's negative interpretation to ZF
@@ Property / cites work: Extending Gödel's negative interpretation to ZF / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Russell's paradox in locally Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+A co-induction principle for recursively defined domains
+Normal rank
@@ Property / cites work @@
+Categorical set theory: A characterization of the category of sets
+Normal rank
@@ Property / cites work @@
+Q3960633
@@ Property / cites work: Q3960633 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
+Normal rank