2,940 research outputs found
The random graph
Erd\H{o}s and R\'{e}nyi showed the paradoxical result that there is a unique
(and highly symmetric) countably infinite random graph. This graph, and its
automorphism group, form the subject of the present survey.Comment: Revised chapter for new edition of book "The Mathematics of Paul
Erd\H{o}s
Every countable model of set theory embeds into its own constructible universe
The main theorem of this article is that every countable model of set theory
M, including every well-founded model, is isomorphic to a submodel of its own
constructible universe. In other words, there is an embedding that
is elementary for quantifier-free assertions. The proof uses universal digraph
combinatorics, including an acyclic version of the countable random digraph,
which I call the countable random Q-graded digraph, and higher analogues
arising as uncountable Fraisse limits, leading to the hypnagogic digraph, a
set-homogeneous, class-universal, surreal-numbers-graded acyclic class digraph,
closely connected with the surreal numbers. The proof shows that contains
a submodel that is a universal acyclic digraph of rank . The method of
proof also establishes that the countable models of set theory are linearly
pre-ordered by embeddability: for any two countable models of set theory, one
of them is isomorphic to a submodel of the other. Indeed, they are
pre-well-ordered by embedability in order-type exactly .
Specifically, the countable well-founded models are ordered by embeddability in
accordance with the heights of their ordinals; every shorter model embeds into
every taller model; every model of set theory is universal for all
countable well-founded binary relations of rank at most ; and every
ill-founded model of set theory is universal for all countable acyclic binary
relations. Finally, strengthening a classical theorem of Ressayre, the same
proof method shows that if is any nonstandard model of PA, then every
countable model of set theory---in particular, every model of ZFC---is
isomorphic to a submodel of the hereditarily finite sets of . Indeed,
is universal for all countable acyclic binary relations.Comment: 25 pages, 2 figures. Questions and commentary can be made at
http://jdh.hamkins.org/every-model-embeds-into-own-constructible-universe.
(v2 adds a reference and makes minor corrections) (v3 includes further
changes, and removes the previous theorem 15, which was incorrect.
On Quasiminimal Excellent Classes
A careful exposition of Zilber's quasiminimal excellent classes and their
categoricity is given, leading to two new results: the L_w1,w(Q)-definability
assumption may be dropped, and each class is determined by its model of
dimension aleph_0.Comment: 16 pages. v3: correction to the statement of corollary 5.
- β¦