An undecidable extension of Morley's theorem on the number of countable models

DOI10.1016/j.apal.2023.103317arXiv2107.07636OpenAlexW3186095916WikidataQ123137574 ScholiaQ123137574MaRDI QIDQ6109096

No author found.

Publication date: 26 July 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2107.07636

zbMATH Keywords

countable modelsWoodin cardinalsinner model theoryMorley's theorem\(\sigma\)-projective equivalence relationsrandom and Cohen forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Set-theoretic model theory (03C55)

Cites Work

• A proof of Vaught's conjecture for \(\omega\)-stable theories
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Forcing axioms and stationary sets
• Borel determinacy
• Inner models with many Woodin cardinals
• Mouse sets
• Projectively well-ordered inner models
• Large cardinals and definable counterexamples to the continuum hypothesis
• Thin equivalence relations and inner models
• Set theory. Exploring independence and truth
• Long games and \(\sigma \)-projective sets
• An Outline of Inner Model Theory
• Determinacy in L(ℝ)
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• Vaught's conjecture for o-minimal theories
• A Proof of Projective Determinacy
• Long projective wellorderings
• Equivalences Generated by Families of Borel Sets
• Vaught's Conjecture for Varieties
• Set Theory
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• The number of countable models
• Measurable cardinals and analytic games
• Finite partially-ordered quantification
• Internal cohen extensions
• The Game Quantifier
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An undecidable extension of Morley's theorem on the number of countable models