Miguel Moreno

Postdoctoral researcher, Faculty of Mathematics, University of Vienna .

Miguel Moreno

Postdoctoral researcher, Institute of Mathematics, University of Vienna .

Picture of the defense

Talks and Presentations


Invited Talks


21. Finding the main gap in the generalized descriptive set theory
December 2022. Canadian Mathematical Society Winter Meeting. Toronto, Canada.
Slides - Conference

20. Indestructibility and characterization of filter reflection
September 2022. University of Helsinki Logic Seminar. Helsinki, Finland. Online.
Slides - Seminar

19. Reflection of stationary sets and GDST
August 2022. Young Set Theory Workshop 2022. Novi Sad, Serbia.
Slides - Conference

18. The isomorphism relation of unsuperstable theories in the generalized Borel-reducibility
April 26th, 2022. KGRC Set Theory Research Seminar. Vienna, Austria.
Seminar

17. How complex are mathematical theories? [ESP]
March 2022. Internnational Day of Mathematics 2022. Bogota, Colombia.
Slides - Event

16. K-colorable linear orders and unsuperstable theories
February 2022. Helsinki Logic Seminar - Minisymposium. Helsinki, Finland.
Slides - Minisymposium

15. On unsuperstable theories in the GDST
February 2022. Arctic Set Theory Workshop V. Kilpisjärvi, Finland.
Slides - Conference

14. Colouring orders and ordering trees
February 2022. Bar-Ilan Set Theory Colloquium. Ramat Gan, Israel. Online.
Slides - Seminar

13. Filter Reflection and Generalised Descriptive Set Theory
October 2020. University of Helsinki Logic Seminar. Helsinki, Finland. Online.
Slides - Seminar

12. Filter Reflection
May 2020. Bar-Ilan University and Hebrew University Logic Seminar. Ramat Gan - Jerusalem, Israel. Online.
Slides - Video - Seminar

11. Consistency of Filter Reflection
May 2020. Seminario Flotante de Bogotá de Lógica Matemática. Bogotá Logic Group, Colombia. Online.
Slides - Video - Seminar

10. Connections between generalised Baire spaces and model theory
February 2020. Fifth Workshop on Generalised Baire Spaces. Invited main speaker. Bristol, England.
Slides - Conference

9. Diamond sharp and a model theory dichotomy in GDST
January 2019. Arctic Set Theory Workshop IV. Kilpisjärvi, Finland.
Slides - Conference

8. A model theory dichotomy in generalized descriptive set theory
October 2018. UH-CAS Workshop on mathematical logic. Helsinki, Finland.
Slides - Conference

7. La relación de equivalencia modulo conjuntos no estacionarios en los espacios de Baire generalizados
September 2017. Bogotá Logic Seminar. Bogotá, Colombia.
Notes (section 3) - Seminar

6. Conjuntos de indiscernibles en teorias estables
September 2017. Seminario de categorias accessibles y teoria de modelos, Universidad Nacional de Colombia sede Bogotá. Bogotá, Colombia.

5. The equivalence modulo non-stationary ideals
January 2017. Arctic Set Theory Workshop III. Kilpisjärvi, Finland.
Slides - Conference

4. Strong DOP and the Borel hierarchy
September 2016. Workshop on Set-theoretical aspects of the model theory of strong logics. Bellaterra, Barcelona.
Slides - Conference

3. Shelah's Main Gap Theorem in the Borel-reducibility hierarchy
March 2016. 27th Nordic Congress of Mathematicians. Invited special session. Stockholm, Sweden.
Slides - Conference

2. Borel reducibility and the isomorphism relation
January 2016. Finnish Mathematical Days 2016. Invited special session. Turku, Finland.
Slides - Conference

1. On the reducibility of isomorphism relation
January 2015. Arctic Set Theory Workshop II. Kilpisjärvi, Finland.
Conference


Public Examination


FINDING THE MAIN GAP IN THE BOREL-REDUCIBILITY HIERARCHY
December 2017. Exactum, Faculty of Science, University of Helsinki.
PDF - Slides - Opponent's lecture


Posters


2. Filter Reflection and the Borel reducibility
July 2022. Advances in Set Theory 2O22. Jerusalem, Israel.
Poster - Conference - DOI: 10.13140/RG.2.2.16183.60326

1. Filter Reflection and the Borel reducibility
July 2022. ESI Set Theory Workshop 2022. Vienna, Austria.
Poster - Workshop - DOI: 10.13140/RG.2.2.16183.60326



Contributed Talks


4. Ordered trees and the kappa-Borel reducibility of unsuperstable theories
August - September 2022. European Set Theory Conference 2022. Turin, Italy.
Slides - Video - Conference

3. Diamond sharp and the Generalized Baire Spaces
July 2019. 7th European Set Theory Conference. Vienna, Austria.
Slides - Conf

2. Reflection principles and the generalized Baire spaces
July 2017. 6th European Set Theory conference. Budapest, Hungary.
Slides - Conf

1. The equivalence Modulo Non-stationary Ideals and Shelah's Main Gap Theorem in the Borel-reducibility hierarchy
September 2016. Bonn Set Theory Workshop 2016, Generalized Baire spaces. Bonn, Germany.
Slides - Conf



Seminar Talks


17. Fake Reflection
23.01.2020. KGRC Research Seminar, Kurt Gödel Research Center, University of Vienna.
Abstract. Motivated from many results in generalized descriptive set theory, Filter Reflection (aka Fake Reflection) is an abstract version of reflection compatible with large cardinals, forcing axioms, but also V=L.
In this talk we will present the motivation and definition of filter reflection, we will explain how to force filter reflection and how to force its failure. We will also show some applications and properties of filter reflection, e.g. the consistency of “E^K_{w_1} filter reflects to a subset of E^K_{w}”. This is a joint work with Gabriel Fernandes and Assaf Rinot.

16. The Main Gap in the generalized Borel-reducibility hierarchy
11.03.2019. Set Theory Colloquium, Bar-Ilan University.
Abstract. During this talk we will discuss where in the generalized Borel-reducibility hierarchy are the isomorphism relation of first order complete theories. These theories are divided in two kind:classifiable and non-classifiable. To study the classifiable theories case is needed the use of Ehrenfeucht-Fraïssé games. On the other hand the study of the non-classifiable theories is done by using colored trees. The goal of the talk is to see the classifiable theories case and start the non-classifiable theories case by proving that it is possible to map every element of the generalized Baire, f, into a colored tree, J(f), such that; for every f and g elements of the generalized Baire space, J(f) and J(g) are isomorphic as colored trees if and only if f and g coincide on a club.

15. An introduction to generalized descriptive set theory, part 4
14.01.2019. Set Theory Colloquium, Bar-Ilan University.
Abstract. Last week, we gave a detailed proof of Lemma 1.13 from the notes: http://u.math.biu.ac.il/~morenom3/GDST-2018.pdf
This week, we shall continue, proving that, if V=L, then $\kappa$-Borel* class is equal to the Sigma1^_1(K) class.

14. An introduction to generalized descriptive set theory, part 3
07.01.2019. Set Theory Colloquium, Bar-Ilan University.
Abstract. After introducing the notions of K-Borel class, K-Delta_1^1 class, K-Borel^* class we saw some subset relations between them in the previous talk ( http://u.math.biu.ac.il/~morenom3/GDST-2018.pdf ). We finished the previous talk with a sketch of the proof of:
if V=L, then $\kappa$-Borel* class is equal to the $\Sigma1^ 1(\kappa)$ class.
We will see this proof in complete detail, starting from the key lemma, Lemma 1.13 on the notes.

13. An introduction to generalized descriptive set theory, part 2
31.12.2019. Set Theory Colloquium, Bar-Ilan University.
Abstract. After introducing the notions of K-Borel class, K-Delta_1^1 class, K-Borel^* class in the previous talk ( http://u.math.biu.ac.il/~morenom3/GDST-2018.pdf ), in this talk, we will show the relation between this classes.
In descriptive set theory the Borel class, the Delta_1^1 class, the Borel* class are the same class, this doesn't hold in the generalized descriptive set theory, in particular under the assumption V=L the Borel* class is equal to the Sigma1^_1 class.

12. An introduction to generalized descriptive set theory, part 1
10.12.2018. Set Theory Colloquium, Bar-Ilan University.
Abstract. This is the first of many of talks in which an overview of the Borel-reducibility hierarchy in the generalized Baire space will be given. The aim of this talk is to introduce the notions of K-Borel class, K-Delta_1^1 class, K-Borel^* class, and show the relation between these classes.

11. Σ_1^1-complete quasi-orders in L
21.03.2018. Logic Seminar, Helsinki Logic Group.
Abstract. One of the basic differences between descriptive set theory (DST) and generalized descriptive set theory (GDST) is the existence of some analytic sets in GDST that have no counterpart in DST. The equivalence modulo the non-stationary ideal restricted to a stationary set S (EM-S) is an example of these sets.
These relations have been studied in GDST to understand some of the differences between DST and GDST. In particular, EM-S, with S the set of ordinals with cofinality alpha, has been used to study the isomorphism relations in the Borel-reducibility hierarchy. One of the main results related to this is:
If V=L, then EM-S, with the set of ordinals with cofinality alpha, is a complete analytic equivalence relation in the generalized Baire space.
From this, it was possible to prove that the isomorphism relation of theories with OCP or S-DOP are complete analytic equivalence relations in L(under some cardinal assumptions).
In this talk I will show that the inclusion modulo the non-stationary ideal restricted to the set of ordinals with cofinality alphais is a complete analytic quasi-order in L. This result has many corollary, two of which are:
(V=L) The isomorphism relation of a theory is either a complete analytic equivalence relation or a Delta_1^1 equivalence relation (under some cardinal assumptions).
(V=L) If kappa is not the successor of an omega-cofinal cardinal, then the embedability of dense linear orders is a complete analytic relation.

10. Σ_1^1-complete quasi-orders on weakly compact cardinals
18.10.2017. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we prove Σ_1^1-complete properties of some quasi-orders when K is a weakly compact cardinals.

9. Reflection principles and Borel reducibility
29.03.2017. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we explore implications of reflection principles in the Borel-reducibility hierarchy.

8. The isomorphism relation of Theories with S-DOP
14.09.2016. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we explore the Borel-reducibility of the isomorphism relation of superstable theories with S-DOP.

7. A Borel-reducibility counterpart of Shelah's main gap theorem
02.12.2015. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we prove a Borel-reducibility counterpart of Shelah's main gap theorem.

6. The isomorphism relation of classifable theories
04.11.2015. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we explore the Borel-reducibility of the isomorphism relation of classifiable theories.

5. On the reducibility of the isomorphism relation II
28.01.2015. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we continue exploring the Borel-reducibility of the isomorphism relation of stable unsuperstable theories.

4. On the reducibility of the isomorphism relation I
21.01.2015. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we explore the Borel-reducibility of the isomorphism relation of stable unsuperstable theories.

3. More on Stationary tower forcing
02.03.2014. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we continue exploring the definitions and implications of the stationary tower forcing.

2. Stationary tower forcing
22.01.2014. Logic Seminar, Helsinki Logic Group.
Abstract. In this talk we explore the definitions and implications of the stationary tower forcing.

1. Matroides representables en GF(2)
21.04.2010. Seminario de Estudiantes, Universidad Nacional de Colombia sede Bogotá.
Abstract. Esta charla tiene como objetivo el dar a conocer algunos métodos para representar matroides en campos finitos. Para ellos se darán a conocer las nociones básicas de la teoría de matroides y a teoremas básicos de representación de una matroide.