Relativization of Real Numbers to a Universe

DOI10.1007/978-1-4020-8926-8_9zbMath1167.03039OpenAlexW2113859914MaRDI QIDQ3613305

Hajime Ishihara

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_9

zbMATH Keywords

function algebrasconstructive real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items (1)

The binary expansion and the intermediate value theorem in constructive reverse mathematics

This page was built for publication: Relativization of Real Numbers to a Universe