A Generalized Kleene-Moschovakis Theorem

DOI10.2307/2041774zbMath0347.02027OpenAlexW4211101596MaRDI QIDQ4116438

Lefteris M. Kirousis, John S. Schlipf

Publication date: 1978

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

Mathematics Subject Classification ID

Model theory (03C99) Other infinitary logic (03C75) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55) Other classical first-order model theory (03C68)

Related Items (1)

Recursively Saturated Models of Set Theory

Cites Work

• The next admissible set
• Unnamed Item
• Unnamed Item

This page was built for publication: A Generalized Kleene-Moschovakis Theorem