Π12 monotone inductive definitions

DOI10.1017/CBO9781139519694.016zbMath1431.03054OpenAlexW4239345064MaRDI QIDQ5219261

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)

Related Items

CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY