Conrad KuckIntuitionistic Set Theory Part II
Forschungsergebnisse zur Informatik, Band 33
Hamburg 1998, 300 Seiten
ISBN 978-3-86064-617-5 (Print & eBook)
Zum Inhalt
In part II of his study, the author deals with the following problems:
- Trees and Partitions
- Inaccessible Cardinals
- Descriptive Set Theory (Theory of a real variable)
- Auxiliary Notions
- Borel sets, B-measurable functions, Baire property
- Souslin space, projective sets
- Measurable Selectors
Schlagworte
InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryIhr Werk im Verlag Dr. Kovač
>>
Weitere Bücher des Autors
or How to construct semi-rings. Part IV
Hamburg 2002, ISBN 978-3-8300-0691-6 (Print)
or How to construct semi-rings Part III
Hamburg 2001, ISBN 978-3-8300-0378-6 (Print)