← back to paper
arxiv: 2603.07508 · 2 revisions
The reals as a subset of an ultraproduct of finite fields