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 concept can help establish better pedagogical approaches for teaching classical analysis.
Document type :
Book sections
Complete list of metadata
https://hal.telecom-paris.fr/hal-02300760
Contributor : Olivier Rioul Connect in order to contact the contributor
Submitted on : Friday, August 20, 2021 - 3:38:25 PM
Last modification on : Wednesday, November 3, 2021 - 6:23:15 AM
Long-term archiving on: : Sunday, November 21, 2021 - 8:51:35 PM

File

Vignette du document
Studia_Logica_2018revised_vff....
Files produced by the author(s)

Identifiers

Collections

INSTITUT-TELECOM | COMNUM | COMELEC | LTCI | TDS-MACS | PARISTECH | INSMI

Citation

Olivier Rioul, José Carlos Magossi. A local-global principle for the real continuum. Walter Carnielli; Jacek Malinowski. Contradictions, from Consistency to Inconsistency, 47, Springer, pp.213-240, 2018, Trends in Logic, 978-3-030-07534-7. ⟨10.1007/978-3-319-98797-2_11⟩. ⟨hal-02300760⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles