A Local-Global Principle for the Real Continuum

DOI10.1007/978-3-319-98797-2_11zbMath1439.26014OpenAlexW2897446971MaRDI QIDQ3305343

José Carlos Magossi, Olivier Rioul

Publication date: 6 August 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://hal.telecom-paris.fr/hal-02300760/file/Studia_Logica_2018revised_vff.pdf

zbMATH Keywords

real analysislocal-global principleclassical mean value theoremcompleteness axiomssubtractive properties

Mathematics Subject Classification ID

Foundations: limits and generalizations, elementary topology of the line (26A03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A unifying principle in real analysis
• Generalized ordinary differential equations and continuous dependence on a parameter
• Mathematical Induction in Sets
• Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus
• The Use of Tagged Partitions in Elementary Real Analysis
• The Instructor’s Guide to Real Induction
• Two Extended Bolzano-Weierstrass Theorems
• Interval Induction
• On Being Mean to the Mean Value Theorem
• On Avoiding the Mean Value Theorem
• A Creeping Lemma

This page was built for publication: A Local-Global Principle for the Real Continuum