# Is there a model exists, such that homomorphic to the set of real numbers but the order is given by $\in$?

The question is motivated by the construction of a natural number system, where its order is given by $$\in$$, so is there any analogous exists for the set of real numbers?

It seems impossible for me since the cardinality of the set of real numbers is $$2^{\aleph_0}$$, but I am not really sure about this. To make a question precise, is there any model (with some order) $$\mathcal{M}$$ such that $$\mathcal{M}\models T$$ where $$T$$ is the theory of real numbers, and the order on $$\mathcal{M}$$ is given by $$\in$$?

Sorry if I am writing with ignorance with mathematical logic, I know very little about the topic.

• "Set inclusion" refers to $\subseteq$ not $\in$. Dec 14, 2020 at 14:11
• @AsafKaragila Yeah I wasn't sure about that. Dec 14, 2020 at 18:26

The axiom of foundation tells us that $$\in$$ is a well-founded relation, i.e., there are no infinite descending $$\in$$-chains in the universe of sets. Since $$\mathbb{R}$$ (and any model of the theory of $$\mathbb{R}$$) contains infinite descending $$<$$-chains, this gives a negative answer to your question. More precisely: if a set $$M$$ is linearly ordered by $$\in$$, then $$(M,\in)$$ is a well-order. In particular, it is order isomorphic to some ordinal.
On the other hand, if we drop the axiom of foundation from ZFC, it is consistent that there is a set $$M$$ which is linearly ordered by $$\in$$ and order isomorphic to $$(\mathbb{R},<)$$. Aczel's anti-foundation axiom (which is relatively consistent with ZFC without foundation) asserts roughly that the membership relation on the transitive closure of some set can look like any directed graph. We can apply this to the directed graph $$(\mathbb{R},<)$$, thinking of the instances of the order relation $$<$$ as directed edges between real numbers.