A Generalized Kleene-Moschovakis Theorem

DOI10.2307/2041774zbMath0347.02027MaRDI QIDQ4116438

Lefteris M. Kirousis, John S. Schlipf, Leo Harrington

Publication date: 1978

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

Mathematics Subject Classification ID

03C99: Model theory

03C75: Other infinitary logic

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03D55: Hierarchies of computability and definability

03C68: Other classical first-order model theory

Related Items

Recursively Saturated Models of Set Theory

Cites Work

• The next admissible set
• Unnamed Item
• Unnamed Item