Invisible Ordinals and Inductive Definitions
From MaRDI portal
Publication:3956928
DOI10.1002/malq.19820280803zbMath0494.03032OpenAlexW2034208172MaRDI QIDQ3956928
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820280803
Inner models, including constructibility, ordinal definability, and core models (03E45) Inductive definability (03D70)
This page was built for publication: Invisible Ordinals and Inductive Definitions