4

1 Resp
1075 Visitas

Menos ordinal no en una contables modelo transitivo de ZFC

Solucionado

4

5 Resp
2046 Visitas

¿La reflexividad de la igualdad es un axioma o un teorema?

Solucionado

4

3 Resp
1142 Visitas

Principio del casillero para caso infinito

Abierta

4

3 Resp
919 Visitas

Problemas lógicos en la teoría de la categoría

Cerrada

4

2 Resp
567 Visitas

El primer teorema de incompletitud de Godel: aclaración.

Solucionado

4

2 Resp
249 Visitas

Goedelizability y decidability de una propiedad de Peano fórmulas

Solucionado

5

3 Resp
715 Visitas

Formalización de prueba

Solucionado

5

5 Resp
1588 Visitas

Independencia de la hipótesis del continuo en ZFC

Solucionado

6

2 Resp
356 Visitas

Cofinality de Theta si existen objetos cortopunzantes

Solucionado

6

3 Resp
807 Visitas

¿Dónde vive el triángulo genérico?

Abierta

7

2 Resp
409 Visitas

cierre de cocientes separative

Solucionado

6

3 Resp
1123 Visitas

Formalización de la "no basura, no hay confusión"

Solucionado

8

2 Resp
1015 Visitas

Números ordinales que no son conjuntos de

Solucionado

7

1 Resp
1023 Visitas

Scott en la consistencia del cálculo lambda

Solucionado

8

1 Resp
446 Visitas

una prueba de que L_min no está en el núcleo?

Abierta

7

3 Resp
1545 Visitas

aleatoriedad en la naturaleza

Solucionado

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by: