| Asunto / Iniciado por | Respuestas / Vistas | |||
|---|---|---|---|---|
| 0 Usuarios y 1 Visitante están viendo este foro. | ||||
|
|
Teorías Aritméticas no estandar
Iniciado por Cristian C |
2 Respuestas
4,673 Vistas |
27 Marzo, 2013, 02:22 pmpor Carlos Ivorra |
|
|
|
Mostar que una teoría es completa.
Iniciado por lilaliliana |
2 Respuestas
3,309 Vistas |
20 Marzo, 2013, 05:15 am por lilaliliana |
|
|
|
1 Respuestas
2,923 Vistas |
13 Febrero, 2013, 11:17 pm por Carlos Ivorra |
|
|
|
|
Duda sobre ZFC2
Iniciado por Raúl Aparicio Bustillo |
9 Respuestas
4,967 Vistas |
12 Febrero, 2013, 08:20 pm por Carlos Ivorra |
|
|
|
Metamatemática
Iniciado por Raúl Aparicio Bustillo |
4 Respuestas
3,201 Vistas |
31 Enero, 2013, 12:16 pm por argentinator |
|
|
54 Respuestas
17,139 Vistas |
26 Enero, 2013, 04:05 pm por feriva |
|
|
|
|
Una compleción "virtual"
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,848 Vistas |
07 Enero, 2013, 03:42 pm por Carlos Ivorra |
|
|
|
Una cuestión sobre el teorema de Lowenheim-Skolem
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
11 Respuestas
5,303 Vistas |
05 Enero, 2013, 09:57 pm por Cristian C |
|
|
|
Sobre un sistema axiomático
Iniciado por Weierstrass |
1 Respuestas
2,489 Vistas |
19 Diciembre, 2012, 04:44 pm por Cristian C |
|
|
|
¿Es la matemática consistente?
Iniciado por Weierstrass |
7 Respuestas
4,809 Vistas |
19 Diciembre, 2012, 12:46 pm por Weierstrass |
|
|
|
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 |
|
|
|
Sobre ordinales y modelos
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,371 Vistas |
09 Diciembre, 2012, 01:31 am por Carlos Ivorra |
|
|
|
1 Respuestas
2,289 Vistas |
27 Noviembre, 2012, 12:46 pm por Carlos Ivorra |
|
|
|
|
6 Respuestas
3,313 Vistas |
26 Noviembre, 2012, 08:47 pm por Carlos Ivorra |
|
|
|
|
Dudas con ordinales y modelos
Iniciado por Raúl Aparicio Bustillo |
3 Respuestas
2,480 Vistas |
23 Noviembre, 2012, 08:34 pm por Carlos Ivorra |
|
|
|
Modelo mínimo en ZFC
Iniciado por Raúl Aparicio Bustillo |
1 Respuestas
2,090 Vistas |
23 Noviembre, 2012, 01:20 pm por Carlos Ivorra |
|
|
Ordinales
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
19 Respuestas
5,687 Vistas |
17 Noviembre, 2012, 09:02 pm por Carlos Ivorra |
|
|
|
3 Respuestas
2,358 Vistas |
17 Noviembre, 2012, 03:46 pm por Carlos Ivorra |
|
|
|
|
3 Respuestas
2,547 Vistas |
15 Noviembre, 2012, 10:48 pm por Carlos Ivorra |
|
|
|
|
8 Respuestas
5,117 Vistas |
12 Noviembre, 2012, 12:20 am por lilaliliana |
|
|
|
|
13 Respuestas
4,559 Vistas |
11 Noviembre, 2012, 09:22 pm por Carlos Ivorra |
|
|
|
|
Teorema de Lowënheim Skolem y teorías completas
Iniciado por Raúl Aparicio Bustillo « 1 2 » |
19 Respuestas
9,736 Vistas |
29 Octubre, 2012, 02:56 pm por Carlos Ivorra |
|
|
|
0 Respuestas
2,158 Vistas |
22 Octubre, 2012, 12:24 pm por Raúl Aparicio Bustillo |
|
|
|
|
"biyecciones" en NFA entre N y R
Iniciado por Raúl Aparicio Bustillo « 1 2 3 4 » |
32 Respuestas
15,345 Vistas |
12 Octubre, 2012, 10:26 pm por Raúl Aparicio Bustillo |
|
|
|
21 Respuestas
11,325 Vistas |
17 Septiembre, 2012, 06:23 pm por Carlos Ivorra |
|
Tema normal
Tema candente (Más de 15 respuestas)
Tema muy candente (Más de 25 respuestas)
Tema bloqueado
Tema fijado
