summary: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 $M\subseteq N$ of ZFC with same ordinals, the condition $Apr_{M,N}(\kappa)$ implies that $N$ is a $\kappa$-C.C. generic extension of $M$
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
AbstractWe construct under CH many uncountable sets of reals with strong combinatorial properties wh...
In the present article the syntactic approach to construction of generic models generalizing known s...
summary:The paper contains a self-contained alternative proof of my Theorem in Characterization of g...
summary:The paper contains a self-contained alternative proof of my Theorem in Characterization of g...
In this paper, we show that for each forcing notion P in a transitive model M of ZFC, if P satisfies...
In this paper, we show that for each forcing notion P in a transitive model M of ZFC, if P satisfies...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
This thesis gives some general results about generalized Fraenkel-Mostowski-Specker (FMS) models and...
In this dissertation we study closure properties of pointclasses, scales on sets of reals and the mo...
This thesis gives some general results about generalized Fraenkel-Mostowski-Specker (FMS) models and...
summary:In this note, we show that the model obtained by finite support iteration of a sequence of g...
summary:In this note, we show that the model obtained by finite support iteration of a sequence of g...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
AbstractWe study models ofHST (a nonstandard set theory which includes, in particular, the Replaceme...
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
AbstractWe construct under CH many uncountable sets of reals with strong combinatorial properties wh...
In the present article the syntactic approach to construction of generic models generalizing known s...
summary:The paper contains a self-contained alternative proof of my Theorem in Characterization of g...
summary:The paper contains a self-contained alternative proof of my Theorem in Characterization of g...
In this paper, we show that for each forcing notion P in a transitive model M of ZFC, if P satisfies...
In this paper, we show that for each forcing notion P in a transitive model M of ZFC, if P satisfies...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
This thesis gives some general results about generalized Fraenkel-Mostowski-Specker (FMS) models and...
In this dissertation we study closure properties of pointclasses, scales on sets of reals and the mo...
This thesis gives some general results about generalized Fraenkel-Mostowski-Specker (FMS) models and...
summary:In this note, we show that the model obtained by finite support iteration of a sequence of g...
summary:In this note, we show that the model obtained by finite support iteration of a sequence of g...
AbstractThe large cardinal axioms of the title assert, respectively, the existence of a nontrivial e...
AbstractWe study models ofHST (a nonstandard set theory which includes, in particular, the Replaceme...
Summary. The article deals with the concepts of satisfiability of ZF set theory language formulae in...
AbstractWe construct under CH many uncountable sets of reals with strong combinatorial properties wh...
In the present article the syntactic approach to construction of generic models generalizing known s...