A proof of Grilliot's theorem

DOI10.36045/J.BBMS.221123AMaRDI QIDQ6545484FDOQ6545484

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

• Elementary induction on abstract structures
• Descriptive set theory
• Title not available (Why is that?)
• On nonmonotone inductive definability
• On monotone vs. nonmonotone induction
• Title not available (Why is that?)
• Representability in some systems of second order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inductive Definitions and Computability

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)