A note on the sequential version of ^1_2 statements

DOI10.1007/978-3-642-39053-1_20MaRDI QIDQ5326367zbMATH OpenOpenAlexFDO

Authors Makoto Fujiwara, Keita Yokoyama

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)

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}\)

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)