Omitting types: application to recursion theory

DOI10.2307/2272549MaRDI QIDQ5655353zbMATH OpenOpenAlexFDO

Authors T. J. Grilliot

Publication date 1972

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Recursive equivalence types of sets and structures, isols (03D50) Hierarchies of computability and definability (03D55)

Cites work

• Completing theories by forcing
• Constructive transfinite number classes
• On a problem of Kleene’s
• The Suslin-Kleene theorem for countable structures

Cited in

(3)

• Countable admissible ordinals and hyperdegrees
• More Lowenheim-Skolem results for admissible sets
• Omitting Types: Application to Descriptive Set Theory

This page was built for publication: Omitting types: application to recursion theory

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