Results 1 to 3 of 3

Math Help - first order formulas

  1. #1
    Newbie
    Joined
    Nov 2005
    Posts
    3

    Question first order formulas

    I am trying to do exercise n.6 on page 229 of "A Course in Universal Algebra" by S.Burris & H.P.Sankappanavar:

    "Show that 'being of infinite size' is a first-order property (relative to any K)".

    I understand that there must be a first order formula expressing 'being of infinite size', but I do not know how to find it.

    Would anybody help me ?

    Thank you very much

    Am I right if I say:

    if
    s(x) means successor of x

    then (see attachment)
    Attached Files Attached Files
    • File Type: doc x.doc (19.0 KB, 49 views)
    Last edited by Mauroit; January 9th 2006 at 01:08 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Could you explain your question better, I might be able to help because I do know abstract algebra.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2005
    Posts
    3
    please see the attachment
    Attached Files Attached Files
    Last edited by Mauroit; January 15th 2006 at 12:46 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Re-writing higher order spatial derivatives as lower order system
    Posted in the Differential Equations Forum
    Replies: 11
    Last Post: July 27th 2010, 08:56 AM
  2. Replies: 1
    Last Post: October 27th 2009, 04:03 AM
  3. Replies: 2
    Last Post: February 23rd 2009, 05:54 AM
  4. Replies: 2
    Last Post: November 25th 2008, 09:29 PM
  5. Using sin,cos,tan formulas.
    Posted in the Trigonometry Forum
    Replies: 2
    Last Post: March 15th 2007, 02:03 PM

Search Tags


/mathhelpforum @mathhelpforum