Talks and Presentations
Invited Talks

22.
About Filter Reflection

February 2023. Arctic Set Theory Workshop VI. Kilpisjärvi, Finland.
Slides

Conference

21.
Finding the main gap in the generalized descriptive set theory

December 2022. Canadian Mathematical Society Winter Meeting. Invited special session. 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. Invited postdoctoral speaker. Novi Sad, Serbia.
Slides

Conference

18.
The isomorphism relation of unsuperstable theories in the generalized Borelreducibility

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.
Kcolorable 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. BarIlan 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. BarIlan 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. UHCAS 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 nonstationary ideals

January 2017. Arctic Set Theory Workshop III. Kilpisjärvi, Finland.
Slides

Conference

4.
Strong DOP and the Borel hierarchy

September 2016. Workshop on Settheoretical aspects of the model theory of strong logics. Bellaterra, Barcelona.
Slides

Conference

3.
Shelah's Main Gap Theorem in the Borelreducibility 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 BORELREDUCIBILITY 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 kappaBorel 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 Nonstationary Ideals and Shelah's Main Gap Theorem in the Borelreducibility hierarchy

September 2016. Bonn Set Theory Workshop 2016, Generalized Baire spaces. Bonn, Germany.
Slides

Conf
Seminar Talks

19.
Generalised Descriptive Set Theory, part II

21.03.2023. KGRC Research Seminar, Kurt Gödel Research Center, University of Vienna.

Abstract.
We have introduced the notions of κBorel class, κanalytic class, κanalyticcoanalytic class, κBorel* class in the previous talk. In descriptive set theory the Borel class, the analyticcoanalytic class, and the Borel* class are the same class, we showed that this doesn't hold in the generalized descriptive set theory.
In this talk, we will show the consistency of "κBorel* class is equal to the κanalytic class". This was initially proved by Hyttinen and Weinstein (former Kulikov), under the assumption V=L. We will show a different proof that shows that this holds in L but also can be forced by a cofinalitypreserving GCHpreserving forcing from a model of GCH, but also by a <κclosed κ+‑cc forcing.

18.
Generalised Descriptive Set Theory, part I

14.03.2023. KGRC Research Seminar, Kurt Gödel Research Center, University of Vienna.

Abstract.
This is the first of three talks about Generalised Descriptive Set Theory. The aim of this talk is to introduce the notions of κ‑Borel class, κ‑analytic class, κ‑analyticcoanalytic class, κ‑Borel* class, and show the relation between these classes.

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 Borelreducibility hierarchy

11.03.2019. Set Theory Colloquium, BarIlan University.

Abstract.
During this talk we will discuss where in the generalized Borelreducibility hierarchy are the isomorphism relation of first order complete theories. These theories are divided in two kind:classifiable and nonclassifiable. To study the classifiable theories case is needed the use of EhrenfeuchtFraïssé games. On the other hand the study of the nonclassifiable theories is done by using colored trees. The goal of the talk is to see the classifiable theories case and start the nonclassifiable 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, BarIlan University.

Abstract.
Last week, we gave a detailed proof of Lemma 1.13 from the notes:
http://u.math.biu.ac.il/~morenom3/GDST2018.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, BarIlan University.

Abstract.
After introducing the notions of KBorel class, KDelta_1^1 class, KBorel^* class we saw some subset relations between them in the previous talk ( http://u.math.biu.ac.il/~morenom3/GDST2018.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, BarIlan University.

Abstract.
After introducing the notions of KBorel class, KDelta_1^1 class, KBorel^* class in the previous talk ( http://u.math.biu.ac.il/~morenom3/GDST2018.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, BarIlan University.

Abstract.
This is the first of many of talks in which an overview of the Borelreducibility hierarchy in the generalized Baire space will be given. The aim of this talk is to introduce the notions of KBorel class, KDelta_1^1 class, KBorel^* class, and show the relation between these classes.

11.
Σ_1^1complete quasiorders 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 nonstationary ideal restricted to a stationary set S (EMS) 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, EMS, with S the set of ordinals with cofinality alpha, has been used to study the isomorphism relations in the Borelreducibility hierarchy. One of the main results related to this is:
If V=L, then EMS, 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 SDOP are complete analytic equivalence relations in L(under some cardinal assumptions).
In this talk I will show that the inclusion modulo the nonstationary ideal restricted to the set of ordinals with cofinality alphais is a complete analytic quasiorder 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 omegacofinal cardinal, then the embedability of dense linear orders is a complete analytic relation.

10.
Σ_1^1complete quasiorders on weakly compact cardinals

18.10.2017. Logic Seminar, Helsinki Logic Group.

Abstract.
In this talk we prove Σ_1^1complete properties of some quasiorders 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 Borelreducibility hierarchy.

8.
The isomorphism relation of Theories with SDOP

14.09.2016. Logic Seminar, Helsinki Logic Group.

Abstract.
In this talk we explore the Borelreducibility of the isomorphism relation of superstable theories with SDOP.

7.
A Borelreducibility counterpart of Shelah's main gap theorem

02.12.2015. Logic Seminar, Helsinki Logic Group.

Abstract.
In this talk we prove a Borelreducibility 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 Borelreducibility 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 Borelreducibility 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 Borelreducibility 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 ﬁnitos. 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.