On Non-Monotone ∑21 Inductive Definitions

DOI10.1112/JLMS/S2-22.1.1zbMath0426.03054OpenAlexW2572975542MaRDI QIDQ3861381

Nigel J. Cutland

Publication date: 1980

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/jlms/s2-22.1.1

zbMATH Keywords

inductive definitionsclosure ordinal

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Inductive definability (03D70)

Related Items (1)

Locally hyperarithmetical induction

This page was built for publication: On Non-Monotone ∑21 Inductive Definitions