andrewmh20 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Es la categoría de la teoría ambiguo? o simplemente es el caso para los principiantes?
el 26 de Abril, 2019 4 votos - 1 resp
Pregunta sobre la prueba del teorema de completitud.
el 22 de Abril, 2019 4 votos - 1 resp
¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?
el 27 de Febrero, 2019 4 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x lógica
- 1 x model-teoría
- 1 x first-order-lógica
- 1 x predicate-lógica
- 1 x solicitud-de-referencia
- 1 x pregunta-teórica
- 1 x category-teoría