The Theory of Countable Analytical Sets

DOI10.2307/1997311zbMath0317.02082OpenAlexW4230107544MaRDI QIDQ4078033

Alexander S. Kechris

Publication date: 1975

Full work available at URL: https://doi.org/10.2307/1997311

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Large cardinals (03E55) Hierarchies of computability and definability (03D55)

Related Items (21)

Dominating projective sets in the Baire space ⋮ Higher randomness and forcing with closed sets ⋮ Regularity properties for dominating projective sets ⋮ Projectively well-ordered inner models ⋮ On a Notion of Smallness for Subsets of the Baire Space ⋮ Mouse sets ⋮ Hyperarithmetically Encodable Sets ⋮ Hod mice and the Mouse Set Conjecture ⋮ Capacitability for Co-Analytic Sets ⋮ Russell's typicality as another randomness notion ⋮ ASSIGNING AN ISOMORPHISM TYPE TO A HYPERDEGREE ⋮ HIGHER RANDOMNESS AND GENERICITY ⋮ On the Reals Which Cannot Be Random ⋮ Inner model operators in \(L(\mathbb{R})\) ⋮ Lowness of higher randomness notions ⋮ On the theory of Π₃¹ sets of reals ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Minimal Covers and Hyperdegrees ⋮ Some problems in automata theory which depend on the models of set theory ⋮ Borel and Analytic One-One Parametrizations of the Countable Sets of Reals ⋮ The envelope of a pointclass under a local determinacy hypothesis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Countable admissible ordinals and hyperdegrees
• A Souslin operation for \(\Pi^1_2\)
• Elementary induction on abstract structures
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• The Shoenfield absoluteness lemma
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Perfect subsets of definable sets of real numbers
• Two theorems about projective sets
• Measurable cardinals and \(\Delta^1_3\) well-orderings
• On nonmonotone inductive definability
• Measure and category in effective descriptive set theory
• Constructive transfinite number classes
• A complete classification of the Δ₂¹-functions
• The axiom of determinateness and reduction principles in the analytical hierarchy
• On the axiom of determinateness
• SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
• Degrees of unsolvability of constructible sets of integers
• Infinitary logic and admissible sets
• Uniformization in a playful universe
• The next admissible set
• A Property of Arithmetic Sets

This page was built for publication: The Theory of Countable Analytical Sets