Logo for the University of Illinois at Chicago
    • Login
    View Item 
    •   INDIGO Home
    • Liberal Arts and Sciences, College of
    • Mathematics, Statistics, and Computer Science, Department of
    • Publications - Mathematics, Statistics, and Computer Science
    • View Item
    •   INDIGO Home
    • Liberal Arts and Sciences, College of
    • Mathematics, Statistics, and Computer Science, Department of
    • Publications - Mathematics, Statistics, and Computer Science
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    The Amalgamation Spectrum

    Thumbnail
    View/Open
    Main Article (177.7Kb)
    Date
    2009-09
    Author
    Baldwin, John T.
    Kolesnikov, Alexei
    Shelah, Saharon
    Publisher
    Association for Symbolic Logic
    Metadata
    Show full item record
    Abstract
    We study when classes can have the disjoint amalgamation property for a proper initial segment of cardinals. Theorem A For every natural number k, there is a class Kk defined by a sentence in Lω₁,ω that has no models of cardinality greater than ℶk+1, but Kk has the disjoint amalgamation property on models of cardinality less than or equal to ℵk-3 and has models of cardinality ℵ{k}-1. More strongly, we can have disjoint amalgamation up to ℵα for α < ω₁, but have a bound on size of models. Theorem B For every countable ordinal α, there is a class Kα defined by a sentence in Lω₁,ω that has no models of cardinality greater than ℶω₁, but K does have the disjoint amalgamation property on models of cardinality less than or equal to ℵα. Finally we show that we can extend the ℵα to ℶα in the second theorem consistently with ZFC and while having ℵi≪ ℶi for 0< i≤ α. Similar results hold for arbitrary ordinals α with |α|=κ and Lκ⁺,ω. THEOREM A For every natural number k, there is a class K(k) defined by a sentence in L(omega vertical bar omega) that has no models of cardinality greater than superset of(k+1), but K(k) has the disjoint amalgamation property on models of cardinality less than or equal to N(k-3) and has models of cardinality N(k-1) More strongly. we can have disjoint amalgamation up to N(a) for alpha < omega(1), but have a bound oil size of models. THEOREM B For every countable ordinal alpha. there is it class K(alpha) defined by a sentence in L(omega 1 vertical bar omega) that has no models of cardinality greater than superset of(omega 1), but K does have the disjoint amalgamation property on models of cardinality less than or equal to N(alpha). Finally we show that we can extend the N(alpha) to superset of(alpha) in the second theorem consistently with ZFC and while having Ni << superset of(i) for 0 < i <= alpha. similar results hold for arbitrary ordinals alpha with vertical bar alpha vertical bar = kappa and L(kappa)+,(omega)
    Type
    Article
    Date available in INDIGO
    2013-11-12T20:52:28Z
    URI
    http://hdl.handle.net/10027/10461
    Collections
    • Publications - Mathematics, Statistics, and Computer Science

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us | Send Feedback | Privacy Statement
    Theme by 
    Atmire NV

    Browse

    All of INDIGOCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us | Send Feedback | Privacy Statement
    Theme by 
    Atmire NV