Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.07508 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910259716554752 |
|---|---|
| author | Sinai, Roee |
| author_facet | Sinai, Roee |
| contents | In this paper we present new ways to construct external subsets of nonstandard models of arithmetic using mostly internal sets, and show that if an ultraproduct of prime finite fields includes a copy of the algebraic real numbers then either this copy or its algebraic closure can be constructed in some of these ways. We also show that no copy of the field of real numbers inside such an ultraproduct can ever be constructed in any of these ways, but there is either a hyperreal field or an algebraically closed field of cardinality larger or equal to the continuum that can be. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_07508 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The reals as a subset of an ultraproduct of finite fields Sinai, Roee Logic In this paper we present new ways to construct external subsets of nonstandard models of arithmetic using mostly internal sets, and show that if an ultraproduct of prime finite fields includes a copy of the algebraic real numbers then either this copy or its algebraic closure can be constructed in some of these ways. We also show that no copy of the field of real numbers inside such an ultraproduct can ever be constructed in any of these ways, but there is either a hyperreal field or an algebraically closed field of cardinality larger or equal to the continuum that can be. |
| title | The reals as a subset of an ultraproduct of finite fields |
| topic | Logic |
| url | https://arxiv.org/abs/2603.07508 |