Results 1 to 2 of 2

Math Help - categirical

  1. #1
    Junior Member
    Joined
    Jan 2011
    Posts
    46

    categirical

    let V_p be the vocabulary consisting of a single unary relation P . Let T be a complete V_p -theory having infinite models. how can I show that T is No-categorical.
    No means aleph.
    I need your help please.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4
    This is in a language with identity?

    Suppose M is a model of T and Q is a model of T.

    Let UM and UQ be the respective universes.

    M maps P to some subset, call it M*, of UM; and N maps P to some subset, call it Q* of UQ.

    If UM is finite, then, by completeness, there is a theorem of T that specifes the exact finite cardinality, call it n, of M*, which, by completeness, is the exact finite cardinality of Q*.

    Now, from the given bijection between UM and UQ, and by induction on n, show that there is an isomorphism between M and Q.

    Otherwise, UM is denumerable. Here, if I'm not mistaken, from the given bijection between UM and UQ, you can still construct an isomorphism between M and Q, by using strong recursion on UM (i.e., you might as well consider UM to be the set of natural numbers). You might have to do some "gluing" of functions together, but I think it will work.
    Follow Math Help Forum on Facebook and Google+

Search Tags


/mathhelpforum @mathhelpforum