Extending Set Theory
Edit Page
Report
Scan day: 09 February 2014 UTC
-187
Virus safety - good
Description: Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles.
Note (March 5, 2012): A followup paper on higher order theory is available Extending the Language of Set Theory 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.
Size: 430 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | New Set Theory |
| Keywords: | logic, set theory, infinitary, self-reference, higher order |
| Description: | Extends the Language of Set Theory |
| IP-address: | 172.231.45.73 |
WHOIS Info
| NS | Name Servers: USE2.AKAM.NET USE5.AKAM.NET |
| WHOIS | |
| Date | activated: 23-May-1985 last updated: 17-May-2013 expires: 31-Jul-2014 |