Abstract
It is known that, if we take a countable model of Zermelo–Fraenkel set theory ZFC and “undirect” the membership relation (that is, make a graph by joining x to y if either \(x\in y\) or \(y\in x\)), we obtain the Erdős–Rényi random graph. The crucial axiom in the proof of this is the Axiom of Foundation; so it is natural to wonder what happens if we delete this axiom, or replace it by an alternative (such as Aczel’s AntiFoundation Axiom). The resulting graph may fail to be simple; it may have loops (if \(x\in x\) for some x) or multiple edges (if \(x\in y\) and \(y\in x\) for some distinct x, y). We show that, in ZFA, if we keep the loops and ignore the multiple edges, we obtain the “random loopy graph” (which is \(\aleph _0\)categorical and homogeneous), but if we keep multiple edges, the resulting graph is not \(\aleph _0\)categorical, but has infinitely many 1types. Moreover, if we keep only loops and double edges and discard single edges, the resulting graph contains countably many connected components isomorphic to any given finite connected graph with loops.
1 Introduction
According to the downward Löwenheim–Skolem theorem [9, Corollary 3.1.4], if a firstorder theory in a countable language is consistent, then it has a countable model. In particular, Zermelo–Fraenkel set theory ZFC, if consistent, has a countable model. (This is the source of the Skolem paradox, since the existence of uncountable sets is a theorem of ZFC.) Indeed there are many different countable models, but they all have a common feature. To describe this, we briefly introduce the Erdős–Rényi random graph (sometimes referred to as Rado’s graph, for reasons we will see).
Erdős and Rényi [7] showed that there is a countable graph R such that, if a random graph X on a fixed countable vertex set is chosen by selecting edges independently with probability 1/2 (or, indeed, any fixed p with \(0<p<1\)), then X is isomorphic to R almost surely (that is, with probability 1). Moreover, R is highly symmetric; they showed that such a graph has infinitely many automorphisms, but in fact it is homogeneous: any isomorphism between finite induced subgraphs extends to an automorphism. Erdős and Rényi gave a nonconstructive existence proof, based on the following property, called the Alice’s Restaurant property, or ARP:
Given any two disjoint finite sets U and V of vertices, there is a vertex z joined to every vertex in U and no vertex in V.
In other terminology, R is the Fraïssé limit of the class of finite graphs. For further discussion of the graph R, including the theorem below, we refer to [5]; for Fraïssé’s theorem, see [9, Theorem 6.1.2].
A model of Zermelo–Fraenkel set theory ZF consists of a collection of objects called sets, and a binary relation \(\in \) on this collection. In other words, it is a directed graph. By “undirecting” this relation \(\in \), that is, defining an undirected graph in which x and y are adjacent if either \(x\in y\) or \(y\in x\), we obtain a simple graph. (At the end of this section, we state the Axiom of Foundation, one of the axioms of ZF, and show that it forbids directed cycles for the membership relation; in particular it forbids loops (\(x\in x\)) and double edges \((x\in y\in x\)) in the undirected graph.) We call this the membership graph of the model.
Theorem 1
The membership graph of a countable model of ZFC is isomorphic to the Erdős–Rényi random graph R.
Proof
We verify the ARP. Let U and V be finite disjoint sets of vertices. Take \(z=U\cup \{V\}\). (The existence of z is guaranteed by the Pairing and Union axioms.) If \(u\in U\), then \(u\in z\), so z is joined to u. Suppose, for a contradiction, that z is joined to a vertex \(v\in V\). There are two cases:

\(v\in z\). Since \(v\notin U\), we must have \(v=V\), so \(v\in v\), contradicting Foundation.

\(z\in v\). Then \(v\in V\in z\in v\), also contradicting Foundation.
\(\square \)
Remark
Observe that, in the proof, we use only the Empty Set axiom (asserting that sets exist), the axioms of Pairing and Union, and the Axiom of Foundation. The other axioms (Infinity, Selection, Choice, and so on) are not required.
In particular, there is a standard model of ZFC with the negation of the Axiom of Infinity, or hereditarily finite set theory HF. We take the sets to be the natural numbers, and represent a finite set \(\{a_1,\ldots ,a_n\}\) of natural numbers by \(b=2^{a_1}+\cdots +2^{a_n}\), so that, for \(a<b\), we have a joined to b if and only if the ath digit in the base 2 expansion of b is 1. The model of R given by undirecting this membership relation is precisely the graph constructed by Rado [10].
We are grateful to the referee for the observation that the argument also shows the following: if the Continuum Hypothesis holds, then the undirected membership relation on the hereditarily countable sets is a universal graph of cardinality \(\aleph _1\).
The Axiom of Foundation We state the Axiom of Foundation, and its role in forbidding directed cycles for the membership relation in models of ZF; see [4, 6] for more details.
The Axiom of Foundation states:
For every nonempty set x, there exists \(y\in x\) such that \(x\cap y=\emptyset \).
Suppose that there were a directed cycle \(x_0\in x_1\in \cdots \in x_{n1}\in x_0\). Let \(x=\{x_0,x_1,\ldots ,x_{n1}\}\). For any \(y\in x\), say \(y=x_i\), we have \(x_{i1}\in x\cap y\), contradicting the Axiom of Foundation.
In fact the axiom also forbids infinite descending chains for the membership relation, and is “equivalent” to this (but not by a firstorder implication since there is no firstorder formula forbidding such chains).
2 The AntiFoundation Axiom
Since the Axiom of Foundation is required for the proof of Theorem 1, what happens if we delete it, or replace it by an alternative? We consider this question when Foundation is replaced by Aczel’s AntiFoundation Axiom [1]. Following Barwise and Moss [3], we use this axiom in the form of the Solution Lemma [3, p.72], which we briefly discuss. Other formulations of the axiom exist, see for example [8], but this form suits our purpose.
Let X be a set of “indeterminates”, and A a set of sets called “atoms”. A flat system of equations is a set of equations of the form \(x=S_x\), where \(S_x\) is a subset of \(X\cup A\) for each \(x\in X\). A solution to the system is an assignment of sets to the indeterminates so that the equations become true.
For example, if \(A=\{a,b\}\) with a and b distinct, then
is a flat system of equations.
The AntiFoundation Axiom, or AFA, asserts that any flat system of equations has a unique solution. (In fact, the proofs we give here will not require such uniqueness, and so all the results hold for a weaker form of AntiFoundation.)
Note that the solution to the above system will satisfy \(x\in y\), \(y\in x\) and \(x\ne y\) so will correspond to a double edge in the membership graph. Similarly, the solution to \(x=\{x\}\) will give a loop in the graph.
The axioms system ZFA denotes ZFC with the Axiom of Foundation deleted and replaced by the axiom AFA. Our concern is with membership graphs of models of ZFA. We note in passing that, if ZFC is consistent then so is ZFA: see [3, Chapter 9].
Note that Barwise and Moss work in a set theory containing “urelements” which are not themselves sets; this makes no difference to our arguments.
3 Membership graphs of models of ZFA
The argument showing that the membership graph of a model of ZFC is a simple graph does depend on Foundation, as we saw. In ZFA, we have sets x with \(x\in x\), giving loops in the graph; and pairs x, y of distinct sets with \(x\in y\in x\), giving double edges.
The random loopy graph is obtained with probability 1 if we choose a graph on a countable vertex set by choosing edges (including loop edges) from pairs of not necessarily distinct vertices independently with probability 1/2. It is homogeneous, and is the Fraïssé limit of the class of finite loopy graphs. The relevant version of the Alice’s Restaurant property characterises it as the countable graph such that, for any two finite disjoint sets U and V of vertices, there are vertices \(z_1\) and \(z_2\), where \(z_1\) is loopless and \(z_2\) has a loop, each joined to all vertices in U and to none in V. The proof is very similar to the usual proof for the random graph, and we will not give it here.
Theorem 2
The membership graph of a countable model of ZFA, ignoring multiple edges but keeping loops, is isomorphic to the random loopy graph.
Proof
We begin with some preliminaries. In a model of a subset of ZF including at least Selection, there is no set whose members are all sets. For, if such a set S exists, then Selection would give Bertrand Russell’s set \(R=\{x\in S:x\notin x\}\), whose existence leads to a contraction on examining whether \(R\in R\) or not.
It follows that, if the Union axiom also holds, there is no set \(S'\) which contains all the pelement sets, for a fixed positive natural number p: for the union of \(S'\) would be S. In particular, if T is any set, then there is a set of cardinality p which is not a member of T.
Now let \(\Gamma \) be the membership graph of a countable model of ZFA, with loops but no double edges. We will show that \(\Gamma \) satisfies the loopy version of ARP. For this let \(\{u_1,\ldots ,u_m\}\) and \(\{v_1,\ldots ,v_n\}\) be disjoint sets, and let \(z_1 = \{x, u_1, \ldots , u_m \}\) and \(z_2 = \{z_2, x, u_1, \ldots , u_m\}\), where x is a vertex satisfying the following conditions:

x is not equal to any of the \(v_j\);

x is not contained in any of the \(v_j\) or the \(u_i\);

x is not contained in any of the sets contained in any of the \(v_j\).
Such an x exists, since otherwise the union of V, \(\bigcup U\), \(\bigcup V\), and \(\bigcup \bigcup V\) would contain every set, a contradiction.
Furthermore, we may assume that \(x=m+3\), since by our earlier remarks there is a set of this cardinality not a member of the “forbidden set” \(V\cup (\bigcup U)\cup (\bigcup V)\cup (\bigcup \bigcup V)\) above.
We remark that the existence of \(z_1\) follows simply from Pairing and Union; for \(z_2\), we invoke AntiFoundation, letting \(z_2\) be the unique solution of the equation
Both \(z_1\) and \(z_2\) are joined to all the vertices \(u_i\); and by construction, there is a loop on \(z_2\). We claim that there is no loop on \(z_1\). For such a loop would imply one of the following:

\(z_1=u_i\) for some i. Then we have \(x\in u_i\), contradicting our choice of x.

\(z_1=x\). But we chose x with \(x=m+3\), whereas \(z_1\le m+1\). (Note that in the same way we see that \(z_2\ne x\).)
Finally we have to show that \(z_1\) and \(z_2\) are not joined to any \(v_j\). We cannot have any \(v_j\) contained in \(z_1\) or \(z_2\); for the \(v_j\) are distinct from the \(u_i\) by hypothesis, not equal to x by choice of x, and not equal to \(z_2\) since if so then x would be a member of \(v_j\), again contrary to our choice of x. Also we cannot have \(z_1\) or \(z_2\in v_j\), since if so then x belongs to a member of \(v_j\), again contrary to our choice of x. \(\square \)
Remark
As in the case of ZFC, it is interesting to note which axioms are actually used in the proof. The Empty Set, Pairing and Union axioms are once again used; of course, the AntiFoundation Axiom is used; and as well, we use the Selection Axiom.
What happens if we keep the multiple edges? We cannot describe all graphs that can arise, but we note that there is no such graph which has the nice properties of \(\aleph _0\)categoricity and homogeneity which hold in the random and random loopy graphs. This will follow from the theorem of Engeler, RyllNardzewski and Svenonius (see [9, Theorem 6.3.1]), according to which a countable firstorder structure is \(\aleph _0\)categorical (that is, determined uniquely by its firstorder theory and the property of countability) if and only if its theory has only finitely many ntypes for all n. An ntype of a first order theory T is a set \(\Phi (\bar{x})\) of formulas with at most n free variables in the language of T such that \(T\cup \{\exists \bar{x}\wedge \phi \}\) is consistent for every finite subset \(\phi (\bar{x})\) of \(\Phi \). In a sense, an ntype describes how a set of up to n elements might behave in a model of T.
Theorem 3
The membership graph of a countable model of ZFA, keeping double edges, is not \(\aleph _0\)categorical.
Proof
Take a countable model of ZFA. Let \(a_n\) be distinct wellfounded sets for \(n\in \mathbb {N}\), for example, the natural numbers. For every natural number n, consider the equations
By AFA, these equations have a unique solution in the model. We have \(x_i\in y\) and \(y\in x_i\), so all the edges \(\{x_i,y\}\) are double. (These sets are all distinct, by extension.) There are no further double edges on y, since if \(\{y,z\}\) is a double edge then \(z\in y\) and so \(z=x_i\) for some i.
Thus, for every natural number n, there is a set lying on exactly n double edges. Since this property of the set is expressible in firstorder logic there are infinitely many 1types in the graph, and so the graph cannot be \(\aleph _0\)categorical, by the theorem of Engeler, RyllNardzewski and Svenonius.
Moreover, we can take the infinite set of equations
A solution to these equations will be a point lying on infinitely many double edges. \(\square \)
Another natural reduct is obtained by keeping only the double edges. The doubleedge graph of a model of ZFA has as vertices the sets and as edges all pairs \(\{x,y\}\) with \(x\in y\) and \(y\in x\) (allowing \(x=y\)). Thus, it includes loops and double edges but omits all “conventional” instances of the membership relation (where \(a\in b\) but \(b\notin a\)).
Theorem 4
Let D be the doubleedge graph of a countable model of ZFA. Then, for any finite connected loopy graph \(\Gamma \), D has infinitely many connected components isomorphic to \(\Gamma \). It also has at least one infinite component.
Proof
An example will illustrate the general proof. Let \(\Gamma \) be the 4cycle with edges \(\{v_0,v_1\}\), \(\{v_1,v_2\}\), \(\{v_2,v_3\}\) and \(\{v_3,v_0\}\), together with a loop at \(v_0\). Take any four wellfounded sets \(a_0,a_1, a_2,a_3\) (for example, the first four natural numbers), and consider the equations
The unique solution gives an induced subgraph isomorphic to \(\Gamma \). Note that there are no other double edges meeting these vertices: if, say, \(\{y_1,x\}\) were a double edge, then \(x\in y_1\), and so by Extensionality, \(x=a_1\) or \(x=y_0\) or \(x=y_2\); the first is impossible since \(y_1\notin a_1\) by assumption. So the given set is a connected component.
Since there are infinitely many possible choices of \(a_0,\ldots ,a_3\), there are infinitely many such connected components.
We saw earlier that there is a vertex with infinite valency; it lies in an infinite component of D. \(\square \)
This leaves a few questions which we have not been able to answer in this current work.

1.
Is it true that the firstorder theory of the membership graph of a countable model of ZFA has infinitely many countable models?

2.
Is it true that there are infinitely many nonisomorphic graphs which are membership graphs of countable models of ZFA?

3.
Can more be said about infinite connected components of the doubleedge graph?

4.
What about models of ZFA where the Axiom of Infinity is replaced with its negation?

5.
Is it true that, if two countable multigraphs are elementarily equivalent, and one is the membership graph of a model of ZFA, then so is the other?
However, in a sequel by AdamDay et al. [2] the first two questions are answered affirmatively and a characterisation of the connected components of doubleedge graphs is given, thus answering the third question. The analogue to Question 5 for doubleedge graphs is shown to be negative, and indeed it is shown that, for any doubleedge graph, there is an elementarily equivalent countable structure which is not itself a doubleedge graph.
References
Aczel, P.: NonWellfounded Sets. CSLI Publications, Stanford (1988)
AdamDay, B., Howe, J., Mennuni, R.: On doublemembership graphs of models of Anti Foundation. preprint. https://arxiv.org/abs/1908.02708 (2019)
Barwise, J., Moss, L.: Vicious Circles. CSLI Publications, Stanford (1996)
Cameron, P.J.: Sets, Logic and Categories. Springer, London (1999)
Cameron, P.J.: The random graph. In: Graham, R.L., Nešetřil, J., Butler, S. (eds.) The Mathematics of Paul Erdős, vol. II, 2nd edn, pp. 353–378. Springer, New York (2013)
Devlin, K.J.: The Joy of Sets: Foundations of Contemporary Set Theory, 2nd edn. Springer, New York (1991)
Erdős, P., Rényi, A.: Asymmetric graphs. Acta Math. Acad. Sci. Hungar. 14, 295–315 (1963)
Forti, M., Honsell, F.: Set theory with free construction principles. Annali della Scuola Normale Superiore di Pisa — Classe di Scienze 10, 493–522 (1983)
Hodges, W.A.: A Shorter Model Theory. Cambridge Univesity Press, Cambridge (1997)
Rado, R.: Universal graphs and universal functions. Acta Arith. 9, 331–340 (1964)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
AdamDay, B., Cameron, P.J. Undirecting membership in models of AntiFoundation. Aequat. Math. 95, 393–400 (2021). https://doi.org/10.1007/s0001002000763w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0001002000763w
Mathematics Subject Classification
 Primary 05C63
 Secondary 03E99
Keywords
 Erdős–Rényi random graph
 Zermelo–Fraenkel axioms
 AntiFoundation Axiom