Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Model theory basic definitions

  1. Sep 19, 2010 #1

    ibc

    User Avatar

    Hey
    I've been reading the basic definitions for model theory, and got a bit confused, maybe someone can help me?

    That's how I understood the definitions:
    An m-Type in a model M is a set of formulas (with m variables), such that it is finitely satisfiable
    An m-Type over A in M is a set of formulas (with m variables) in the language that includes personal constants for all the terms in A, such that it is finitely satisfiable

    M is [tex]\lambda[/tex]-compact if any type in M with cardinality smaller than [tex]\lambda[/tex] is fulfilled in M.
    M is [tex]\lambda[/tex]-saturated if any type over A in M, such that the cardinality of A is smaller than [tex]\lambda[/tex] is fulfilled in M.

    So the way it seems: a structure which is 0-saturated is [tex]\lambda[/tex]-compact for all [tex]\lambda[/tex]?

    Is there something wrong with my conclusion?
    Is there something wrong with the definitions?

    Thanks
     
  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted



Similar Discussions: Model theory basic definitions
Loading...