Continuous Fraisse Conjecture
Logic
2007-05-23 v1
Abstract
We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an extension of Laver's 1971 result, who considered (plain) embeddability, which yields coarser equivalence classes. Using this result we show that there are only countably many different Godel logics.
Cite
@article{arxiv.math/0411117,
title = {Continuous Fraisse Conjecture},
author = {Arnold Beckmann and Martin Goldstern and Norbert Preining},
journal= {arXiv preprint arXiv:math/0411117},
year = {2007}
}
Comments
18 pages, LaTeX2e