Nets and reverse mathematics. Some initial results

DOI10.1007/978-3-030-22996-2_22MaRDI QIDQ2179368zbMATH OpenOpenAlexFDO

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)

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

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)