user2318170 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
- 1 resp
Localización en un número finito de ideales primos mínimos
el 23 de Junio, 2018 6 votos - 1 resp
Puntos de grado limitado en variedades
el 4 de Febrero, 2018 5 votos - 1 resp
¿Un sistema de "tipo diagonal" siempre es un conjunto nulo?
el 16 de Octubre, 2017 7 votos
Últimas Respuestas
- 5 votos
El conjunto de Locales es un subconjunto del conjunto de Topos.
el 4 de Septiembre, 2021 5 votos - 1 votos
Caracterizando sub-álgebras
el 3 de Marzo, 2020 1 votos - 12 votos
Cierre de la unión = Unión de cierres
el 26 de Octubre, 2016 12 votos - 4 votos
Hipótesis que implican total categoricidad
el 28 de Febrero, 2018 4 votos - 5 votos
- 1 votos
$\otimes$ - productos de tipos globales en $\text{RCF}$
el 25 de Julio, 2021 1 votos - 3 votos
Un "principio de transferencia" entre modelos de $\mathbf{ZF+AR}$ y $\mathbf{ZF}$
el 9 de Noviembre, 2019 3 votos
Etiquetas favoritas
- 77 x model-teoría
- 63 x lógica
- 34 x logic
- 28 x model-theory
- 18 x abstract-algebra
- 16 x first-order-lógica
- 14 x category-teoría