Conrad KuckIntuitionistic Set Theory Part I
Forschungsergebnisse zur Informatik, Band 33
Hamburg 1998, 300 Seiten
ISBN 978-3-86064-616-8 (Print & eBook)
Zum Inhalt
In part I of his study, the author deals with the following problems:
- Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals)
- Decidable derivation of the axioms of the Axiomatic Set Theory (by K. Kuratowski and A. Mostowski), relations, functions
- Natural numbers (as special case of the irrationals), finite and infinite categories
- Generalized union, intersection and Cartesian procuct
- Theory of Cardinal Numbers
- Linearly ordered sets
- Well-ordered sets
- Alephs and related topics
Schlagworte
InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryIhr Werk im Verlag Dr. Kovač
Weitere Bücher des Autors
Conrad Kuckor How to construct semi-rings. Part IV
Hamburg 2002, ISBN 978-3-8300-0691-6 (Print)
Conrad Kuckor How to construct semi-rings Part III
Hamburg 2001, ISBN 978-3-8300-0378-6 (Print)
