A Local-Global Principle for the Real Continuum

DOI10.1007/978-3-319-98797-2_11MaRDI QIDQ3305343zbMATH OpenOpenAlexFDO

Authors Olivier Rioul, José Carlos Magossi

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

classical mean value theoremcompleteness axiomslocal-global principlereal analysissubtractive properties

Mathematics Subject Classification ID

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

Recommendations

• On real local-global principles
• On local relative continuity
• A uniform view of localic realcompactness
• A local notion of absolute continuity in \(\mathbb R^n\)
• scientific article; zbMATH DE number 3935596
• Localic real functions: A general setting
• scientific article; zbMATH DE number 5066357
• scientific article; zbMATH DE number 4105338
• scientific article; zbMATH DE number 247047
• On Rumely's local-global principle

Cites work

• A Creeping Lemma
• A unifying principle in real analysis
• Generalized ordinary differential equations and continuous dependence on a parameter
• scientific article; zbMATH DE number 3163006 (Why is no real title available?)
• scientific article; zbMATH DE number 3961557 (Why is no real title available?)
• scientific article; zbMATH DE number 3484309 (Why is no real title available?)
• scientific article; zbMATH DE number 646228 (Why is no real title available?)
• scientific article; zbMATH DE number 3804205 (Why is no real title available?)
• scientific article; zbMATH DE number 5269389 (Why is no real title available?)
• scientific article; zbMATH DE number 3222145 (Why is no real title available?)
• scientific article; zbMATH DE number 3247316 (Why is no real title available?)
• scientific article; zbMATH DE number 3082712 (Why is no real title available?)
• Interval Induction
• Mathematical Induction in Sets
• On Avoiding the Mean Value Theorem
• On Being Mean to the Mean Value Theorem
• The instructor's guide to real induction
• The Use of Tagged Partitions in Elementary Real Analysis
• Two Extended Bolzano-Weierstrass Theorems
• Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus

Cited in

(3)

• A note on the improvement of the education for (expected) teachers
• scientific article; zbMATH DE number 4038124 (Why is no real title available?)
• A local notion of absolute continuity in \(\mathbb R^n\)

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

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