Nets and reverse mathematics. Some initial results

DOI10.1007/978-3-030-22996-2_22zbMath1434.03022OpenAlexW2954386920MaRDI QIDQ2179368

Sam Sanders

Publication date: 12 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22996-2_22

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Type theory (03B38)

Related Items (5)

Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ Lifting proofs from countable to uncountable mathematics ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ Nets and reverse mathematics

This page was built for publication: Nets and reverse mathematics. Some initial results