AbstractModels of set theory are constructed where the non-stationary ideal on PΩ1λ (λ an uncountable regular cardinal) is presaturated. The initial model has a Woodin cardinal. Using the Lévy collapse the Woodin cardinal becomes λ+ in the final model. These models provide new information about the consistency strength of a presaturated ideal onPΩ1λ for λ greater than Ω1
AbstractBasic applications in topology of ◊, elementary submodels and forcing are illustrated. Finit...
AbstractStarting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equ...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
AbstractModels of set theory are constructed where the non-stationary ideal on PΩ1λ (λ an uncountabl...
It is well known that saturation of ideals is closely related to the “antichain-catching” phenomenon...
This seminar note presents Woodin’s proof of Theorem 1 as given in [3, §3.1] with some details added...
AbstractWe present a technique for destroying stationary subsets of Pκκ+ using partial square sequen...
We study maps between ideals on a cardinal $\kappa$ (cardinals are identified with initial ordinals,...
We study maps between ideals on a cardinal $\kappa$ (cardinals are identified with initial ordinals,...
AbstractWe consider several infinite games involving a given κ-complete ideal over a regular uncount...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is p...
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that ...
99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is p...
Abstract. We present a forcing poset for destroying the stationarity of certain subsets of Pκκ +. Us...
AbstractBasic applications in topology of ◊, elementary submodels and forcing are illustrated. Finit...
AbstractStarting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equ...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
AbstractModels of set theory are constructed where the non-stationary ideal on PΩ1λ (λ an uncountabl...
It is well known that saturation of ideals is closely related to the “antichain-catching” phenomenon...
This seminar note presents Woodin’s proof of Theorem 1 as given in [3, §3.1] with some details added...
AbstractWe present a technique for destroying stationary subsets of Pκκ+ using partial square sequen...
We study maps between ideals on a cardinal $\kappa$ (cardinals are identified with initial ordinals,...
We study maps between ideals on a cardinal $\kappa$ (cardinals are identified with initial ordinals,...
AbstractWe consider several infinite games involving a given κ-complete ideal over a regular uncount...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is p...
We show that in extender models there are no generic embeddings with critical point $\omega_1$ that ...
99 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1986.The subject of the thesis is p...
Abstract. We present a forcing poset for destroying the stationarity of certain subsets of Pκκ +. Us...
AbstractBasic applications in topology of ◊, elementary submodels and forcing are illustrated. Finit...
AbstractStarting with a λ-supercompact cardinal κ, where λ is a regular cardinal greater than or equ...
AbstractWe study the fine structure of the core model for one Woodin cardinal, building of the work ...
DOI
Add to ORKG