A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements

DOI10.1007/978-3-642-39053-1_20zbMath1388.03057OpenAlexW2249336712MaRDI QIDQ5326367

Keita Yokoyama, Makoto Fujiwara

Publication date: 5 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39053-1_20

Mathematics Subject Classification ID

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

Related Items (2)

Pincherle's theorem in reverse mathematics and computability theory ⋮ Weihrauch and constructive reducibility between existence statements

This page was built for publication: A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements