Topological models of arithmetic

DOI10.4064/FM928-1-2021MaRDI QIDQ5029029zbMATH OpenOpenAlexFDO

Authors Ali Enayat, Joel David Hamkins, Bartosz Wcisło

Publication date 11 February 2022

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.01270

zbMATH Keywords

continuous models of arithmeticfinal-digits order

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Continuous model theory, model theory of metric structures (03C66)

Abstract: Ali Enayat had asked whether there is a nonstandard model of Peano arithmetic (PA) that can be represented as $langlemathbbQ,oplus,otimesangle$, where $oplus$ and $otimes$ are continuous functions on the rationals $mathbbQ$. We prove, affirmatively, that indeed every countable model of PA has such a continuous presentation on the rationals. More generally, we investigate the topological spaces that arise as such topological models of arithmetic. The reals $mathbbR$, the reals in any finite dimension $mathbb{R}^n$, the long line and the Cantor space do not, and neither does any Suslin line; many other spaces do; the status of the Baire space is open.

Recommendations

• Sequences in countable nonstandard models of the natural numbers
• scientific article; zbMATH DE number 2208069
• The arithmetic of cuts in models of arithmetic
• Generic cuts in models of arithmetic
• Enayat models of Peano arithmetic

Cites work

• scientific article; zbMATH DE number 3809544 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 3445243 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• The Axiom of Choice, the Löwenheim-Skolem Theorem and Borel models

Cited in

(5)

• On the topology of an arithmetic plane
• scientific article; zbMATH DE number 5695342 (Why is no real title available?)
• Sequences in countable nonstandard models of the natural numbers
• Some purely topological models for intuitionistic analysis
• Arithmetic universes and classifying toposes

This page was built for publication: Topological models of arithmetic

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