6 research outputs found
An undecidable extension of Morley's theorem on the number of countable models
We show that Morley's theorem on the number of countable models of a
countable first-order theory becomes an undecidable statement when extended to
second-order logic. More generally, we calculate the number of equivalence
classes of -projective equivalence relations in several models of set
theory. Our methods include random and Cohen forcing, Woodin cardinals and
Inner Model Theory.Comment: 31 page
The Mouse Set Theorem Just Past Projective
We identify a particular mouse, , the minimal ladder mouse,
that sits in the mouse order just past for all , and we show
that , the set of reals that are
in a countable ordinal. Thus is a mouse
set. This is analogous to the fact that
where is the the sharp for the minimal inner model with a Woodin
cardinal, and is the set of reals that are in a countable
ordinal. More generally . The
mouse and the set compose the next natural pair
to consider in this series of results. Thus we are proving the mouse set
theorem just past projective. Some of this is not new. was known in the 1990's. But
was open until Woodin found a proof in
2018. The main goal of this paper is to give Woodin's proof.Comment: 30 page