Recent and upcoming talks by Daniel Rodriguez

Daniel Rodriguez: Uniqueness of Supercompact measures IV

Tuesday 17 March Time:     12:30 – 13:30 Room:     Wean Hall 8201 Speaker:         Daniel Rodriguez Department of Mathematics CMU Title:     Uniqueness of Supercompact measures IV Abstract: Assuming that there are ω2 many Woodin cardinals with a measurable above them, we will continue the outline of the proof of the uniqueness of the models of the form L(ℝ,μ) that satisfy the theory “ZF+AD+ μ is an ℝ-supercompact measure”. continue reading…

Daniel Rodriguez: Uniqueness of Supercompact measures III

Mathematical logic seminar – March 3, 2015 Time:     12:30 – 13:30 Room:     Wean Hall 8201 Speaker:         Daniel Rodriguez Department of Mathematics CMU Title:     Uniqueness of Supercompact measures III Abstract: Assuming that there are ω-squared many Woodin cardinals with a measurable above them, we will continue the outline of the proof of the uniqueness of the models of the form L(ℝ,μ) that satisfy the theory “ZF+AD+ μ is an ℝ-supercompact measure”. continue reading…

Daniel Rodriguez: Uniqueness of Supercompact measures II

Mathematical logic seminar – February 24, 2015 Time:     12:30 – 13:30 Room:     Wean Hall 8201 Speaker:         Daniel Rodriguez Department of Mathematics CMU Title:     Uniqueness of Supercompact measures  II Abstract: ADℝ is a natural strengthening of AD, which states that all games on real numbers are determined. continue reading…

Daniel Rodriguez: Uniqueness of Supercompact measures I

Mathematical logic seminar – February 17, 2015 Time:     12:30 – 13:30 Room:     Wean Hall 8201 Speaker:         Daniel Rodriguez Department of Mathematics CMU Title:     Uniqueness of Supercompact measures I Abstract: ADℝ is a natural strengthening of AD, which states that all games on real numbers are determined. continue reading…

Daniel Rodriguez: Categoricity Theorem for uncountable first-order theories

MONDAY, March 19, 2012 5:00-6:30PM, WeH 822 CMU MODEL THEORY SEMINAR: Speaker: Daniel Rodriguez TITLE: Categoricity Theorem for uncountable first-order theories. Part 1 ABSTRACT: This sequence of lectures will be dedicated to the proof of the following theorem: If T is categorical in some a cardinal >|T| then T is categorical in all cardinals >|T|. continue reading…