description: Informatik, Mathematik, Mengenlehre, Physik, Programmverifikation, Quantentheorie, reelle Zahlen, Set Theory Zum Inhalt In part II of his study, the author deals with the following 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
language: English
title: Intuitionistic set theory, or, How to construct a proof
titlecomplete: Intuitionistic set theory, or, How to construct a proof (Forschungsergebnisse zur Informatik)
publisher: Verlag Dr. Kovač