2011 | OriginalPaper | Buchkapitel
The General Theory of Semisets
The General Theory of Semisets
verfasst von : Bohuslav Balcar
Erschienen in: Aspects of Mathematical Logic
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
It is the purpose of this article to explain briefly some concepts and methods, especially so called the theory of semites, which are studied in Prague seminar. The authors of the theory of semisets are P. Vopénka and P. Hájek. We present here some results (not in the most general form) that are contained in their book “Sets, Semisets, Models” (to be published) with their kind permission. This article was written as material to our lecture that was held in the Summer Institute in Varenna (Italy) and contains no our new results.
At first we give the following illustration in order to acquire some idea about semisets. The reader is already acquainted with the Gö el-Bernays' set theory (GB) from the lecture of prof. Mostowski (in what follows we shall denote this lecture by [
M
]) where also the universal class
V
and the class
L
of all constructible sets were defined.