Reverse formalism 16

DOI10.1007/s11229-017-1322-2zbMath1475.03045arXiv1701.05066OpenAlexW2580130129MaRDI QIDQ2054114

Sam Sanders

Publication date: 1 December 2021

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

nonstandard analysisformalismAbraham Robinsoncomputational content

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05)

Related Items

A footnote to ``The crisis in contemporary mathematics ⋮ Infinitesimal analysis without the axiom of choice ⋮ Two-track depictions of Leibniz's fictions ⋮ On mathematical realism and applicability of hyperreals

Cites Work

• A functional interpretation for nonstandard arithmetic
• Exaggeration
• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume II
• The crisis in contemporary mathematics
• Modeling vagueness by nonstandardness
• Constructive mathematics: a foundation for computable analysis
• A sheaf-theoretic foundation for nonstandard analysis
• Spontaneous symmetry breaking and geometry from the spectral viewpoint
• Gnomes in the fog. The reception of Brouwer's intuitionism in the 1920s
• Refining the taming of the reverse mathematics zoo
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• Nonstandardness and the bounded functional interpretation
• Commuting and Noncommuting Infinitesimals
• Hyperstream processing systems
• Nonstandard Analysis for the Working Mathematician
• From Nonstandard Analysis to Various Flavours of Computability Theory
• http://logicandanalysis.org/index.php/jla/article/viewFile/114/41
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• Intuitionism As Generalization
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Errett Bishop: Reflections on him and his research
• THE PHILOSOPHICAL FOUNDATIONS OF ALTERNATIVE SET THEORY*
• Axiom of Choice and Complementation
• Internal set theory: A new approach to nonstandard analysis
• Developments in Constructive Nonstandard Analysis
• Minimal models of Heyting arithmetic
• Noncommutative geometry and reality
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Non-standard analysis
• Constructive nonstandard representations of generalized functions
• 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