Inductive definability: Measure and category (Q1155049): Difference between revisions

@@ 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/0001-8708(80)90057-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2034004498
@@ Property / OpenAlex ID: W2034004498 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Existence of Everywhere Proper Conditional Distributions
+Normal rank
@@ Property / cites work @@
+Cores of Π<sub>1</sub><sup>1</sup> sets of reals
@@ Property / cites work: Cores of Π<sub>1</sub><sup>1</sup> sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone inductive definitions over the continuum
@@ Property / cites work: Monotone inductive definitions over the continuum / rank @@
+Normal rank
@@ Property / cites work @@
+Q3868453
@@ Property / cites work: Q3868453 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable Parametrizations and Selections
@@ Property / cites work: Measurable Parametrizations and Selections / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of forcing to hierarchy problems in arithmetic
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure and category in effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+Q5541832
@@ Property / cites work: Q5541832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549798
@@ Property / cites work: Q5549798 / rank @@
+Normal rank
@@ Property / cites work @@
+Baire functions, Borel sets, and ordinary function systems
+Normal rank
@@ Property / cites work @@
+Borel Parametrizations
@@ Property / cites work: Borel Parametrizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure-Theoretic Uniformity in Recursion Theory and Set Theory
+Normal rank
@@ Property / cites work @@
+Some uniformization results
@@ Property / cites work: Some uniformization results / rank @@
+Normal rank
@@ Property / cites work @@
+Sur les propriétés des constituantes des ensembles analytiques
+Normal rank
@@ Property / cites work @@
+Q5798128
@@ Property / cites work: Q5798128 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Some results in the effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Notes on Measure and Category in Recursion Theory
@@ Property / cites work: Notes on Measure and Category in Recursion Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Forcing Method and the Upper Semilattice of Hyperdegrees
+Normal rank
@@ Property / cites work @@
+Extensions of the measurable choice theorem by means of forcing
+Normal rank