A basis theorem for \(\sum^ 1_ 3\) sets of reals
From MaRDI portal
Publication:2533607
DOI10.2307/1970813zbMath0176.27603OpenAlexW2316653939MaRDI QIDQ2533607
Robert M. Solovay, Donald A. Martin
Publication date: 1969
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1970813
Related Items
Analytic sets from the point of view of compact sets, Projectively well-ordered inner models, The consistency strength of projective absoluteness, Strong Logics of First and Second Order, Large cardinals and definable counterexamples to the continuum hypothesis, Some descriptive set theory and core models, Preserving levels of projective determinacy by tree forcings, Definable MAD families and forcing axioms, \(\Pi_ 2^ 1\) Wadge degrees, Uniformization in a playful universe, Precipitous ideals and \(\sum^1_4\) sets, EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE, Forcing absoluteness and regularity properties, The Mathematical Development of Set Theory from Cantor to Cohen, Variations of the Martin-Solovay tree, Trivial automorphisms, Iteration Trees, A Descriptive View of Combinatorial Group Theory, The bi-embeddability relation for countable abelian groups, A Souslin operation for \(\Pi^1_2\), A minimal counterexample to universal baireness, On the theory of Π₃¹ sets of reals, Strong cardinals in the core model, Minimal Covers and Hyperdegrees, The Theory of Countable Analytical Sets, \(\Sigma_3^1\) absoluteness and the second uniform indiscernible, Complexity of reals in inner models of set theory, The extent of definable scales, A Proof of Projective Determinacy, Large cardinals, inner models, and determinacy: an introductory overview
