A proof of Grilliot's theorem
type: Item
instance of: scholarly article
title: A proof of Grilliot's theorem
author: Juan P. Aguilera
author: Ferre Vanden Kerchove
published in: Bulletin of the Belgian Mathematical Society - Simon Stevin
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 03D70
Mathematics Subject Classification ID: 03D55
Mathematics Subject Classification ID: 03D65
zbMATH DE Number: 7855066
zbMATH Keywords: \(\Sigma^1_1\)-induction
zbMATH Keywords: generalized quantifier
zbMATH Keywords: Grilliot's theorem
zbMATH Keywords: inductive definition
MaRDI profile type: Publication
cites work: Q4060953
cites work: Representability in some systems of second order arithmetic
cites work: Q4087141
cites work: Q4079598
cites work: Q4770391
cites work: Inductive Definitions and Computability
cites work: On monotone vs. nonmonotone induction
cites work: Q3921208
cites work: Elementary induction on abstract structures
cites work: On nonmonotone inductive definability
cites work: Q5322161
DOI: 10.36045/J.BBMS.221123A
description: scientific article; zbMATH DE number 7855066