Document type
Bachelor thesisPublication date
Publication license
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/221522
Morley's contribution to Vaught's conjecture
Journal Title
Authors
Director/Tutor
Journal ISSN
Volume Title
Related resource
Abstract
Vaught’s Conjecture states that, even without the use of the continuum hypothesis, if the number of non-isomorphic countable models of a complete theory in first-order logic is uncountable, then it is the cardinality of the continuum. In this work, we prove Morley’s Theorem on the number of countable models, which states that if the number of non-isomorphic countable models of a complete theory is greater than the first uncountable cardinal, then it is equal to the cardinality of the continuum. In the first chapter, we present the results in topology that show
that uncountable analytic sets have the cardinality of the continuum. In the second chapter, we explore some results in extensions of first-order logic that will allow us to prove Morley’s Theorem.
La conjectura de Vaught afirma que, inclús sense l’ús de la hipòtesi del continu, si el nombre de models numerables no isomorfs d’una teoria completa en lògica de primer ordre és no numerable, llavors és la cardinalitat del continu. En aquest treball demostrem el teorema de Morley sobre el nombre de models numerables, que afirma que si el nombre de models numerables no isomorfs d’una teoria completa és superior al primer cardinal no numerable, llavors és igual al cardinal del continu. En el primer capítol, presentem els resultats de topologia que mostren que els conjunts analítics no numerables tenen la cardinalitat del continu. En el segon capítol, explorem alguns resultats en extensions de la lògica de primer ordre que ens permetran demostrar el teorema de Morley.
La conjectura de Vaught afirma que, inclús sense l’ús de la hipòtesi del continu, si el nombre de models numerables no isomorfs d’una teoria completa en lògica de primer ordre és no numerable, llavors és la cardinalitat del continu. En aquest treball demostrem el teorema de Morley sobre el nombre de models numerables, que afirma que si el nombre de models numerables no isomorfs d’una teoria completa és superior al primer cardinal no numerable, llavors és igual al cardinal del continu. En el primer capítol, presentem els resultats de topologia que mostren que els conjunts analítics no numerables tenen la cardinalitat del continu. En el segon capítol, explorem alguns resultats en extensions de la lògica de primer ordre que ens permetran demostrar el teorema de Morley.
Description
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2025, Director: Enrique Casanovas Ruiz-Fornells
Subject (English)
Citation
Collections
Citation
DÍAZ FUNES, Dídac. Morley's contribution to Vaught's conjecture. [consulted: 15 of June of 2026]. Available at: https://hdl.handle.net/2445/221522