References & Citations
Mathematics > Logic
Title: An undecidable extension of Morley's theorem on the number of countable models
(Submitted on 15 Jul 2021 (v1), last revised 5 Jul 2023 (this version, v3))
Abstract: 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 $\sigma$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory.
Submission history
From: Christopher Eagle [view email][v1] Thu, 15 Jul 2021 22:48:54 GMT (35kb)
[v2] Sat, 1 Apr 2023 20:50:38 GMT (35kb)
[v3] Wed, 5 Jul 2023 17:55:59 GMT (35kb)
Link back to: arXiv, form interface, contact.