$$V^\mathbb{B}$$ satisface el axioma de unión

Iniciado por franma

Si $$x\in V_\alpha$$ entonces $$\check{x}\in V_\alpha^\mathbb{B}$$

Iniciado por franma

Principio de inducción en $$V^\mathbb{B}$$

Iniciado por franma

La verdad no es definible (Teorema de Tarski).

Iniciado por franma « 1 2 »

Si $$X$$ es transitivo entonces $$\text{Def}(X)$$ es transitivo.

Iniciado por franma

Definición del predicado $$F\vdash f$$ (para fórmulas internas)

Iniciado por franma « 1 2 »

Prueba del teorema de Löwenheim-Skolem descendente.

Iniciado por franma

Definición del predicado de verdad.

Iniciado por franma

Definición de funcional por R-recursión (con R una relación bien fundada).

Iniciado por franma

Prueba del teorema de colapso de Mostowski.

Iniciado por franma

Relaciones bien fundadas y elementos minimales.

Iniciado por franma

Función de apareamiento de Gödel

Iniciado por Juan Hernández

Consistencia relativa del axioma de elección sin romper fundación.

Iniciado por franma « 1 2 3 »

Comentarios a la Introducción a la teoría de conjuntos

Iniciado por Carlos Ivorra « 1 2 3 4 ... 34 »

¿Cuántas clases de equivalencia quedan determinadas por \(XRY\iff|X|=|Y|\)?

Iniciado por AGE

Cardinalidades que involucran a tres conjuntos

Iniciado por Wursen

Consistencia relativa de ¬AC en $$\mathsf{ZF}^-$$

Iniciado por franma « 1 2 3 »

Consistencia relativa del axioma de elección.

Iniciado por franma « 1 2 »

Las teorías ZF y ZF - AF son equiconsistentes.

Iniciado por franma « 1 2 »

Modelos con átomos.

Iniciado por franma « 1 2 3 4 »

Conjunto union

Iniciado por zorropardo

Comentarios de RDC

Iniciado por RDC « 1 2 3 4 ... 18 »

Cardinales inaccesibles y modelos de ZFC.

Iniciado por franma « 1 2 »

$$\text{ZF}^- \vdash \text{Cons}(\text{ZF}_{\text{fin}})$$

Iniciado por franma

Problema sobre familia indexada de conjutos

Iniciado por Fernando Padilla