Omitting Types: Application to Descriptive Set Theory

DOI10.2307/2040232zbMath0302.02027OpenAlexW4234801423MaRDI QIDQ4055640

Richard Mansfield

Publication date: 1975

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

Mathematics Subject Classification ID

Descriptive set theory (03E15) Hierarchies of computability and definability (03D55)

Related Items

Surrealist landscape with figures (a survey of recent results in set theory)

Cites Work

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Perfect subsets of definable sets of real numbers
• Omitting types: application to recursion theory
• Consistency of the Continuum Hypothesis. (AM-3)