Π12 monotone inductive definitions

DOI10.1017/CBO9781139519694.016zbMATH Open1431.03054OpenAlexW4239345064MaRDI QIDQ5219261FDOQ5219261

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)