Presented By: Logic Seminar  Department of Mathematics
The omegaVaught's Conjecture
David Gonzalez
Robert Vaught conjectured that the number of countable models of any given list of axioms must be either countable or continuum, but never in between. Despite all the work that has gone into this conjecture over the past sixty years, it remains open. It is one of the most wellknown, longstanding open questions in mathematical logic. We introduce the omegaVaught's conjecture, a strengthening of Vaught's conjecture for infinitary logic. We believe that a structural proof of Vaught's conjecture for infinitary logic would actually be a proof of the omegaVaught's conjecture. Furthermore, a counterexample to the omegaVaught's conjecture would likely contain ideas helpful in constructing a counterexample to Vaught's conjecture.
We prove the omegaVaught's conjecture for linear orderings, a strengthening of Vaught's conjecture for linear orderings originally proved by Steel. The proof notably differs from Steel's proof (and any other previously known proof of Vaught's conjecture for linear orderings) in that it makes no appeal to lemmas from higher computability theory or descriptive set theory.
In this talk I will assume minimal background knowledge on Vaught's conjecture and spend some time going over the needed foundational information. Through this discussion, we will naturally arrive at the definition of the omegaVaught's conjecture and I will explain some of the main tools used in the linear order proof. I will focus on highlighting a concrete, plausible, potential path to a proof of Vaught's conjecture.
This talk is based on joint work with Antonio Montalban.
We prove the omegaVaught's conjecture for linear orderings, a strengthening of Vaught's conjecture for linear orderings originally proved by Steel. The proof notably differs from Steel's proof (and any other previously known proof of Vaught's conjecture for linear orderings) in that it makes no appeal to lemmas from higher computability theory or descriptive set theory.
In this talk I will assume minimal background knowledge on Vaught's conjecture and spend some time going over the needed foundational information. Through this discussion, we will naturally arrive at the definition of the omegaVaught's conjecture and I will explain some of the main tools used in the linear order proof. I will focus on highlighting a concrete, plausible, potential path to a proof of Vaught's conjecture.
This talk is based on joint work with Antonio Montalban.
CoSponsored By
Explore Similar Events

Loading Similar Events...