The strength of SCT soundness

DOI10.1093/logcom/exy003zbMath1445.03009arXiv1709.09036OpenAlexW2964035935WikidataQ61834868 ScholiaQ61834868MaRDI QIDQ4612439

Keita Yokoyama, Florian Pelupessy, Emanuele Frittaion, Silvia Steila

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.09036

zbMATH Keywords

reverse mathematicssoundnessRamsey's theorem for pairssize-change terminationwell-ordering principles

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: The strength of SCT soundness