Bar induction and restricted classical logic

DOI10.1007/978-3-662-59533-6_15OpenAlexW2950280309MaRDI QIDQ2303591

Makoto Fujiwara

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_15

zbMATH Keywords

reverse mathematicsbar inductionintuitionistic mathematicssubsystems of second-order arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli ⋮ König's lemma, weak König's lemma, and the decidable fan theorem ⋮ Parallelizations in Weihrauch reducibility and constructive reverse mathematics ⋮ Minimum classical extensions of constructive theories

This page was built for publication: Bar induction and restricted classical logic