99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is precipitous ideals on complete Boolean algebras (abbr. cBas) which are generalizations of precipitous ideals on power sets introduced by Jech and Prikry.Various results on the original notion are generalized to the case of cBas, some by using a new tool (the sum operation of ideals on cBas introduced by J. Takahashi). Among those are: consistency strength of the existence of a precipitous ideal on a cBa (being that of a measurable); precipitousness of a (kappa)-complete (kappa)('+)-saturated ideal on a cBa; a game-theoretic characterization of the precipitousness; preservation theorems for precipitousness under Boolean extension.Some results c...
summary:We make use of a forcing technique for extending Boolean algebras. The same type of forcing ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-ord...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...
99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is p...
AbstractWe consider several infinite games involving a given κ-complete ideal over a regular uncount...
We answer questions concerning an existence of almost precipitous ideals raised in [5]. It is shown ...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...
In this paper we consider models of set theory in which the continuum has cofinality ω v We show tha...
We introduce the notion of K-ideals associated with Kuratowski partitions. Using new operations on c...
The investigation of theoretical-model properties of Boolean algebras with indicated ideals: simple,...
Rasiowa and Sikorski [5] showed that in any Boolean algebra there is an ultrafilter preserving count...
Double Boolean algebras (dBas) are algebras D––:=(D;⊓, ⊔,¬,┘,⊥,⊤) of type (2, 2, 1, 1, 0, 0), i...
summary:We make use of a forcing technique for extending Boolean algebras. The same type of forcing ...
A typical (nontrivial) first order theory is undecidable. According to an early result of Tarski [15...
summary:We make use of a forcing technique for extending Boolean algebras. The same type of forcing ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-ord...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...
99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is p...
AbstractWe consider several infinite games involving a given κ-complete ideal over a regular uncount...
We answer questions concerning an existence of almost precipitous ideals raised in [5]. It is shown ...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...
In this paper we consider models of set theory in which the continuum has cofinality ω v We show tha...
We introduce the notion of K-ideals associated with Kuratowski partitions. Using new operations on c...
The investigation of theoretical-model properties of Boolean algebras with indicated ideals: simple,...
Rasiowa and Sikorski [5] showed that in any Boolean algebra there is an ultrafilter preserving count...
Double Boolean algebras (dBas) are algebras D––:=(D;⊓, ⊔,¬,┘,⊥,⊤) of type (2, 2, 1, 1, 0, 0), i...
summary:We make use of a forcing technique for extending Boolean algebras. The same type of forcing ...
A typical (nontrivial) first order theory is undecidable. According to an early result of Tarski [15...
summary:We make use of a forcing technique for extending Boolean algebras. The same type of forcing ...
This bachelor thesis is dealing with complete Boolean algebras and its use in semantics of first-ord...
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean al...