The computational content of nonstandard analysis

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1606.06386, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC16.3

Foundations of classical theories (including reverse mathematics) (03B30) Higher-type and set recursion theory (03D65) Nonclassical and second-order set theories (03E70) Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05)

Recommendations

The unreasonable effectiveness of nonstandard analysis
New Computational Paradigms
From nonstandard analysis to various flavours of computability theory
scientific article; zbMATH DE number 2174396
On the computational content of the Bolzano-Weierstraß Principle

Cites work

A functional interpretation for nonstandard arithmetic
A non-standard construction of Haar measure and weak König's lemma
A nonstandard counterpart of WWKL
A nonstandard proof of a lemma from constructive measure theory
A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Comparing DNR and WWKL
Computability theory, nonstandard analysis, and their connections
Computation of the kernels of Lévy functionals and applications
Deduction-preserving “recursive isomorphisms” between theories
End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
Formalizing non-standard arguments in second-order arithmetic
Higher-order computability
scientific article; zbMATH DE number 3933369 (Why is no real title available?)
scientific article; zbMATH DE number 3978014 (Why is no real title available?)
scientific article; zbMATH DE number 4070894 (Why is no real title available?)
scientific article; zbMATH DE number 3655922 (Why is no real title available?)
scientific article; zbMATH DE number 3525429 (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 1870414 (Why is no real title available?)
scientific article; zbMATH DE number 2236640 (Why is no real title available?)
Internal set theory: A new approach to nonstandard analysis
Lebesgue Convergence Theorems and Reverse Mathematics
Located sets and reverse mathematics
Malliavin calculus for Lévy processes and infinite-dimensional Brownian motion. An introduction
Measure theory and weak König's lemma
Meeting of the Association for Symbolic Logic, Chicago 1975
Modified bar recursion
Non-standard analysis
Non-standard analysis in ACA0 and Riemann mapping theorem
Nonstandard analysis for the working mathematician
Nonstandard second-order arithmetic and Riemann's mapping theorem
Non‐standard Analysis in WKL₀
Open questions in reverse mathematics
Recursion on the countable functionals
Relatively standard elements in Nelson's internal set theory
Subsystems of second order arithmetic
System T and the product of selection functions
The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
Uniform versions of some axioms of second order arithmetic

Cited in

(7)

From nonstandard analysis to various flavours of computability theory
The Gandy-Hyland functional and a computational aspect of nonstandard analysis
scientific article; zbMATH DE number 2174396 (Why is no real title available?)
Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis
A Nonstandard Functional Programming Language
The unreasonable effectiveness of nonstandard analysis
On the Herbrand functional interpretation

This page was built for publication: The computational content of nonstandard analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015363)