Omitting Types: Application to Descriptive Set Theory

DOI10.2307/2040232MaRDI QIDQ4055640zbMATH OpenOpenAlexFDO

Authors Richard Mansfield

Publication date 1975

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

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(1)

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

This page was built for publication: Omitting Types: Application to Descriptive Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4055640)