Nets and reverse mathematics. Some initial results

DOI10.1007/978-3-030-22996-2_22zbMATH Open1434.03022OpenAlexW2954386920MaRDI QIDQ2179368FDOQ2179368

Authors: Sam Sanders 

Publication date: 12 May 2020

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Nets and reverse mathematics
• Betwixt Turing and Kleene
• Title not available (Why is that?)
• 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)