Author(s) :
Andreas Unterreiter
Preprint series of the Institute of Mathematics, Technische Universität Berlin
Preprint 24-2011
MSC 2000
- 03B80 Other applications of logic
-
03A05 Philosophical and critical
-
03C62 Models of arithmetic and set theory
-
03E75 Applications of set theory
Abstract :
(Keine) Echte TeilKlasse. EchteTeilKlassenInduktionsSatz. (Unten/Oben) Nicht-Vollstaendig. (Unten/Oben) Nicht-Stark-Vollstaendig. (Unten/Oben) Nicht-Total-Vollstaendig. Universelle InklusionsRelation (in z). Induzierte Relation.
Keywords :
(Nicht-)Vollstaendig. Induzierte Relation. InklusionsRelation.