|
Teoría de Conjuntos |
11,464 Mensajes |
Último mensaje por geómetracat |
|
|
Lógica |
5,139 Mensajes |
Último mensaje por pablitux |
|
|
Metamatemática - Teoría de Modelos |
2,226 Mensajes |
Último mensaje por RDC |
|
|
Autómatas y lenguajes formales |
1,043 Mensajes |
Último mensaje por manooooh |
| Asunto / Iniciado por | Respuestas  / Vistas |
|||
|---|---|---|---|---|
| 0 Usuarios y 1 Visitante están viendo este foro. | ||||
|
|
0 Respuestas
894 Vistas |
26 Febrero, 2015, 10:13 ampor Luis Fuentes |
|
|
|
0 Respuestas
747 Vistas |
09 Julio, 2015, 12:06 am por Raúl Aparicio Bustillo |
|
|
|
|
Sobre proposiciones intrínsicamente indecidibles y esquemas de axioma
Iniciado por cuarentaydos |
0 Respuestas
764 Vistas |
09 Julio, 2015, 10:50 am por cuarentaydos |
|
|
|
0 Respuestas
797 Vistas |
11 Julio, 2015, 03:38 pm por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
953 Vistas |
31 Julio, 2015, 11:36 am por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
969 Vistas |
01 Agosto, 2015, 04:13 pm por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
1,017 Vistas |
11 Agosto, 2015, 05:18 pm por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
880 Vistas |
19 Agosto, 2015, 12:43 pm por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
961 Vistas |
05 Septiembre, 2015, 12:46 pm por Raúl Aparicio Bustillo |
|
|
|
|
¿ZC metamatemático?
Iniciado por Raúl Aparicio Bustillo |
0 Respuestas
900 Vistas |
06 Septiembre, 2015, 07:44 pm por Raúl Aparicio Bustillo |
|
|
|
0 Respuestas
928 Vistas |
07 Septiembre, 2015, 11:05 am por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
926 Vistas |
10 Septiembre, 2015, 11:50 am por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
890 Vistas |
17 Septiembre, 2015, 09:01 am por Raúl Aparicio Bustillo |
|
|
|
|
Relación NBG y ZFC
Iniciado por Raúl Aparicio Bustillo |
0 Respuestas
989 Vistas |
19 Septiembre, 2015, 04:55 pm por Raúl Aparicio Bustillo |
|
|
|
0 Respuestas
940 Vistas |
21 Septiembre, 2015, 05:54 pm por Raúl Aparicio Bustillo |
|
|
|
|
¿MK consistente?
Iniciado por Raúl Aparicio Bustillo |
0 Respuestas
971 Vistas |
27 Septiembre, 2015, 08:48 am por Raúl Aparicio Bustillo |
|
|
|
0 Respuestas
899 Vistas |
30 Septiembre, 2015, 07:17 am por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
863 Vistas |
02 Julio, 2015, 05:58 pm por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
851 Vistas |
30 Junio, 2015, 08:14 pm por Raúl Aparicio Bustillo |
|
|
|
|
0 Respuestas
979 Vistas |
28 Octubre, 2014, 07:16 pm por Raúl Aparicio Bustillo |
|
|
|
|
Duda clase NP
Iniciado por divitr |
0 Respuestas
1,006 Vistas |
23 Febrero, 2015, 08:33 pm por divitr |
|
|
|
Modelo mínimo en ZFC
Iniciado por Raúl Aparicio Bustillo |
0 Respuestas
866 Vistas |
06 Marzo, 2015, 02:48 am por Raúl Aparicio Bustillo |
|
|
|
0 Respuestas
929 Vistas |
14 Marzo, 2015, 08:51 am por Raúl Aparicio Bustillo |
|
|
|
|
Sobre el axioma de reemplazo
Iniciado por sma.th |
0 Respuestas
1,184 Vistas |
17 Febrero, 2015, 09:11 pm por sma.th |
|
|
|
0 Respuestas
833 Vistas |
11 Mayo, 2015, 05:26 am por Raúl Aparicio Bustillo |
|
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado