The abstract type of the real numbers
DOI10.1007/S00153-021-00772-9zbMATH Open1486.03098OpenAlexW3158176959MaRDI QIDQ2238151FDOQ2238151
Authors: Yanyan Li 
Publication date: 29 October 2021
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-021-00772-9
Recommendations
Foundations of classical theories (including reverse mathematics) (03B30) Continua and generalizations (54F15) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25) Functionals in proof theory (03F10)
Cites Work
- Title not available (Why is that?)
- Some logical metatheorems with applications in functional analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- General logical metatheorems for functional analysis
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Title not available (Why is that?)
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Nicht konstruktiv beweisbare Sätze der Analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Bounded functional interpretation
- Injecting uniformities into Peano arithmetic
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
- On the removal of weak compactness arguments in proof mining
- Title not available (Why is that?)
- Spector’s Proof of the Consistency of Analysis
Cited In (2)
This page was built for publication: The abstract type of the real numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2238151)
