Asunto / Iniciado por | Respuestas / Vistas | |||
---|---|---|---|---|
0 Usuarios y 3 Visitantes están viendo este foro. | ||||
Semántica
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
1,687 Vistas |
07 Abril, 2011, 11:51 pm por Garubi |
||
¿Universo que no existe?
Iniciado por Raúl Aparicio Bustillo |
2 Respuestas
1,693 Vistas |
28 Agosto, 2011, 03:12 pm por Raúl Aparicio Bustillo |
||
Lógica de proposiciones
Iniciado por Lilibrav |
2 Respuestas
1,717 Vistas |
13 Junio, 2021, 03:59 pm por Lilibrav |
||
Teoría categórica de primer orden
Iniciado por Raúl Aparicio Bustillo |
3 Respuestas
1,792 Vistas |
06 Agosto, 2011, 01:37 pm por Óscar Matzerath |
||
¿Qué es una semántica?
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
1,801 Vistas |
18 Enero, 2011, 09:37 pm por Óscar Matzerath |
||
Semántica de la lógica proposicional
Iniciado por _fing |
3 Respuestas
1,868 Vistas |
15 Abril, 2011, 07:07 pm por Óscar Matzerath |
||
85 Respuestas
1,933 Vistas |
12 Junio, 2023, 08:43 am por Eparoh |
|||
3 Respuestas
1,965 Vistas |
03 Agosto, 2011, 05:13 pm por Óscar Matzerath |
|||
Indagando en los naturales no estándar
Iniciado por argentinator |
4 Respuestas
1,967 Vistas |
20 Marzo, 2011, 02:12 am por argentinator |
||
Consistencia de un modelo
Iniciado por skjgnlje |
1 Respuestas
2,011 Vistas |
21 Abril, 2021, 08:45 pm por geómetracat |
||
1 Respuestas
2,058 Vistas |
06 Diciembre, 2011, 11:08 pm por Carlos Ivorra |
|||
Modelo mínimo en ZFC
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,092 Vistas |
23 Noviembre, 2012, 01:20 pm por Carlos Ivorra |
||
0 Respuestas
2,158 Vistas |
22 Octubre, 2012, 12:24 pm por Raúl Aparicio Bustillo |
|||
Modelos y consistencia
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,175 Vistas |
21 Septiembre, 2010, 04:27 pm por argentinator |
||
Conjuntos y otras colecciones
Iniciado por Raúl Aparicio Bustillo |
2 Respuestas
2,187 Vistas |
04 Septiembre, 2011, 11:50 pm por Raúl Aparicio Bustillo |
||
Modelos de NFU
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,235 Vistas |
21 Octubre, 2011, 02:20 pm por Carlos Ivorra |
||
Funciones externas a un modelo
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,265 Vistas |
17 Diciembre, 2012, 08:57 pm por Carlos Ivorra |
||
1 Respuestas
2,293 Vistas |
27 Noviembre, 2012, 12:46 pm por Carlos Ivorra |
|||
1 Respuestas
2,344 Vistas |
21 Octubre, 2011, 02:07 pm por Carlos Ivorra |
|||
Consecuencia lógica
Iniciado por Raúl Aparicio Bustillo |
5 Respuestas
2,347 Vistas |
04 Agosto, 2011, 12:32 pm por Óscar Matzerath |
||
3 Respuestas
2,360 Vistas |
17 Noviembre, 2012, 03:46 pm por Carlos Ivorra |
|||
Sobre ordinales y modelos
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,372 Vistas |
09 Diciembre, 2012, 01:31 am por Carlos Ivorra |
||
Principio de reflexión
Iniciado por Raúl Aparicio Bustillo |
3 Respuestas
2,381 Vistas |
23 Octubre, 2010, 01:09 am por argentinator |
||
Conjuntos y predicados
Iniciado por Raúl Aparicio Bustillo |
3 Respuestas
2,417 Vistas |
07 Noviembre, 2011, 12:36 am por Carlos Ivorra |
||
Isomorfismo
Iniciado por KatherineR |
1 Respuestas
2,432 Vistas |
09 Marzo, 2021, 12:51 pm por Fernando Revilla |
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado