To be or not to be constructive, that is not the question

DOI10.1016/j.indag.2017.05.005zbMath1437.03169arXiv1704.00462OpenAlexW3104200622MaRDI QIDQ1688964

Sam Sanders

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Nonstandard models in mathematics (03H05) Intuitionistic mathematics (03F55)

Related Items (5)

A footnote to ``The crisis in contemporary mathematics ⋮ A note on non-classical nonstandard arithmetic ⋮ Weyl and Intuitionistic Infinitesimals ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ The strength of compactness in computability theory and nonstandard analysis

Cites Work

• Computation of the kernels of Lévy functionals and applications
• A nonstandard counterpart of WWKL
• A functional interpretation for nonstandard arithmetic
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• Techniques of constructive analysis
• Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
• Nonstandard analysis and constructivism?
• Recursion on the countable functionals
• Constructivism in mathematics. An introduction. Volume II
• The crisis in contemporary mathematics
• A sheaf-theoretic foundation for nonstandard analysis
• Refining the taming of the reverse mathematics zoo
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• Uniform Heyting arithmetic
• Nonstandard functional interpretations and categorical models
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• The strength of countable saturation
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Measure theory and weak König's lemma
• Commuting and Noncommuting Infinitesimals
• Nonstandard Analysis for the Working Mathematician
• From Nonstandard Analysis to Various Flavours of Computability Theory
• L.E.J. Brouwer – Topologist, Intuitionist, Philosopher
• Axiom of Choice in nonstandard set theory
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Higher-Order Computability
• Axiom of Choice and Complementation
• Axiomatic foundations for Nonstandard Analysis
• Internal set theory: A new approach to nonstandard analysis
• Developments in Constructive Nonstandard Analysis
• Lebesgue Convergence Theorems and Reverse Mathematics
• How connected is the intuitionistic continuum?
• Minimal models of Heyting arithmetic
• Located sets and reverse mathematics
• The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis
• Arguments for the Continuity Principle
• THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
• Five stages of accepting constructive mathematics
• Malliavin Calculus for Lévy Processes and Infinite-Dimensional Brownian Motion
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Representations of Reals in Reverse Mathematics
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• On uniform weak König's lemma
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: To be or not to be constructive, that is not the question