Forcing and reducibilities. III. Forcing in fragments of set theory (Q3691652): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273666
@@ Property / full work available at URL: https://doi.org/10.2307/2273666 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2142553648
@@ Property / OpenAlex ID: W2142553648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of constructible sets of integers
+Normal rank
@@ Property / cites work @@
+On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
+Normal rank
@@ Property / cites work @@
+On the reducibility of \(\Pi_ 1^ 1\) sets
@@ Property / cites work: On the reducibility of \(\Pi_ 1^ 1\) sets / rank @@
+Normal rank
@@ Property / cites work @@
+Sacks forcing does not always produce a minimal upper bound
+Normal rank
@@ Property / cites work @@
+Constructive transfinite number classes
@@ Property / cites work: Constructive transfinite number classes / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A complete classification of the Δ₂¹-functions
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
+Normal rank
@@ Property / cites work @@
+Some applications of model theory in set theory
@@ Property / cites work: Some applications of model theory in set theory / rank @@
+Normal rank