Showing papers by "Evangelos Kranakis published in 1983"
TL;DR: It is shown that an ordinalκ is Σ1-Ramsey if and only if κ is ∑ω-Ramseys.
Abstract: This paper studies the relation between definable Ramsey ordinals and constructible sets which have a certain set of indiscernibles. It is shown that an ordinal κ is Σ1-Ramsey if and only if κ is ∑ω-Ramsey. Similar results are obtained for definable Erdos ordinals.
2 citations