A Generalized Kleene-Moschovakis Theorem

DOI10.2307/2041774MaRDI QIDQ4116438zbMATH OpenOpenAlexFDO

Authors L. 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

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

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3534482 (Why is no real title available?)
• The next admissible set

Cited in

(1)

• Recursively Saturated Models of Set Theory

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

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