Weak axioms of determinacy and subsystems of analysis I: δ20 games
DOI10.1002/malq.19900360602zbMath0729.03032WikidataQ114696420 ScholiaQ114696420MaRDI QIDQ3353013
Publication date: 1990
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19900360602
set existence axioms; calibration subsystems of second-order arithmetic; Arithmetical Comprehension; bold-face hierarchy; light-face hierarchy; proof-theoretic strength of \(\Delta ^ 0_ 2\)-determinacy; Transfinite Recursion; two-player infinite games associated to formulas
91A05: 2-person games
03F35: Second- and higher-order arithmetic and fragments
03E60: Determinacy principles
03D55: Hierarchies of computability and definability
Related Items