Nets and reverse mathematics
From MaRDI portal
Recommendations
Cites work
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Arzelà's theorem and strong uniform convergence on bornologies
- Axiom of choice
- Compactness under constructive scrutiny
- Computability theory, nonstandard analysis, and their connections
- Constructivism in mathematics. An introduction. Volume II
- Continuous convergence in partially ordered sets
- Continuous Lattices and Domains
- Counterexamples in topology
- Dini’s Theorem in the Light of Reverse Mathematics
- EIGHTY YEARS OF FOUNDATIONAL STUDIES
- Fuzzy sets
- Fuzzy topology. I: Neighborhood structure of a fuzzy point and Moore-Smith convergence
- Generalized Dini theorems for nets of functions on arbitrary sets
- scientific article; zbMATH DE number 6386979 (Why is no real title available?)
- scientific article; zbMATH DE number 3113095 (Why is no real title available?)
- scientific article; zbMATH DE number 3873291 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 3924748 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4010839 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3719745 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 192920 (Why is no real title available?)
- scientific article; zbMATH DE number 3479763 (Why is no real title available?)
- scientific article; zbMATH DE number 3519546 (Why is no real title available?)
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 1235879 (Why is no real title available?)
- scientific article; zbMATH DE number 713349 (Why is no real title available?)
- scientific article; zbMATH DE number 1059780 (Why is no real title available?)
- scientific article; zbMATH DE number 1099340 (Why is no real title available?)
- scientific article; zbMATH DE number 1477074 (Why is no real title available?)
- scientific article; zbMATH DE number 1488320 (Why is no real title available?)
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 3234211 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 2212008 (Why is no real title available?)
- scientific article; zbMATH DE number 2236626 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- scientific article; zbMATH DE number 3027621 (Why is no real title available?)
- Infinite dimensional analysis. A hitchhiker's guide.
- Large cardinals from determinacy
- Located sets and reverse mathematics
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Models of ZF-set theory
- Monotone Subnets in Partially Ordered Sets
- Nets and Filters in Topology
- Nets and reverse mathematics. Some initial results
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- On Compactness in Functional Analysis
- On the mathematical and foundational significance of the uncountable
- ON THE STRENGTH OF TWO RECURRENCE THEOREMS
- Open questions in reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Preservation of continuity
- Primitive recursion and the chain antichain principle
- Proof mining in topological dynamics
- Real variable contributions of G. C. Young and W. H. Young
- Relations among continuous and various non-continuous functions
- Reverse mathematics and computability theory of domain theory
- Reverse Mathematics and Π12 Comprehension
- REVERSE MATHEMATICS OF MF SPACES
- Reverse mathematics. Proofs from the inside out
- Rudin's Lemma and Reverse Mathematics
- Scenes from the history of real functions. Translated from the Russian by Roger Cooke
- Splittings and disjunctions in reverse mathematics
- Strong convergence and Dini theorems for non-uniform spaces
- Subsystems of second order arithmetic
- The cohesive principle and the Bolzano-Weierstraß principle
- The Gödel hierarchy and reverse mathematics
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
- The limits of determinacy in second-order arithmetic
- The metamathematics of ergodic theory
- The strength of compactness in computability theory and nonstandard analysis
- The topology of almost uniform convergence
- Topological aspects of poset spaces
- Topological dynamics and combinatorial number theory
- Uniform versions of some axioms of second order arithmetic
- Weak topologies of normed linear spaces
Cited in
(6)
This page was built for publication: Nets and reverse mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995602)
