On the public citation graph
Nets and reverse mathematics
0 signed · 87 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/malq.200310119openalex-snapshot
Compactness under constructive scrutiny
inferredcites →https://doi.org/10.1002/malq.200310122openalex-snapshot
Uniform versions of some axioms of second order arithmetic
inferredcites →https://doi.org/10.1002/malq.201010008openalex-snapshot
The cohesive principle and the Bolzano-Weierstraß principle
inferredcites →https://doi.org/10.1007/978-1-4020-8926-8_7openalex-snapshot
Dini’s Theorem in the Light of Reverse Mathematics
inferredcites →https://doi.org/10.1007/978-1-4612-0787-0openalex-snapshot
An Introduction to Analysis
inferredcites →https://doi.org/10.1007/978-3-030-22996-2_22openalex-snapshot
Nets and Reverse Mathematics
inferredcites →https://doi.org/10.1007/978-3-0348-8660-4openalex-snapshot
Scenes from the History of Real Functions
inferredcites →https://doi.org/10.1007/978-3-540-77533-1openalex-snapshot
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
inferredcites →https://doi.org/10.1007/978-3-642-67678-9openalex-snapshot
A Compendium of Continuous Lattices
inferredcites →https://doi.org/10.1007/978-3-662-59533-6_33openalex-snapshot
Reverse Mathematics and Computability Theory of Domain Theory
inferredcites →https://doi.org/10.1007/bf02402869openalex-snapshot
Sur les fonctions de n variables complexes
inferredcites →https://doi.org/10.1007/bf02790008openalex-snapshot
Topological dynamics and combinatorial number theory
inferredcites →https://doi.org/10.1007/bfb0066739openalex-snapshot
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
inferredcites →https://doi.org/10.1007/s11117-015-0348-2openalex-snapshot
Generalized Dini theorems for nets of functions on arbitrary sets
inferredcites →https://doi.org/10.1016/0016-660x(75)90022-7openalex-snapshot
Continuous convergence in partially ordered sets
inferredcites →https://doi.org/10.1016/0022-247x(80)90048-7openalex-snapshot
Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence
inferredcites →https://doi.org/10.1016/b978-0-12-622760-4.x5000-6openalex-snapshot
Handbook of Analysis and Its Foundations
inferredcites →https://doi.org/10.1016/j.apal.2008.09.001openalex-snapshot
The metamathematics of ergodic theory
inferredcites →https://doi.org/10.1016/j.apal.2019.05.007openalex-snapshot
The strength of compactness in Computability Theory and Nonstandard Analysis
inferredcites →https://doi.org/10.1016/j.jmaa.2010.05.042openalex-snapshot
Arzelà's Theorem and strong uniform convergence on bornologies
inferredcites →https://doi.org/10.1016/s0019-3577(07)00012-2openalex-snapshot
A fan-theoretic equivalent of the antithesis of Specker's theorem
inferredcites →https://doi.org/10.1016/s0049-237x(98)80020-7openalex-snapshot
Gödel’s Functional (“Dialectica”) Interpretation
inferredcites →https://doi.org/10.1017/9781316755846.004openalex-snapshot
Notions of compactness in weak subsystems of second order arithmetic
inferredcites →https://doi.org/10.1017/9781316755846.018openalex-snapshot
Higher order reversemathematics
inferredcites →https://doi.org/10.1017/9781316755983.005openalex-snapshot
Foundational and mathematical uses of higher types
inferredcites →https://doi.org/10.1017/bsl.2015.18openalex-snapshot
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp.
inferredcites →https://doi.org/10.1017/cbo9780511542725openalex-snapshot
Continuous Lattices and Domains
inferredcites →https://doi.org/10.1017/cbo9780511581007openalex-snapshot
Subsystems of Second Order Arithmetic
inferredcites →https://doi.org/10.1017/cbo9780511750762.008openalex-snapshot
The Gödel hierarchy and reverse mathematics
inferredcites →https://doi.org/10.1017/cbo9781139524438openalex-snapshot
Non-Hausdorff Topology and Domain Theory
inferredcites →https://doi.org/10.1017/jsl.2016.9openalex-snapshot
ON THE STRENGTH OF TWO RECURRENCE THEOREMS
inferredcites →https://doi.org/10.1017/s0022481200051410openalex-snapshot
Uniformly defined descending sequences of degrees
inferredcites →https://doi.org/10.1073/pnas.1.12.628openalex-snapshot
Definition of Limit in General Integral Analysis
inferredcites →https://doi.org/10.1080/00029890.1955.11988688openalex-snapshot
Nets and Filters in Topology
inferredcites →https://doi.org/10.1090/coll/002/01openalex-snapshot
Introduction to a form of general analysis
inferredcites →https://doi.org/10.1090/s0002-9939-1967-0215759-7openalex-snapshot
Monotone Subnets in Partially Ordered Sets
inferredcites →https://doi.org/10.1090/s0002-9947-1914-1500965-1openalex-snapshot
Limits in Terms of Order, with Example of Limiting Element not Approachable by a Sequence
inferredcites →https://doi.org/10.1090/s0002-9947-1935-1501776-7openalex-snapshot
On Complete Topological Spaces
inferredcites →https://doi.org/10.1090/s0002-9947-1955-0073938-2openalex-snapshot
On Compactness in Functional Analysis
inferredcites →https://doi.org/10.1111/j.1746-8361.1958.tb01476.xopenalex-snapshot
Eighty Years of Foundational Studies
inferredcites →https://doi.org/10.1112/plms/pdr022openalex-snapshot
The limits of determinacy in second-order arithmetic
inferredcites →https://doi.org/10.1142/9789812810656openalex-snapshot
Introduction to Gauge Integrals
inferredcites →https://doi.org/10.1142/s0219061306000578openalex-snapshot
REVERSE MATHEMATICS OF MF SPACES
inferredcites →https://doi.org/10.1142/s0219061319500016openalex-snapshot
On the mathematical and foundational significance of the uncountable
inferredcites →https://doi.org/10.1215/00294527-1715716openalex-snapshot
Primitive Recursion and the Chain Antichain Principle
inferredcites →https://doi.org/10.1215/00294527-2008-022openalex-snapshot
Proof Mining in Topological Dynamics
inferredcites →https://doi.org/10.1215/00294527-2019-0032openalex-snapshot
Splittings and Disjunctions in Reverse Mathematics
inferredcites →https://doi.org/10.1307/mmj/1272376025openalex-snapshot
Topological aspects of Poset spaces
inferredcites →https://doi.org/10.2140/pjm.1959.9.643openalex-snapshot
The topology of almost uniform convergence
inferredcites →https://doi.org/10.2140/pjm.1968.25.495openalex-snapshot
Relations among continuous and various non-continuous functions
inferredcites →https://doi.org/10.2178/bsl/1130335208openalex-snapshot
Reverse Mathematics and Π12 Comprehension
inferredcites →https://doi.org/10.2178/bsl/1309952320openalex-snapshot
Open Questions in Reverse Mathematics
inferredcites →https://doi.org/10.2307/1968508openalex-snapshot
Moore-Smith Convergence in General Topology
inferredcites →https://doi.org/10.2307/1968829openalex-snapshot
Weak Topologies of Normed Linear Spaces
inferredcites →https://doi.org/10.2307/2314383openalex-snapshot
Foundations of Constructive Analysis.
inferredcites →https://doi.org/10.24033/asens.406openalex-snapshot
Sur quelques points de la théorie des fonctions
inferredcites →https://doi.org/10.4000/philosophiascientiae.406openalex-snapshot
Reverse Mathematics in Bishop’s Constructive Mathematics
inferredcites →https://doi.org/10.4288/jafpos.25.0_57openalex-snapshot
Rudin's Lemma and Reverse Mathematics
inferredcites →https://doi.org/10.5802/ambp.100openalex-snapshot
Strong convergence and Dini theorems for non-uniform spaces
inferredcites →https://doi.org/10.7146/brics.v6i31.20100openalex-snapshot
Foundational and Mathematical Uses of Higher Types
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-36755-8_16openalex-snapshot
Lifting Recursive Counterexamples to Higher-Order Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-030-80049-9_39openalex-snapshot
Splittings and Robustness for the Heine-Borel Theorem
inferred← citeshttps://doi.org/10.1007/978-3-030-93100-1_15openalex-snapshot
Betwixt Turing and Kleene
inferred← citeshttps://doi.org/10.1007/978-3-030-93100-1_18openalex-snapshot
Between Turing and Kleene
inferred← citeshttps://doi.org/10.1016/j.aim.2024.109618openalex-snapshot
The Ginsburg–Sands theorem and computability theory
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102788openalex-snapshot
Pincherle's theorem in reverse mathematics and computability theory
inferred← citeshttps://doi.org/10.1016/j.ic.2021.104762openalex-snapshot
Lifting proofs from countable to uncountable mathematics
inferred← citeshttps://doi.org/10.1093/logcom/exaa019openalex-snapshot
The unreasonable effectiveness of Nonstandard Analysis
inferred← citeshttps://doi.org/10.1093/logcom/exac075openalex-snapshot
On the computational properties of basic mathematical notions
inferred← citeshttps://doi.org/10.3233/com-210313openalex-snapshot
Countable sets versus sets that are countable in reverse mathematics
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.