O CORPO ORDENADO COMPLETO DOS NÚMEROS REAIS
Neste trabalho são apresentados os resultados de um estudo envolvendo a formalização do conjunto dos números reais como um corpo ordenado completo, que foi motivado pela ausência dessa formalização em alguns livros clássicos de Análise Real.
O CORPO ORDENADO COMPLETO DOS NÚMEROS REAIS
DOI: 10.22533/at.ed.97122200610
Palavras-chave: números reais; Análise Real; cortes de Dedekind
Keywords: real numbers; real analysis; Dedekind cuts
Abstract:
This work presents the results of a study involving the formalization of the set of real numbers as a complete ordered field, which was motivated by the absence of this formalization in some classical textbooks
Número de páginas: 6
- Juliana Hazt
- Ceni Rafaele da Cruz
- Marlon Soares
