On the Π1 1 -separation principle
From MaRDI portal
Publication:3545211
DOI10.1002/malq.200710049zbMath1155.03042OpenAlexW1568399937MaRDI QIDQ3545211
Publication date: 10 December 2008
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200710049
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS ⋮ THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES ⋮ THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM ⋮ Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem ⋮ SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE
Cites Work