Delta_1-definability of the non-stationary ideal

Presented by:
L Zdomskyy Universität Wien
Date:
Friday 28th August 2015 - 11:30 to 12:30
Venue:
INI Seminar Room 1
Abstract:
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 $L^P$ 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$.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.