13 research outputs found
Non-trivial automorphisms of P ( N ) / [ N ] < ℵ 0 from variants of small dominating number
Extending partial isomorphisms for the small index property of many ω-categorical structures
Continuous Fraïssé Conjecture
We investigate the relation of countable closed linear orderings with respect to continuous monotone embeddability and show that there are exactly ℵ_1 many equivalence classes with respect to this embeddability relation. This is an extension of Laver's result, who considered (plain) embeddability, which yields coarser equivalence classes. Using this result we show that there are only ℵ_0 many different Gödel logics