Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.research

Topic: Question related to "Foundations of Mathematics"
Replies: 2   Last Post: Apr 2, 2012 1:00 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mv_Cristi

Posts: 3
Registered: 3/10/12
Question related to "Foundations of Mathematics"
Posted: Mar 10, 2012 12:20 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


I made up it, I didn't find anything about it, so I need help.

The question is: How do different set theories handle the following
definition?

U := {x : (x belongs_to A) and ( Not(A is_included_in Powerset(
EmptySet)) )}

If possible in the set theory, require (A is_set). But it doesn't
really matter.

The set U is interesting for some reasons.

The answer will help me a lot in my PhD. research.

Thank You.



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.