Measure and category in effective descriptive set theory
From MaRDI portal
Publication:4401936
DOI10.1016/0003-4843(73)90012-0zbMath0277.02019OpenAlexW2033288360MaRDI QIDQ4401936
Publication date: 1973
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(73)90012-0
Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Hierarchies of computability and definability (03D55)
Related Items
AD and the supercompactness of ℵ1 ⋮ Projectively well-ordered inner models ⋮ On a Notion of Smallness for Subsets of the Baire Space ⋮ Mouse sets ⋮ Lebesgue's density theorem and definable selectors for ideals ⋮ RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY ⋮ Hod mice and the Mouse Set Conjecture ⋮ Why Solovay real produces Cohen real ⋮ Countable sections for locally compact group actions ⋮ Ergodic Undefinability in Set Theory and Recursion Theory ⋮ Universal and complete sets in martingale theory ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ Inductive definability: Measure and category ⋮ The effective theory of Borel equivalence relations ⋮ Higher Kurtz randomness ⋮ Borel complexity of the space of probability measures ⋮ Absolutely non‐measurable and singular co‐analytic set ⋮ Lowness of higher randomness notions ⋮ Borel OD sets of reals are OD-Borel in some simple models ⋮ Polish Group Actions and the Vaught Conjecture ⋮ Sequential discreteness and clopen-I-Boolean classes ⋮ An effective selection theorem ⋮ A Property Equivalent to the Existence of Scales ⋮ Some measure theoretic results in effective descriptive set theory ⋮ On Mycielski Ideals ⋮ Ordinal definability and combinatorics of equivalence relations ⋮ Measure-theoretic applications of higher Demuth’s Theorem ⋮ Minimal upper bounds for sequences of -degrees ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ The Theory of Countable Analytical Sets ⋮ Can ideals without ccc be interesting? ⋮ GAMES AND INDUCTION ON REALS ⋮ Borel Games and the Baire Property