A note on the sequential version of ^1_2 statements

DOI10.1007/978-3-642-39053-1_20zbMATH Open1388.03057OpenAlexW2249336712MaRDI QIDQ5326367FDOQ5326367

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

Recommendations

• Classical provability of uniform versions and intuitionistic provability
• Reverse mathematics and uniformity in proofs without excluded middle
• Logical Approaches to Computational Barriers
• Uniform versions of some axioms of second order arithmetic
• Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\)

Mathematics Subject Classification ID

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

Cited In (3)

• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• Weihrauch and constructive reducibility between existence statements
• Pincherle's theorem in reverse mathematics and computability theory

This page was built for publication: A note on the sequential version of \(\Pi^1_2\) statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326367)