scientific article; zbMATH DE number 7440186
From MaRDI portal
Publication:5015363
zbMath1486.03128arXiv1606.06386MaRDI QIDQ5015363
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.
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)
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 WKL0
- 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: