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 : Thursday, October 17, 2019 - 12:36:59 PM


  • 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