Results 1 to 2 of 2
Like Tree1Thanks
  • 1 Post By tom@ballooncalculus

Math Help - Looking for an (alternative?) set theory for urelements and relations between them

  1. #1
    Newbie
    Joined
    Jan 2013
    From
    Saint Louis, Missouri
    Posts
    2

    Looking for an (alternative?) set theory for urelements and relations between them

    I'm looking for a development of (alternate?) set theory to model a space that contains an infinite number of points (urelements) and their properties. Instead of treating subsets as objects, I wish to treat them as properties. Hence, 1) a collection can only contain urelements, 2) the power set of a given collection defines all possible properties of the collection. I'm interested in the minimal axioms required and what can be worked out from there. My skill at set theory is not yet advanced enough for me to do this independenly nor do I wish to replicate previous work. Any references or ideas for how to proceed would be greatly appreciated.

    As an example: Urelements a, b, c. Possible Properties: {}, {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c}. This essentially "turns around" the principle of abstraction by defining a property by enumerating all elements that have that property. Then {a} becomes something like "being a", {a,b,c} becomes "exists as an object", ...
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2008
    Posts
    1,034
    Thanks
    49

    Re: Looking for an (alternative?) set theory for urelements and relations between the

    Thanks from sandte
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. How does Zermelo Frankel theory avoid Urelements?
    Posted in the Advanced Math Topics Forum
    Replies: 4
    Last Post: January 7th 2013, 02:14 PM
  2. Relations theory, reflexive, transitive, symmetric
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: December 1st 2012, 04:49 AM
  3. Set Theory - Partitions and Equivalence Relations
    Posted in the Discrete Math Forum
    Replies: 6
    Last Post: December 6th 2010, 09:31 AM
  4. Set Theory Relations Problem
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 15th 2010, 06:23 AM
  5. Relations - Set Theory
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: April 23rd 2006, 07:19 PM

Search Tags


/mathhelpforum @mathhelpforum