XI Simposio Nororiental de Matemáticas

Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Resúmenes de ponencias y cursillos de

Profesores Invitados.
Lógica y Teorı́a de Conjuntos.

1
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Automorfismos genéricos de espacios de

probabilidad
Tipo: Ponencia Plenaria
Alexander Berenstein* Ward Henson **
Tomás Ibarlucı́a***

Resumen

Dado un espacio de probabilidad (X, B, µ), decimos que dos conjuntos

medibles A, B ∈ B generan le mismo evento si µ(A4B) = 0. La familia
de eventos B̂ es un espacio métrico completo con la distancia dada por
d([A], [B]) = µ(A4B) y se denomina el álgebra medible asociada. En esta
charla haremos una presentación de clases grandes de isometrı́as de un ál-
gebra medible asociada a ([0, 1], B, λ) desde dos perspectivas: por un lado
en el sentido de categorı́a de Baire y por otro lado el de familias axioma-
tizables de automorfismos existencialmente cerrados. Para esta último se
utilizará la teorı́a de modelos de espacios métricos.

Palabras & frases claves: Categorı́a de Baire, espacios polacos, modelos

existencialmente cerrados, automorfismos genéricos.

* Universidad de los Andes, Bogotá - Colombia, e-mail: aberenst@gmail.com

** University of Illinois, Urbana - Estados Unidos
*** Universidad de Parı́s, Parı́s - Francia

1
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

La lógica interna de una clase elemental

abstracta
(Ponencia)

Andrés Villaveces Niño*

Resumen

La teorı́a de modelos, y sobre todo la teorı́a de la estabilidad modelo-

teórica, ha sido generalizada de manera poderosa al contexto mucho más
amplio de las clases elementales abstractas. Este contexto incluye de ma-
nera natural muchas lógicas infinitarias de tipo Lκ+ ,ω , pero también varias
lógicas con cuantificadores generalizados. Igualmente, incluye varias cla-
ses de modelos definidas por nociones de extensión fuerte naturales (por
ejemplo, en álgebra, ser extensión pura, etc.), como aquellas que aparecen
asociadas a construcciones de Hrushovski o de Zilber.
Aunque el desarrollo de la estabilidad modelo-teórica (hasta la zona
estable en clases elementales abstractas) ha sido desarrollada de manera
bastante impresionante, esta generalización pasa por desplazar el énfasis
sintáctico existente en la lógica de primer orden a un énfasis puramen-
te semántico. Muchas construcciones de modelos expresadas de manera
directa, sin apelar a las poderosas construcciones de teorı́as y uso de com-
pacidad ubicuas en primer orden, se llevan a cabo en el nuevo contexto de
manera puramente anclada en construcciones de lı́mites modelo-teóricos
de varios tipos. La estabilidad, la superestabilidad, la minimalidad, todas
funcionan bastante bien en ese contexto.
Existe sin embargo un anclaje sintáctico importante: el teorema de
presentación de Shelah, básico en todos los desarrollos anteriores. Este
da, dada una clase elemental abstracta K en vocabulario τ , una expansión
de τ a un τ 0 y en este lenguaje mucho más amplio provee una manera de
axiomatizar K como una clase proyectiva, es decir, una clase de “proyec-
ciones” de modelos de esa sentencia al vocabulario original.
* Universidad Nacional de Colombia, Bogotá - Colombia, e-mail: avillave-
cesn@unal.edu.co

1
 En [4], junto con Saharon Shelah encaramos el problema de axiomati-
zar una clase elemental abstracta arbitraria en el mismo vocabulario τ de su
definición. Logramos una sentencia ψK en la lógica infinitaria Li2 (κ)+++ ,κ+
que axiomatiza directamente la clase K. Adicionalmente, logramos axio-
matizar la relación ≺K de la clase, en una generalización sintáctica del
test de Tarski-Vaught clásico de primer orden, para clases elementales
abstractas.
Este primer resultado que quiero presentar generaliza trabajos de Kue-
ker [2] (quien logró tal axiomatización, para clases elementales abstractas
categóricas en algún cardinal suficientemente grande). Un aspecto intere-
sante es el uso de propiedades de partición de árboles bien fundamentados:
un teorema de Komjáth y Shelah [1] es fundamental en la construcción de
la sentencia ψK .
En la segunda parte de mi charla hablaré del problema más difı́cil
relacionado con la primera parte: ¿cuál es la lógica natural de una clase
elemental abstracta? En parte, la construcción de la sentencia ψK resuelve
una primera “mitad” del problema anterior, pues que nos permite axio-
matizar cualquier clase, conociendo tan solo su número de Löwenheim-
Skolem-Tarski. La sentencia ψK da una cota superior a la lógica natural
Laec,K de una clase elemental abstracta dada.
Otro trabajo conjunto reciente que tenemos con Väänänen [6] nos llevó
a construir una lógica que llamamos L1,c κ , que tiene propiedades modelo-
teóricas bastante sólidas, y permite aproximar la lógica L1κ de Shelah [3].
Esas dos lógicas son cercanas a la lógica aún conjetural Laec,K .
En trabajo en proceso junto con Shelah, tenemos los primeros pasos
de construcción de Laec,K [5].

Palabras & frases claves: Teorı́a de modelos, clases elementales abstrac-

tas, lógica infinitaria.

Referencias
[1] Péter Komjáth and Saharon Shelah. A partition theorem for scat-
tered order types. Combin. Probab. Comput., 12(5-6), 621¿626. DOI:
10.1017/S0963548303005686 – J American Math Soc, 25:395–427, 2012.
[2] Abstract elementary classes and infinitary logics. Annals of Pure and Ap-
plied Logic Volume 156, Issues 2¿3, December 2008, Pages 274-286.
[3] Saharon Shelah. Nice infinitary logics. – J American Math Soc, 25:395–427,
2012.
[4] Saharon Shelah and Andrés Villaveces. Infinitary logics and abstract ele-
mentary classes. 2021.
[5] Saharon Shelah and Andrés Villaveces. The internal logic of an abstract
elementary class. In process.
[6] Jouko Väänänen and Andrés Villaveces. A syntactic approach to Shelah’s
Logic L1κ .

2
 XI Simposio Nororiental de
Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Lógica implicativa
Tipo: Ponencia
Arnold Oostra*

Resumen

La implicación es el conectivo más utilizado en las presentaciones axio-

máticas de la lógica, lo cual es una posible motivación para considerar el
sistema deductivo con solo ese conectivo, exigiendo además los axiomas
puramente implicativos de la lógica proposicional clásica [1]. De manera
sorprendente, en esta lógica no es posible demostrar todas las propiedades
de la implicación clásica sino que, en realidad, se trata de una sublógica
de la lógica proposicional intuicionista. En esta charla se mostrarán tres
versiones de la lógica implicativa: una presentación sintáctica determina-
da por los axiomas mencionados, una semántica algebraica dada por la
estructura conocida como álgebra de Hilbert [3, 9], y una versión gráfica
mediante un novedoso sistema de diagramas similar a los gráficos existen-
ciales Alfa de Charles S. Peirce [2, 4, 5, 6, 7, 8, 10].

Palabras & frases claves: Lógica implicativa; álgebra de Hilbert;

gráfico existencial; Charles S. Peirce.

Referencias
[1] Caicedo, X. Elementos de Lógica y Calculabilidad. Una empresa docente,
Bogotá, 1990.

[2] Calderón, F. y Calderón, M. Gráficos Alfa para la lógica implicativa. Tra-

bajo de grado (Programa de Matemáticas con énfasis en Estadı́stica). Uni-
versidad del Tolima, Ibagué, 2021.
* Universidad del Tolima, Ibagué - Colombia, e-mail: noostra@ut.edu.co

1
 [3] Castillo, M. y Oostra, A. Álgebras para al lógica implicativa con conjunción.
Matemáticas: Enseñanza Universitaria 18(2) (2010):31-50.
[4] Gómez, A. Gráficos Alfa para la lógica implicativa con conjunción. Trabajo
de grado (Programa de Matemáticas con énfasis en Estadı́stica). Universi-
dad del Tolima, Ibagué, 2013.

[5] Oostra, A. Los gráficos Alfa de Peirce aplicados a la lógica intuicionista.

Cuadernos de Sistemática Peirceana 2 (2010):25-60.
[6] Oostra, A. Representación compleja de los gráficos Alfa para la lógica im-
plicativa con conjunción. Boletı́n de Matemáticas 26(1) (2019):31-50.

[7] Oostra, A. Equivalence Proof for Intuitionistic Existential Alpha Graphs.

Basu, A. et al (Eds.): Diagrams 2021, Lecture Notes in Artificial Intelligence
12909 (2021):188-195.
[8] Ortiz, J. y Segura, J. Gráficos Alfa intuicionistas. Trabajo de grado (Pro-
grama de Matemáticas con énfasis en Estadı́stica). Universidad del Tolima,
Ibagué, 2018.
[9] Rasiowa, H. An Algebraic Approach to Non-classical Logics. North-
Holland, Amsterdam, 1974.
[10] Zalamea, F. Los gráficos existenciales peirceanos. Universidad Nacional de
Colombia, Bogotá, 2010.

2
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Pseudofinitud y medibilidad del bosque

siempre infinito
Tipo: Ponencia
*
Darı́o Garcı́a

Resumen

La construcción de ultraproductos es una forma de tomar un lı́mite

estructural de una clase dada de estructuras de primer orden. Comenzan-
do con una clase C = {Mi : i ∈ N} de estructuras finitas y un ultrafiltro
no-principal
Q U sobre N, se obtiene una estructura (posiblemente infinita)
M = U Mi que satisface las mismas propiedades de primer orden que se
cumplan asintóticamente en las estructuras Mi .

Decimos que una estructura M es pseudofinita si es equivalente a un

ultraproducto de estructuras finitas, o equivalentemente, si toda propie-
dad de primer orden válida en M también es válida en alguna estructura
finita. El ejemplo prototı́pico de una estructura pseudofinita es el grafo
aleatorio, que aparece de forma natural en tres formas diferentes: es la
versión lı́mite del modelo probabilı́stico G(n, p) de Erdős en el cual se
tiene un grafo con n v értices y se asignan aristas aleatoriamente con pro-
babilidad p, también es el ultraproducto de los grafos de Payley definidos
en campos finitos, y finalmente es el único grafo contable que satisface
los axiomas del restaurante de Alice: para cualesquiera v értices distintos
v1 , . . . , vn , w1 , . . . , wm existe un vértice u que está relacionado con todos
los vi0 s y con ninguno de los wj0 s.

Para los ultraproductos de estructuras finitas, el teorema de Loś pre-

senta una profunda conexión entre conjuntos finitos e infinitos, en el que
cada conjunto definible tiene una cardinalidad no-estándar, y pueden uti-
lizarse métodos combinatóricos para probar propiedades cualitativas de
estructuras finitas de gran tamaño, como se muestra en los trabajos [?],
[?] ó [?].
* Universidad de los Andes, Bogotá - Colombia, e-mail: da.garcia268@uniandes.edu.co

1
 En la otra dirección, Macpherson y Steinhorn definieron en [?] el con-
cepto de clases asintóticas, que son clases de estructuras finitas con un
control cuantitativo en el tamaño de conjuntos definibles, y mostraron
que estas restricciones inducen propiedades modelo-teóricas importantes
en sus ultraproductos. Entre los ejemplos más notables de clases asintóti-
cas se encuentran la clase de campos finitos, los grupos cı́clicos finitos, los
grafos de Payley, entre otros.

En esta charla introduciremos los conceptos mencionados anteriormen-

te, teniendo como caso de estudio el bosque siempre infinito, que es un
grafo acı́clico G en el cual cada vértice tiene grado infinito. Este es un
ejemplo conocido de una estructura ω-estable con rango de Morley ω, y
mostraremos que G es elementalmente equivalente a un ultraproducto M
de grafos finitos, proporcionando además una descripción precisa de los
tamaños de sus conjuntos definibles en términos de polinomios con co-
eficientes en Z evaluados en las cardinalidades no estándar α = |M | y
β = |B1 (a)|, el tamaño uniforme de la bola de radio 1 en el ultraproducto.

Estos resultados son trabajo conjunto con Melissa Robles, matemática

de la Universidad de los Andes.

Palabras & frases claves: Ultraproductos, estructuras finitas, grafos,

teorı́a de modelos, rango de Morley, combinatoria, clases asintóticas.

Referencias
[1] Di Nasso, M., Goldbring, I., Lupini, M. Nonstandard Methods in Ramsey
Theory and Combinatorial Number Theory. Springer. Lectures on Mathe-
matics, 2239. (2019)

[2] Garcı́a, D., Macpherson, H.D., Steinhorn, C. Pseudofinite structures and

simplicity. Journal of Mathematical Logic, vol.15 (2015)
[3] Hrushovski, E. On pseudo-finite dimensions. Notre Dame Journal of Formal
Logic, vol. 53 (2013)
[4] Macpherson, H.D., Steinhorn, C. One-dimensional asymptotic classes of
finite structures. Transactions of the American Mathematical Society, vol.
360 (2008)
[5] Tao, T. Expanding polynomials over finite fields of large characteristic, and
a regularity lemma for definable sets. Contributions to discrete mathema-
tics, vol. 10 (2015)

[6] Wolf, D. Multidimensional exact classes, smooth approximation and boun-

ded 4-types. Journal of Symbolic Logic, vol. 85 (2020)

2
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Medida cero módulo ideales

Tipo: semi plenaria
Diego A. Mejı́a*

Resumen

Los subconjuntos de medida cero pueden ser caracterizados, de forma

combinatoria, usando el ideal Fin de subconjuntos finitos de los naturales.
Sin embargo, ¿qué sucede si en esta caracterización se reemplaza el ideal
Fin por otro ideal en los naturales? Presentamos una dicotomı́a de ideales
que decide si la noción resultante sigue caracterizando los conjuntos de
medida cero, o si se obtiene otra noción más fuerte. También discutimos
la conexión de estas nociones con categorı́a de Baire y con los conjuntos
Fσ de medida cero, y sus cardinales caracterı́sticos. Este es un trabajo en
conjunto con Viera Šottová.

Palabras & frases claves: Medida cero, ideales en los naturales, categorı́a
de Baire, cardinales caracterı́sticos del continuo.

* Shizuoka University, Shizuoka - Japón, e-mail: diego.mejia@shizuoka.ac.jp

1
 XI Simposio Nororiental de
Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Reflexiones sobre el problema de

Roitman
Tipo: (Ponencia)

Osvaldo Guzman Gonzalez*

Resumen

El problema de Roitman es uno de los problemas más importantes en

la teorı́a de invariantes del continuo. El problema es el siguiente:
¿Si existe familia dominante de tamaño ω1 , entonces
existe una familia MAD de tamaño ω1 ?

En esta plática hablaremos sobre algunos resultados parciales y en-

foques para atacar este problema. Hablaré sobre resultados que fueron
obtenidos junto con Michael Hrušák, Dilip Raghavan y Joerg Brendle.

* Centro de Ciencias Matematicas (UNAM), Morelia - Mexico, e-mail: oguz-

man@matmor.unam.mx

1
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Pequeños cardinales no enumerables y su

papel en topologı́a
Tipo: Cursillo
Ramiro de la Vega*

Resumen

El teorema de Cantor nos dice que c, el cardinal del conjunto de nú-

meros reales, es estrictamente más grande que ℵ0 , el cardinal del conjunto
de números naturales. Es decir que ℵ1 ≤ c, donde ℵ1 es el primer cardinal
no enumerable.
Preguntas sobre la estructura combinatoria de espacios como P(N), NN
N
ó 2 llevan a definir de manera natural varios cardinales que se encuentran
en el intervalo [ℵ1 , c]. Estos cardinales, comúnmente llamados cardinales
invariantes del continuo (o cardinales caracterı́sticos del continuo), tienen
muchas conexiones con otras áreas de las matemáticas, especialmente con
la topologı́a general.
En este cursillo exploraremos algunos de estos cardinales. Veremos sus
definiciones, las relaciones que hay entre ellos y algunas de sus conexiones
con topologı́a. No asumiremos ningún conocimiento previo más allá de un
curso básico en topologı́a.

Palabras & frases claves: Cardinales invariantes del continuo.

* Universidad de los Andes, Bogotá - Colombia, e-mail: rade@uniandes.edu.co

1
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Aspectos de la teorı́a de conjuntos en

estructuras algebraico-topológicas
Tipo: Ponencia
Ulises Ariet Ramos Garcı́a*

Resumen

Las técnicas modernas de la teorı́a de conjuntos como lo son el método

de forcing, los principios de adivinanza, la teorı́a de ultrafiltros y la teorı́a
de Ramsey infinita entre otras, han mostrado que las restricciones que
puede imponer el álgebra sobre la topologı́a de una estructura algebraico-
topológica puede depender en gran medida de las hipótesis de la teorı́a de
conjuntos que se estén asumiendo. En esta charla mostraremos cómo di-
chas técnicas han influido en el estudio y/o solución de algunos problemas
centrales de la teorı́a general de los grupos topológicos.

Palabras & frases claves: Grupos topológicos, forcing, ultrapotencias,

principios de adivinanza, teorı́a de Ramsey infinita.

Referencias
[1] Arhangel’skii, A. V. Selected old open problems in general topology, Bule-
tinul Academiei de Ştiinţe a Republicii Moldova. Matematica (2013), no.
2-3, 37–46.
[2] Hrušák, M. and Moore, J. T. Twenty problems in set theoretic topology,
Open problems in topology II, Elsevier (2007).
[3] Hrušák, M. and Ramos-Garcı́a, U. A. Malykhin’s problem, Adv. Math. 262
(2014), 193–212.
* Universidad Nacional Autónoma de México, Morelia-Michoacán, México, e-mail:

ariet@matmor.unam.mx

1
[4] Hrušák, M. and van Mill, J. and Ramos-Garcı́a, U. A. and Shelah, S. Coun-
tably compact groups without non-trivial convergent sequences, Trans.
Amer. Math. Soc. 374 (2021), no. 2, 1277–1296.
[5] Martı́nez-Ranero, C. A. and Ramos-Garcı́a, U. A. On a construction of
Malykhin, Topology Proc. 53 (2019), 209–218.

2
 XI Simposio Nororiental de
Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia
Omisión de tipos y el teorema de Baire
Xavier Caicedo*

Resumen

Un espacio topológico es de Baire si la unión de enumerables subconjun-

tos cerrados de interior vacío tiene interior vacío. El siguiente resultado,
demostrado orginalmente por Baire para el espacio métrico de los reales
tiene múltiples aplicaciones en análisis y topología.
TB. Todo espacio pseudométrico completo o compacto regular es de Baire.
Un k-tipo de una teoría enumerable de primer orden T es simplemente una
colección de fórmulas t = f'n (x1 ; ::; xk ) : n 2 !g satisfecha por alguna
k-tupla de elementos de algún modelo de T: Es principal si es implicado
por un tipo …nito de T . El resultado siguiente es fundamental en el estudio
y clasi…cación de los modelos de las teorías enumerables.
Omisión de tipos. Si ftn gn2! es una familia enumerable de tipos no
principales de una teoría enumerable T; entonces T tiene un modelo cuyos
elementos no satisfacen ningún tn :
Ahora bien, el espacio de modelos de cualquier teoría de primer orden T so-
porta una topología natural que resulta compacta regular, y pseudometriz-
able completa si T es enumerable. Esto nos permite utilizar el teorema de
Baire para dar una demostración esencialmente topológica del teorema de
omisión de tipos, no solamente para la lógica de primer orden sino para
la lógica in…nitaria L!1 ! y la lógica continua. Por otra parte, el Axioma
de Martin AM se sabe equivalente al teorema de Baire para familias de
< 2! cerrados de interior vacío en espacios con la condición de cadena
contable. Obtenemos entonces:
Teorema AM (para órdenes enumerables) implica omisión de familias
de < 2! tipos no principales de teorías enumerables.
Es razonable conjeturar, en el espíritu de la matemática reversa, que am-
bas a…rmaciones son equivalentes. Debe observarse que por un resultado
de Shelah omisión de < 2! tipos completos para teorías de primer orden
puede demostrarse en ZFC sin hipótesis adicionales.

* Universidad de los Andes, Bogotá - Colombia, e-mail: xcaicedo@uniandes.edu.co

1
XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Resúmenes de charlas cortas y cursillos.

Lógica y Teorı́a de Conjuntos.

1
 XI Simposio Nororiental de
Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Patologı́a de submedidas
Tipo: Ponencia
David Meza Alcántara*

Resumen

Una submedida sobre un conjunto X es una función ϕ de la potencia

de X en [0, ∞] tal que
1. ϕ(∅ = 0, y
2. máx{ϕ(A), ϕ(B)} ≤ ϕ(A ∪ B) ≤ ϕ(A) + ϕ(B), para cualesquiera
A, B ⊆ X.
Cuando X es numerable, salvo una biyección solemos suponer X = N
y decimos que ϕ es inferiormente semicontinua si ϕ(A) = lı́mn ϕ(A∩[0, n].
En este caso las familias

F in(ϕ) = {A ⊆ N : ϕ(A) < ∞}, y

Exh(ϕ) = {A ⊆ N : lı́m ϕ(A ∩ [n, ∞)) = 0}

n

son ideales sobre N, que vistos como subespacios de la potencia de N

dotada por la topologı́a del producto de este conjunto visto como 2N ,
son de tipo Fσ y Fσδ , respectivamente. Dos teoremas de Mazur y Solecki
respectivamente, muestran que todos los ideales de tipo Fσ son de la forma
F in(ϕ) y todos los P-ideales analı́ticos son de la forma Exh(ϕ), donde ϕ
es una submedida inferiormente semicontinua sobre N.
Ilijas Farah hizo un profundo estudio sobre los cocientes P (N)/I donde
I es un P-ideal analı́tico. Farah estuvo interesado en una conjetura de Ste-
vo Todorčević sobre los homomorfismos Baire-medibles entre álgebras de
este estilo, los cuales (en ocasiones?) son inducidos por simples funciones
de N en N, esto es, que tienen un levantamiento completamente aditivo.
* Universidad Nacional Autónoma de México, Ciudad de México, e-mail: dme-

za@ciencias.unam.mx

1
En este estudio Farah puso en relieve la importancia del concepto de pato-
logı́a de submedidas en este contexto, inspirado en el más difundido pero
diferente concepto de patologı́a de submedidas en álgebras booleanas sin
átomos, de gran importancia en la teorı́a desarrollada a partir del Proble-
ma de la Medida de Control de Dorothy Maharam y John von Neumann.
El resultado de Farah (en ZFC) es que justamente en la clase de los ideales
no patológicos, (una subclase de la familia de los P-ideales analı́ticos) la
Conjetura de Todorčević se cumple.
Una submedida es patológica en tanto que su comportamiento discrepa
de las medidas a las que domina. Existen varias nociones de grado de
patologı́a (por ejemplo Topsoe y Bandt ) pero consideraremos la siguiente,
debida a Farah. Para una submedida ϕ sobre un conjunto X, se denota
por
ϕ̂(A) = sup{µ(A) : µ es una medida dominada por ϕ}.
y el grado de patologı́a de ϕ se define por
 
ϕ(A)
P (ϕ) = sup : ∅ 6= A ⊆ X .
ϕ̂(A)

Se dice que un ideal I es no patológico si existe una submedida infe-

riormente semicontinua ϕ con P (ϕ) = 1 tal que I = Exh(ϕ).
Gracias al trabajo de Farah, el concepto de patologı́a de submedidas
sobre conjuntos numerables adquirió notoriedad. Kanovei y Reeken, So-
lecki, y Hrušák recurrieron a este concepto para caracterizar diferentes
familias de ideales, como los que satisfacen el Lema de Fatou, la Propie-
dad de Fubini, y la dicotomı́a de Categorı́a de Hrušák. Más recientemente,
Borodulin-Nadzieja, Farkas y Plebanek retomaron el concepto y notaron
que los ideales exhaustivos de submedidas no patológicas son representa-
bles mediante sucesiones incondicionalmente convergentes en espacios de
Banach. Es notable que el concepto de patologı́a ha sido abordado siempre
en el contexto de los P-ideales analı́ticos. Muy recientemente, Jorge Martı́-
nez y Carlos Uzcátegui pusieron atención en los ideales representables por
sucesiones perfectamente acotadas en espacios de Banach, que a diferencia
de la familia de ideales representables por sucesiones incondicionalmente
convergentes, es subfamilia de los ideales Fσ , y justamente tienen la forma
F in(ϕ) para alguna submedida no-patológica. Esta es la primera vez que
el concepto de patologı́a emerge en el contexto de ideales Fσ .
Paradojicamente, en estos momentos la patologı́a de ideales Fσ es sólo
hipotética. Sobre algunos ideales es todavı́a desconocido si éstos son o
no patológicos, pues de hecho, las submedidas que han sido analizadas
hasta ahora han resultado tener grados de patologı́a finitos. Si P (ϕ) < ∞
entonces existe otra submedidad ψ tal que P (ψ) = 1 y F in(ψ) = F in(ϕ).
Entonces la pregunta central es ¿existe una submedida ϕ con P (ϕ) = ∞?
Y si la hubiera,¿habrı́a una submedida ψ tal que P (ψ) < ∞ y F in(ψ) =
F in(ϕ)? Dirı́amos que un ideal Fσ es patológico si para toda submedida
ϕ tal que I = F in(ϕ) ocurriera que P (ϕ) = ∞. Entonces, ¿hay ideales Fσ
patológicos?

Palabras & frases claves: Submedidas no patológicas.

2
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Coideales y ultrafiltros en el espacio de

particiones
Tipo: (Ponencia)
*
Julián C. Cano

Resumen

La teorı́a de Ramsey relativa al espacio relaciones de equivalencia

sobre N con cocientes infinitos, conocida como teorı́a dual de Ramsey,
fue iniciada por Carlson y Simpson en [2] y continuada por Halbaisen,
Matet y Todorcevic en [3, 4, 5, 6, 7, 8], donde se han estudiado propiedades
combinatorias para familias de particiones que son análogas a propiedades
tipo Ramsey para familias de subconjuntos infinitos de naturales.
En esta charla, presentaremos un panorama general de la teorı́a dual
de Ramsey y de la estructura combinatoria asociada al espacio Ramsey de
las particiones infinitas de N. En particular, expondremos las nociones de
selectividad y semiselectividad para coideales en el espacio de particiones,
con el objetivo de concluir con una versión local del teorema dual de
Ellentuck, tal como lo proponemos en [1].
Este es un trabajo en conjunto con Carlos A. Di Prisco.

Palabras y frases claves: espacio Ramsey, propiedad dual de Ramsey,

particiones.

Referencias
[1] Cano, J.C. and Di Prisco, C.A. The space of infinite partitions of N as a
topological Ramsey sapce. Revista de la Unión Matemática Argentina, (to
appear).
* Universidad de los Andes, Bogotá - Colombia, e-mail: jc.canor@uniandes.edu.co

1
[2] Carlson, T.J. and Simpson, S.G. A dual form of Ramsey’s theorem
Advances in Mathematics, 53: 265-290. (1984).
[3] Halbeisen, L. Symmetries between two Ramsey properties. Archive for
Mathematical Logic, 37: 241-260. (1998).

[4] Halbeisen, L. Ramseyan ultrafilters. Fundamenta Mathematicae, 169:

233-248. (2001).
[5] Halbeisen, L. and Matet, P. A generalization of the dual Ellentuck Theorem.
Archive for Mathematical Logic, 42: 103-128. (2003).
[6] Matet, P. Partitions and filters. Journal of Symbolic Logic, 51: 12-21.
(1986).
[7] Matet, P. Some filters of partitions. Journal of Symbolic Logic, 53: 540-553.
(1988).
[8] Todorcevic, S. Introduction to Ramsey spaces. Princeton University Press,
Princeton, New Jersey. (2010).

2
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Propiedad de Pettis
Tipo: Ponencia
Karen Daniela Arana Romero*

Resumen

El estudio de grupos topológicos donde la topologı́a es polaca, esto

es, separable y completamente metrizable, ha recibido considerable aten-
ción en los últimos años (ver por Ejemplo [3]). Un hecho particularmente
interesante es que algunos grupos admiten una única topologı́a polaca
compatible con la estructura de grupo. Estos resultados están conecta-
dos con otro fenómeno interesante de los grupos polacos: la continuidad
automática.
La prueba de ese resultado hace uso del Teorema de Pettis que es
una versión abstracta de un conocido resultado del análisis que dice que
si A ⊆ R es un conjunto no magro con la Propiedad de Baire, entonces
{x − y : x, y ∈ A} contiene un intervalo abierto alrededor del cero.
En esta presentación definiremos la Propiedad de Pettis, la cual ex-
tiende el Teorema de Pettis al contexto de semigrupos inversos polacos.
Mostraremos dos ejemplos de semigrupos inversos polacos: uno que tie-
ne la propiedad y otro que no. Ambos ejemplos relacionados a I(N), la
colección de todas las biyecciones entre subconjuntos de N. Se sabe que
I(N) admite una única topologı́a polaca que lo hace semigrupo inverso
topológico (ver [2, 4]).

Palabras & frases claves: Semigrupo inverso polaco, teorema de Pettis.

Referencias
[1] Di Prisco, C. y Uzcátegui, C. Una introducción a la teorı́a descriptiva de
conjuntos. Universidad de Los Andes, Bogotá, 2020.
* Universidad Industrial de Santander, Bucaramanga - Colombia, e-mail: ka-
ren.arana@correo.uis.edu.co

1
[2] Elliott, L., Jonuas, J., Mesyan, Z., Mitchell, J. D., Morayne, M. and Péresse,
Y. Automatic continuity, unique Polish topologies, and Zariski topologies
(Part I, monoids). arxiv.org/abs/1912.07029v3 2020.
[3] Gao, S. Invariant Descriptive Set Theory, Chapmann & Hall, 2009.

[4] Pérez, J. Topologı́as sobre semigrupos inversos. Tesis de maestrı́a. Univer-

sidad Industrial de Santander, Diciembre 2019.

2
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Un modelo donde 3 cardinales caracterı́sticos

asociados al ideal de medida fuertemente
cero son diferentes dos a dos.
Tipo: Ponencia
Miguel Cardona*

Resumen

Yorioka [1] construyó una matriz de subconjuntos de los reales, el cual

da un isomorfismo de Tukey entre el σ-ideal de los conjuntos de medida
fuertemente cero SN y hκκ , ≤∗ i, para demostrar que cof(SN ) = dκ (el
número dominante en κκ ) siempre que add(If ) = cof(If ) = κ para todos
los f crecientes (donde If son los ideales de Yorioka).
En esta charla presentamos un sistema dominante completo (ver [2])
que generaliza la matriz de Yorioka en algún sentido, y construimos un sis-
tema dominante completo a través de una matriz de iteraciones de posets
ccc para forzar add(SN ) = cov(SN ) < non(SN ) < cof(SN ).
Por otro lado, el expositor con Mejı́a y Rivera-Madrid [3] demostró que,
en el modelo de Sacks, add(SN ) = non(SN ) < cov(SN ) < cof(SN ), el
cual es el primer resultado donde 3 cardinales caracterı́sticos asociados a
SN son diferentes dos a dos.

Referencias
[1] Teruyuki Yorioka. The cofinality of the strong measure zero ideal. J. Sym-
bolic Logic, 67(4): 1373-1384, 2002
* Instituto de Matemáticas Discretas y Geometrı́a, Universidad Tecnólogica de Viena, Vie-

na, Austria, e-mail: miguel.montoya@tuwien.ac.at

1
[2] Miguel A. Cardona. On cardinal characteristics associated with the strong
measure zero ideal. Submited, arXiv:2003.07066,2020.
[3] Miguel A. Cardona, Diego A. Mejı́a, and Ismael E. Rivera Madrid. The
covering number of the strong measure zero ideal can be above almost
everything else. Arch. Math. Logic, 2021. To appear, arXiv:1902.01508.

2
 XI Simposio Nororiental de Matemáticas
Diciembre 1 - 3, 2021, Bucaramanga, Colombia

Propiedad Schröder-Bernstein en
randomizaciones separables.
Tipo: Ponencia
Nicolás Cuervo Ovalle*

Resumen

Una teorı́a T tiene la propiedad Schröder-Bernstein o, simplemente, la

propiedad-SB si todo par de modelos bi-elementalmente sumergibles son
isomorfos. Esta propiedad ha sido bien estudiada para teorı́as en primer
orden (p.ej [2],[3]), sin embargo, resulta ser una propiedad inexplorada en
el contexto continuo.

Este trabajo es un primer estudio de la propiedad-SB en teorı́as conti-

nuas, en el cual usando la caracterización de randomizaciones separables
en [1] se probó que si una teorı́a de primer orden T tiene la propiedad-SB,
entonces su teorı́a aleatorizada T R tiene la propiedad-SB para randomiza-
ciones separables. Lo anterior, da como corolario que una teorı́a de primer
orden T tiene la propiedad-SB para modelos contables si y solo si T R tiene
la propiedad-SB para modelos separables.

Palabras & frases claves: Lógica continua, randomizaciones, propiedad

Schröder-Bernstein.

Referencias
[1] Andrews, Uri, and H. Jerome Keisler. Separable models of randomizations.
The Journal of Symbolic Logic 80.4 (2015): 1149-1181.
[2] Goodrick, John, and Michael Laskowski. The Schröder-Bernstein property
for a-saturated models. Proceedings of the American Mathematical Society
142.3 (2014): 1013-1023.
[3] Goodrick, John, and Michael C. Laskowski. The Schröder-Bernstein pro-
perty for weakly minimal theories. Israel J. Math. 188 (2012): 91-110.
* Universidad de los Andes, Ciudad - Bogotá, e-mail: n.cuervo10@uniandes.edu.co