A Candidate for the Generalised Real Line

DOI10.1007/978-3-319-40189-8_28zbMath1476.03065OpenAlexW2495654950MaRDI QIDQ3188265

Lorenzo Galeotti

Publication date: 17 August 2016

Published in: Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40189-8_28

Mathematics Subject Classification ID

Descriptive set theory (03E15) Computation over the reals, computable analysis (03D78)

Related Items (1)

Towards computable analysis on the generalised real line

Cites Work

• Dedekind cuts of Archimedean complete ordered abelian groups
• Fields of surreal numbers and exponentiation
• Generalized Descriptive Set Theory and Classification Theory
• Surreal Analysis: An Analogue of Real Analysis for Surreal Numbers
• Effective Choice and Boundedness Principles in Computable Analysis
• Turing Computations On Ordinals
• Real numbers, generalizations of the reals, and theories of continua
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Candidate for the Generalised Real Line