Random Jack es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Equivalencia elemental de modelos
el 25 de Diciembre, 2015 3 votos - 1 resp
Modelos de clase de $\mathsf{ZFC}$ y resultados de consistencia
el 27 de Enero, 2016 6 votos - 1 resp
La inclusión local implica incrustarse en un ultraproducto
el 23 de Septiembre, 2018 5 votos - 1 resp
Nombre de la propiedad de empotrar
el 8 de Julio, 2018 5 votos - 1 resp
Usando el teorema de compacidad para refutar axiomatizability
el 14 de Abril, 2017 6 votos
Últimas Respuestas
- 2 votos
Duda sobre la prueba del Teorema de Dilworth
el 1 de Septiembre, 2014 2 votos - 1 votos
¿Por qué se mantiene esta derivación vectorial?
el 2 de Agosto, 2014 1 votos - 2 votos
Mostrar que $\int^\infty_0$ $\int^\infty_0$ sin($x^2$+$y^2$) dxdy valor es $\frac{\pi}{4}$
el 31 de Enero, 2015 2 votos - 2 votos
- 4 votos
¿Cuál es la lógica más expresiva para que las presentaciones de las estructuras algebraicas "funcionen"?
el 3 de Septiembre, 2014 4 votos
Etiquetas favoritas
- 4 x universal-algebra
- 2 x model-teoría
- 2 x lógica
- 2 x model-theory
- 1 x solicitud-de-referencia
- 1 x directa-de-productos-de
- 1 x proof-teoría