Inductive Definitions and Computability

DOI10.2307/1995907MaRDI QIDQ5628117zbMATH OpenOpenAlexFDO

Authors T. J. Grilliot

Publication date 1971

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

Mathematics Subject Classification ID

Inductive definability (03D70)

Cites work

• Abstract Computability and Invariant Definability
• Abstract First Order Computability. I
• scientific article; zbMATH DE number 3248010 (Why is no real title available?)
• scientific article; zbMATH DE number 3397511 (Why is no real title available?)
• Selection functions for recursive functionals
• The next admissible set
• The Suslin-Kleene theorem for countable structures

Cited in

(2)

• A proof of Grilliot's theorem
• The metamathematics of separated determinacy

This page was built for publication: Inductive Definitions and Computability

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