scientific article; zbMATH DE number 7440186

zbMath1486.03128arXiv1606.06386MaRDI QIDQ5015363

Sam Sanders

Publication date: 7 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (2)

A Nonstandard Functional Programming Language ⋮ On the Herbrand functional interpretation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation of the kernels of Lévy functionals and applications
• Nonstandard second-order arithmetic and Riemann's mapping theorem
• A nonstandard counterpart of WWKL
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• A functional interpretation for nonstandard arithmetic
• Relatively standard elements in Nelson's internal set theory
• Recursion on the countable functionals
• Measure theory and weak König's lemma
• System T and the Product of Selection Functions
• Nonstandard Analysis for the Working Mathematician
• Formalizing non-standard arguments in second-order arithmetic
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• A nonstandard proof of a lemma from constructive measure theory
• Non-standard analysis in ACA0 and Riemann mapping theorem
• Higher-Order Computability
• Meeting of the Association for Symbolic Logic, Chicago 1975
• End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
• Internal set theory: A new approach to nonstandard analysis
• Lebesgue Convergence Theorems and Reverse Mathematics
• Non‐standard Analysis in WKL₀
• Located sets and reverse mathematics
• A non-standard construction of Haar measure and weak König's lemma
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation
• Comparing DNR and WWKL
• A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES
• Malliavin Calculus for Lévy Processes and Infinite-Dimensional Brownian Motion
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Modified bar recursion
• Deduction-preserving “recursive isomorphisms” between theories
• Non-standard analysis

This page was built for publication: