FRIEDMAN-WEIERMANN STYLE INDEPENDENCE RESULTS BEYOND PEANO ARITHMETIC

DOI10.4134/JKMS.2014.51.2.383zbMath1349.03083MaRDI QIDQ5409981

Gyesik Lee

Publication date: 15 April 2014

Published in: Journal of the Korean Mathematical Society (Search for Journal in Brave)

Full work available at URL: http://mathnet.or.kr/mathnet/kms_content.php?no=412029

zbMATH Keywords

Peano arithmeticindependence resultsKruskal's theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Pure \(\Sigma_2\)-elementarity beyond the core ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

This page was built for publication: FRIEDMAN-WEIERMANN STYLE INDEPENDENCE RESULTS BEYOND PEANO ARITHMETIC