Nets and reverse mathematics. Some initial results

DOI10.1007/978-3-030-22996-2_22MaRDI QIDQ2179368zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Lifting proofs from countable to uncountable mathematics
• Dini’s Theorem in the Light of Reverse Mathematics
• Generalized Dini theorems for nets of functions on arbitrary sets
• scientific article; zbMATH DE number 3924748
• Open sets in computability theory and reverse mathematics

Cited in

(8)

• On the logical and computational properties of the Vitali covering theorem
• Betwixt Turing and Kleene
• Open sets in computability theory and reverse mathematics
• Between Turing and Kleene
• Pincherle's theorem in reverse mathematics and computability theory
• Nets and reverse mathematics
• Lifting proofs from countable to uncountable mathematics
• scientific article; zbMATH DE number 4178075 (Why is no real title available?)

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

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