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 (30)

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

This page was built for publication: A basis theorem for \(\sum^ 1_ 3\) sets of reals