Skip to Main content Skip to Navigation
Book sections

A local-global principle for the real continuum

Abstract : We discuss the implications of a local-global (or global-limit) principle for proving the basic theorems of real analysis. The aim is to improve the set of available tools in real analysis, where the local-global principle is used as a unifying principle from which the other completeness axioms and several classical theorems are proved in a fairly direct way. As a consequence, the study of the local-global con- cept can help establish better pedagogical approaches for teaching classical analysis.
Complete list of metadatas
Contributor : Olivier Rioul <>
Submitted on : Sunday, September 29, 2019 - 6:29:34 PM
Last modification on : Friday, July 31, 2020 - 11:28:03 AM


  • HAL Id : hal-02300760, version 1


Olivier Rioul, José Carlos Magossi. A local-global principle for the real continuum. W. Carnielli and J. Malinowski. Contradictions, from Consistency to Inconsistency, 47, Springer, pp.213-240, 2018, Trends in Logic. ⟨hal-02300760⟩



Record views