Mathematics – Logic
Scientific paper
2005-04-19
Mathematics
Logic
11 pages, HTML, UTF-8 encoding
Scientific paper
We discuss the problems of incompleteness and inexpressibility. We introduce
almost self-referential formulas, use them to extend set theory, and relate
their expressive power to that of infinitary logic. We discuss the nature of
proper classes. Finally, we introduce and axiomatize a powerful extension to
set theory.
No associations
LandOfFree
Extending the Language of Set Theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Extending the Language of Set Theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extending the Language of Set Theory will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-40116