A proof of Grilliot's theorem

DOI10.36045/J.BBMS.221123AMaRDI QIDQ6545484zbMATH OpenFDO

Authors Juan P. Aguilera, Ferre Vanden Kerchove

Publication date 29 May 2024

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

zbMATH Keywords

generalized quantifierinductive definition\(\Sigma^1_1\)-inductionGrilliot's theorem

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Higher-type and set recursion theory (03D65) Inductive definability (03D70)

Cites work

• scientific article; zbMATH DE number 3733894 (Why is no real title available?)
• scientific article; zbMATH DE number 3477148 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3506643 (Why is no real title available?)
• scientific article; zbMATH DE number 3445235 (Why is no real title available?)
• Descriptive set theory
• Elementary induction on abstract structures
• Inductive Definitions and Computability
• On monotone vs. nonmonotone induction
• On nonmonotone inductive definability
• Representability in some systems of second order arithmetic

Cited in

(1)

• Monotone versus non-monotone projective operators

This page was built for publication: A proof of Grilliot's theorem

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