Construction of the system of real numbers

MaRDI QIDQ2834261zbMATH OpenFDO

Authors Frigyes Gecse

Publication date 25 November 2016

Published in Matematikai Lapok. (New Series) (Search for Journal in Brave)

zbMATH Keywords

real numbersDedekind separation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• scientific article; zbMATH DE number 4012709
• A new construction of the real numbers by alternating series
• Survey article: The real numbers -- a survey of constructions
• The reals as rational Cauchy filters
• scientific article; zbMATH DE number 1338154

Cited in

(14)

• A natural construction for the real numbers
• The effective reals of Schanuel
• scientific article; zbMATH DE number 4012709 (Why is no real title available?)
• Long reals
• A model of the real number set
• Which numbers are real?
• Summary of the theory of real numbers with a deductive method
• scientific article; zbMATH DE number 1863376 (Why is no real title available?)
• The fabulous destiny of Richard Dedekind
• Survey article: The real numbers -- a survey of constructions
• The reals as rational Cauchy filters
• A new set theory for analysis
• Constructing the real numbers in HOL
• scientific article; zbMATH DE number 722168 (Why is no real title available?)

This page was built for publication: Construction of the system of real numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2834261)