: Intuitionistic Set Theory Part I

Intuitionistic Set Theory Part I

Buch beschaffeneBook-Anfrage

Forschungsergebnisse zur Informatik, Band 33

Hamburg , 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 Theory

Ihr Werk im Verlag Dr. Kovač

Bibliothek, Bücher, Monitore

Möchten Sie Ihre wissenschaftliche Arbeit publizieren? Erfahren Sie mehr über unsere günstigen Konditionen und unseren Service für Autorinnen und Autoren.

Veröffentlichen wissenschaftlicher Arbeiten

Weitere Bücher des Autors

Forschungsarbeit: Intuitionistic Set Theory

Intuitionistic Set Theory

or How to construct semi-rings. Part IV

Hamburg , ISBN 978-3-8300-0691-6 (Print)

: Intuitionistic Set Theory

Intuitionistic Set Theory

or How to construct semi-rings Part III

Hamburg , ISBN 978-3-8300-0378-6 (Print)

: Intuitionistic Set Theory Part II

Intuitionistic Set Theory Part II

Hamburg , ISBN 978-3-86064-617-5 (Print & eBook)