Extending the Language of Set Theory

Abstract

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.

arXiv comment12 pages, original html is in ancillary files

Cited by in corpus (1)

• Reflective Cardinals