The Notion "Pathology" in Set Theory

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

When we study the paradoxes of set theory we find out that there are mainly 2 types: the pathologies and the antinomies. These 2 notions are made precise and compared with the somehow inductively definable concept "abnormal". (See my paper "Naive Axiomatic Mengenlehre for Experiments" in arXiv.) In the following 5 Patho Theses are discussed in order to formalize this notion of pathology. This allows us to define formally the property "Hereditary-non-Pathological" for well-formed formulas. With this property the system NACT* of Naive Axiomatic Class Theory is constructed, which has a "unique maximal" universe (in a special sense).
21 pages, no figures

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/165869

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0807.4321
 http://arxiv.org/abs/0807.4321

Collections

arXiv