Existence of non measurable sets
Characterization of generic extensions of models of set theory
Changing cofinality of a measurable cardinal (An alternative proof)
Consistency theorems connected with some combinatorial problems
An elementary proof of normality of the class of accessible cardinals
The consistency of some theorems concerning Lebesgue measure (Preliminary communication)
The continuum problem and powers of alephs
-model and distributivity in Boolean algebras
Iterated ultrapower and Prikry's forcing
Generic extensions of models of ZFC
The paper contains a self-contained alternative proof of my Theorem in Characterization of generic extensions of models of set theory, Fund. Math. 83 (1973), 35–46, saying that for models of ZFC with same ordinals, the condition implies that is a -C.C. generic extension of .
Balcar's theorem on supports
In A theorem on supports in the theory of semisets [Comment. Math. Univ. Carolinae 14 (1973), no. 1, 1–6] B. Balcar showed that if is a support, being an inner model of ZFC, and with , then determines a preorder "" of such that becomes a filter on generic over . We show that if the relation is replaced by a function , then there exists an equivalence relation "" on and a partial order on such that is a complete Boolean algebra, is a generic filter and for any , .
Generalized Luzin sets
Hurewicz properties, non distinguishing convergence properties and sequence selection properties
Zpráva o studijním soustředění
The existence of a PCA-set of cardinal
Atoms and Generators in Boolean -Algebras
Ultrafilter with predecessors in Rudin-Frolík order
The smallest common extension of a sequence of models of ZFC
In this note, we show that the model obtained by finite support iteration of a sequence of generic extensions of models of ZFC of length is sometimes the smallest common extension of this sequence and very often it is not.
On topological representation of semigroups and small categories
The life and work of Bohuslav Balcar (1943--2017)
Page 1 Next