Long reals

MaRDI QIDQ4638258zbMATH OpenFDO

Authors David Asperó, Konstantinos Tsaprounis

Publication date 4 May 2018

Full work available at URL http://logicandanalysis.org/index.php/jla/article/download/302/125

zbMATH Keywords

descrip tive set theoryforcingHessenberg operationsordered fieldsreal numbers

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Descriptive set theory (03E15) Ordered fields (12J15) Nonstandard arithmetic and field theory (12L15) Connections between field theory and logic (12L99)

Recommendations

• A candidate for the generalised real line
• scientific article; zbMATH DE number 4012709
• Real numbers and other completions
• A method of constructing the field of real numbers in AST
• Construction of the system of real numbers

Cited in

(4)

• A candidate for the generalised real line
• Intermediate arithmetic operations on ordinal numbers
• On Carruth's axioms for natural sums and products
• Generalized Polish spaces at regular uncountable cardinals

This page was built for publication: Long reals

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