A maximal definable sigma-ideal over \(omega_ 1\).
From MaRDI portal
Publication:1159194
DOI10.1007/BF02762861zbMath0474.03028MaRDI QIDQ1159194
Publication date: 1981
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
03E55: Large cardinals
Cites Work