Results 1 to 3 of 3

Math Help - Gamma

  1. #1
    Junior Member
    Joined
    Jan 2011
    Posts
    46

    Gamma

    if we have gamma_1 be the set of V_< -sentences that hold in every finite model of
    T_LO .Let gamma_2 be the set of sentences saying that there exist at least n elements for each n=1,2,3,... Let T_LOF denote the closure of gamma_1 (union) gamma_2 . Show that T_FLO is a theory.
    where T_LO denote the theory of linear orders
    Last edited by Mike12; March 26th 2011 at 03:12 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,513
    Thanks
    769
    What are the definitions of closure and theory? Also, since there are not many model theorists here, it would help if you could indicate the context, i.e., the topic or chapter this problem is coming from and any theorems that you suspect may be relevant. It may also be useful to know the level of the course (undergraduate, introductory, graduate for logic majors, etc.).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Jan 2011
    Posts
    46
    theory: For any V-structure M, the theory of M, denoted Th(M), is
    the set of all V-sentences ϕ such that M |= ϕ.
    closure:the closure of gamma is the set of sentences {ϕ| gamma |= ϕ.
    This |= means gamma models ϕ. where gamma is a set of sentences.
    Yes, it is undergraduate course. the chapter is chapter 5 in ( A first course in logic ) book. and It is Q 5.6 (a)
    the chapter is about first order theories
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] u_{xx}-u_{y}+\gamma u=f(x,y)
    Posted in the Differential Equations Forum
    Replies: 1
    Last Post: January 18th 2011, 04:16 AM
  2. Gamma - Gamma parameter estimation EM algorithm
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: July 24th 2010, 09:53 AM
  3. gamma
    Posted in the Advanced Statistics Forum
    Replies: 3
    Last Post: August 15th 2009, 05:02 PM
  4. gamma and e^(-x^2)
    Posted in the Calculus Forum
    Replies: 10
    Last Post: January 2nd 2009, 11:22 AM
  5. Replies: 0
    Last Post: March 30th 2008, 12:44 PM

Search Tags


/mathhelpforum @mathhelpforum