701 research outputs found
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.
Algorithmic aspects of branched coverings
This is the announcement, and the long summary, of a series of articles on
the algorithmic study of Thurston maps. We describe branched coverings of the
sphere in terms of group-theoretical objects called bisets, and develop a
theory of decompositions of bisets.
We introduce a canonical "Levy" decomposition of an arbitrary Thurston map
into homeomorphisms, metrically-expanding maps and maps doubly covered by torus
endomorphisms. The homeomorphisms decompose themselves into finite-order and
pseudo-Anosov maps, and the expanding maps decompose themselves into rational
maps.
As an outcome, we prove that it is decidable when two Thurston maps are
equivalent. We also show that the decompositions above are computable, both in
theory and in practice.Comment: 60-page announcement of 5-part text, to apper in Ann. Fac. Sci.
Toulouse. Minor typos corrected, and major rewrite of section 7.8, which was
studying a different map than claime
Universal Communication, Universal Graphs, and Graph Labeling
We introduce a communication model called universal SMP, in which Alice and Bob receive a function f belonging to a family ?, and inputs x and y. Alice and Bob use shared randomness to send a message to a third party who cannot see f, x, y, or the shared randomness, and must decide f(x,y). Our main application of universal SMP is to relate communication complexity to graph labeling, where the goal is to give a short label to each vertex in a graph, so that adjacency or other functions of two vertices x and y can be determined from the labels ?(x), ?(y). We give a universal SMP protocol using O(k^2) bits of communication for deciding whether two vertices have distance at most k in distributive lattices (generalizing the k-Hamming Distance problem in communication complexity), and explain how this implies a O(k^2 log n) labeling scheme for deciding dist(x,y) ? k on distributive lattices with size n; in contrast, we show that a universal SMP protocol for determining dist(x,y) ? 2 in modular lattices (a superset of distributive lattices) has super-constant ?(n^{1/4}) communication cost. On the other hand, we demonstrate that many graph families known to have efficient adjacency labeling schemes, such as trees, low-arboricity graphs, and planar graphs, admit constant-cost communication protocols for adjacency. Trees also have an O(k) protocol for deciding dist(x,y) ? k and planar graphs have an O(1) protocol for dist(x,y) ? 2, which implies a new O(log n) labeling scheme for the same problem on planar graphs
- âŠ