A basis theorem for \(\sum^ 1_ 3\) sets of reals

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

zbMATH Keywords

set theory

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