Papers
arxiv:2501.03131

Partitions of R^3 into unit circles with no well-ordering of the reals

Published on Jan 6, 2025
Authors:

Abstract

Using a well-ordering on the reals, one can prove there exists a partition of the three-dimensional Euclidean space into unit circles (PUC). We show that the converse does not hold: there exist models of ZF without a well-ordering of the reals in which such partition exists. Specifically, we prove that the Cohen model has a PUC and construct a model satisfying DC where this is also the case. Furthermore, we present a general framework for constructing similar models for other paradoxical sets, under some conditions of extendability and amalgamation.

Community

Sign up or log in to comment

Get this paper in your agent:

hf papers read 2501.03131
Don't have the latest CLI?
curl -LsSf https://hf.co/cli/install.sh | bash

Models citing this paper 0

No model linking this paper

Cite arxiv.org/abs/2501.03131 in a model README.md to link it from this page.

Datasets citing this paper 0

No dataset linking this paper

Cite arxiv.org/abs/2501.03131 in a dataset README.md to link it from this page.

Spaces citing this paper 0

No Space linking this paper

Cite arxiv.org/abs/2501.03131 in a Space README.md to link it from this page.

Collections including this paper 0

No Collection including this paper

Add this paper to a collection to link it from this page.