Π12 monotone inductive definitions

DOI10.1017/CBO9781139519694.016MaRDI QIDQ5219261zbMATH OpenOpenAlexFDO

Authors Donald A. Martin

Publication date 9 March 2020

Published in Ordinal Definability and Recursion Theory The Cabal Seminar Volume III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/cbo9781139519694.016

Mathematics Subject Classification ID

Descriptive set theory (03E15) Higher-type and set recursion theory (03D65) Inductive definability (03D70)

Cited in

(2)

• CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY
• Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators

This page was built for publication: Π¹₂ monotone inductive definitions

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