Nets and reverse mathematics

DOI10.3233/COM-190265MaRDI QIDQ4995602

Sam Sanders

Publication date: 25 June 2021

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.04058

zbMATH Keywords

nets; reverse mathematics; Moore-Smith sequences; higher-order computability theory

Mathematics Subject Classification ID

03Dxx: Computability and recursion theory

Related Items

Countable sets versus sets that are countable in reverse mathematics, Betwixt Turing and Kleene, Between Turing and Kleene

Cites Work

• Generalized Dini theorems for nets of functions on arbitrary sets
• Primitive recursion and the chain antichain principle
• Scenes from the history of real functions. Translated from the Russian by Roger Cooke
• The topology of almost uniform convergence
• Topological aspects of poset spaces
• Arzelà's theorem and strong uniform convergence on bornologies
• The metamathematics of ergodic theory
• Proof mining in topological dynamics
• Topological dynamics and combinatorial number theory
• Fuzzy topology. I: Neighborhood structure of a fuzzy point and Moore-Smith convergence
• Constructivism in mathematics. An introduction. Volume II
• Real variable contributions of G. C. Young and W. H. Young
• Strong convergence and Dini theorems for non-uniform spaces
• Splittings and disjunctions in reverse mathematics
• Nets and reverse mathematics. Some initial results
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Reverse mathematics and computability theory of domain theory
• Pincherle's theorem in reverse mathematics and computability theory
• The strength of compactness in computability theory and nonstandard analysis
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Relations among continuous and various non-continuous functions
• Models of ZF-set theory
• Weak topologies of normed linear spaces
• ON THE STRENGTH OF TWO RECURRENCE THEOREMS
• The cohesive principle and the Bolzano-Weierstraß principle
• Large Cardinals from Determinacy
• The limits of determinacy in second-order arithmetic
• Compactness under constructive scrutiny
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• EIGHTY YEARS OF FOUNDATIONAL STUDIES
• REVERSE MATHEMATICS OF MF SPACES
• Dini’s Theorem in the Light of Reverse Mathematics
• Continuous convergence in partially ordered sets
• Located sets and reverse mathematics
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• On the mathematical and foundational significance of the uncountable
• The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Reverse Mathematics and Π¹₂ Comprehension
• Fuzzy sets
• Monotone Subnets in Partially Ordered Sets
• On Compactness in Functional Analysis
• Nets and Filters in Topology
• Rudin's Lemma and Reverse Mathematics
• Axiom of choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item