Characterization of generic extensions of models of set theory
Generalized Luzin sets
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 , .
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 .
The consistency of some theorems concerning Lebesgue measure (Preliminary communication)
The continuum problem and powers of alephs
Consistency theorems connected with some combinatorial problems
Changing cofinality of a measurable cardinal (An alternative proof)
An elementary proof of normality of the class of accessible cardinals
-model and distributivity in Boolean algebras
Iterated ultrapower and Prikry's forcing
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
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.
Ultrafilter with predecessors in Rudin-Frolík order
Atoms and Generators in Boolean -Algebras
The life and work of Bohuslav Balcar (1943--2017)
On topological representation of semigroups and small categories
Existence of non measurable sets
Page 1 Next