Skip to Main content Skip to Navigation
Book sections

A local-global principle for the real continuum

Olivier Rioul 1, 2 José Carlos Magossi 3
1 COMNUM - Communications Numériques
LTCI - Laboratoire Traitement et Communication de l'Information
2 COMELEC - Département Communications & Electronique
3 UNICAMP - Institute of Computing [Campinas]
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.
Document type :
Book sections
Complete list of metadatas
https://hal.telecom-paris.fr/hal-02300760
Contributor : Olivier Rioul <>
Submitted on : Sunday, September 29, 2019 - 6:29:34 PM
Last modification on : Friday, July 31, 2020 - 11:28:03 AM

Identifiers

  • HAL Id : hal-02300760, version 1

Collections

INSMI | LTCI | PARISTECH | INSTITUT-TELECOM | COMELEC | COMNUM | UNIV-PARIS-SACLAY | TDS-MACS

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

68