Delta_1-definability of the non-stationary ideal
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact webseminars.
Mathematical, Foundational and Computational Aspects of the Higher Infinite
The talk will be devoted to the proof of the fact that assuming $V = L$, for every successor cardinal $kappa$ there exists a GCH and cardinal preserving forcing poset $P in L$ such that in $LP$ the ideal of all non-stationary subsets of $kappa$ is
$Delta_1$-definable over $H(kappa+)$. We shall also discuss the situation for limit $kappa$.
This talk is part of the Isaac Newton Institute Seminar Series series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|