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)

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

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)