REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS (Q5215936): Difference between revisions

@@ Property / cites work @@
+The dual Cantor-Bernstein theorem and the partition principle
+Normal rank
@@ Property / cites work @@
+Freyd’s models for the independence of the axiom of choice
+Normal rank
@@ Property / cites work @@
+Preserving cardinals and weak forms of Zorn’s lemma in realizability models
+Normal rank
@@ Property / cites work @@
+Intermediate submodels and generic extensions in set theory
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+ITERATING SYMMETRIC EXTENSIONS
@@ Property / cites work: ITERATING SYMMETRIC EXTENSIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Preserving Dependent Choice
@@ Property / cites work: Preserving Dependent Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability algebras II : new models of ZF + DC
@@ Property / cites work: Realizability algebras II : new models of ZF + DC / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability algebras III: some examples
@@ Property / cites work: Realizability algebras III: some examples / rank @@
+Normal rank
@@ Property / cites work @@
+Choiceless Löwenheim-Skolem property and uniform definability of grounds
+Normal rank