Continuous Fraisse Conjecture
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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.
18 pages, LaTeX2e
18 pages, LaTeX2e