Respuestas del usuario 119986017

3 votos

¿Verdadero o falso? $\bigwedge_{i \in I} \bigvee_{j \in J}a_{i,j} \equiv \bigvee_{j \in J} \bigwedge_{i \in I}a_{i,j}$

Respondido el 5 de Noviembre, 2017 por ManuelSchneid3r

17 votos

Ejemplo de ultrafiltro libre sobre números naturales

Aceptada

Respondido el 17 de Agosto, 2018 por ManuelSchneid3r

3 votos

Uso de la palabra "modelo"

Aceptada

Respondido el 30 de Septiembre, 2019 por ManuelSchneid3r

1 votos

¿Qué hace que este fractal se enrosque y se desenrede?

Respondido el 19 de Agosto, 2020 por ManuelSchneid3r

1 votos

Utilizando $\aleph_0$ -categoricidad en la prueba de integridad de DLO

Aceptada

Respondido el 18 de Marzo, 2017 por ManuelSchneid3r

9 votos

¿Es necesario el axioma de sustitución para construir cualquier función en ZFC?

Aceptada

Respondido el 24 de Noviembre, 2017 por ManuelSchneid3r

2 votos

Si un conjunto $S$ puede dividirse en $\mathfrak{n}$ conjuntos amorfos, puede $S$ se dividirá en $\mathfrak{m}$ ¿conjuntos infinitos?

Respondido el 27 de Agosto, 2019 por ManuelSchneid3r

6 votos

Contabilidad del ordinal de Church-Kleene en ZF

Aceptada

Respondido el 21 de Mayo, 2018 por ManuelSchneid3r

0 votos

Teorema de Skolem-Lowenheim.

Aceptada

Respondido el 27 de Enero, 2017 por ManuelSchneid3r

1 votos

Un análogo de la función de Rayo para los ordinales

Aceptada

Respondido el 15 de Junio, 2020 por ManuelSchneid3r

2 votos

¿Puede un orden parcial bien fundado extenderse siempre a un orden total bien fundado

Respondido el 2 de Mayo, 2021 por ManuelSchneid3r

1 votos

¿Por qué el conjunto vitali no tiene medida exterior 0

Respondido el 1 de Octubre, 2021 por ManuelSchneid3r

1 votos

¿Existe una demostración del Teorema de Incompletitud de Gödel sin enunciados autorreferenciales?

Respondido el 13 de Abril, 2020 por ManuelSchneid3r

5 votos

Sobre la función holomorfa que evita $\mathbb R$

Respondido el 16 de Septiembre, 2016 por ManuelSchneid3r

1 votos

Sobre la definición del modelo

Respondido el 31 de Marzo, 2016 por ManuelSchneid3r

1 votos

Subconjunto explícito de segundo orden de los naturales.

Aceptada

Respondido el 9 de Julio, 2021 por ManuelSchneid3r

2 votos

Pregunta sobre $[\mathbb{N}]^{\omega}$

Aceptada

Respondido el 18 de Septiembre, 2018 por ManuelSchneid3r

5 votos

Es $\omega_1^{CK}$ ¿recuperable?

Respondido el 19 de Marzo, 2018 por ManuelSchneid3r

4 votos

Subestructura elemental de $L_{\omega_1}$

Respondido el 1 de Marzo, 2016 por ManuelSchneid3r

3 votos

¿Existe una forma rigurosa de describir $g(x)$ deformándose continuamente en $h(x)$ y ¿podría ser útil?

Aceptada

Respondido el 3 de Julio, 2020 por ManuelSchneid3r

1 votos

Cuantificadores diferentes, misma variable

Respondido el 11 de Octubre, 2015 por ManuelSchneid3r

1 votos

Ejemplo de filtro $G$ en $\mathbb{P}$ para lo cual $\mathbb{P}\setminus G\notin M[G]$ .

Respondido el 10 de Abril, 2017 por ManuelSchneid3r

2 votos

Cómo es el teorema de la forma normal de Kleene para $\Sigma^1_1$ ¿relaciones probadas en RCA0?

Aceptada

Respondido el 10 de Octubre, 2018 por ManuelSchneid3r

12 votos

¿Cuándo es $0$ ¿Alguna vez se usó en la vida real?

Aceptada

Respondido el 7 de Octubre, 2015 por ManuelSchneid3r

4 votos

¿Cuál es el automorfismo en $\mathbb R$ que mapea $\pi$ a $-\pi$?

Aceptada

Respondido el 29 de Septiembre, 2016 por ManuelSchneid3r

3 votos

Ejemplos de conjuntos incontables con medida de Lebesgue nula

Aceptada

Respondido el 2 de Marzo, 2017 por ManuelSchneid3r

6 votos

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

Respondido el 1 de Marzo, 2020 por ManuelSchneid3r

3 votos

Teorema de Ramsey finito en aritmética

Aceptada

Respondido el 19 de Septiembre, 2019 por ManuelSchneid3r

6 votos

Es $2^\omega=2^{\omega_1}$ en consonancia con $\text{cf}(2^\omega)>\omega$ ?

Aceptada

Respondido el 12 de Marzo, 2017 por ManuelSchneid3r

3 votos

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Respondido el 2 de Mayo, 2017 por ManuelSchneid3r

Respuestas del usuario 119986

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Verdadero o falso? $\bigwedge_{i \in I} \bigvee_{j \in J}a_{i,j} \equiv \bigvee_{j \in J} \bigwedge_{i \in I}a_{i,j}$

Ejemplo de ultrafiltro libre sobre números naturales

Uso de la palabra "modelo"

¿Qué hace que este fractal se enrosque y se desenrede?

Utilizando $\aleph_0$ -categoricidad en la prueba de integridad de DLO

¿Es necesario el axioma de sustitución para construir cualquier función en ZFC?

Si un conjunto $S$ puede dividirse en $\mathfrak{n}$ conjuntos amorfos, puede $S$ se dividirá en $\mathfrak{m}$ ¿conjuntos infinitos?

Contabilidad del ordinal de Church-Kleene en ZF

Teorema de Skolem-Lowenheim.

Un análogo de la función de Rayo para los ordinales

¿Puede un orden parcial bien fundado extenderse siempre a un orden total bien fundado

¿Por qué el conjunto vitali no tiene medida exterior 0

¿Existe una demostración del Teorema de Incompletitud de Gödel sin enunciados autorreferenciales?

Sobre la función holomorfa que evita $\mathbb R$

Sobre la definición del modelo

Subconjunto explícito de segundo orden de los naturales.

Pregunta sobre $[\mathbb{N}]^{\omega}$

Es $\omega_1^{CK}$ ¿recuperable?

Subestructura elemental de $L_{\omega_1}$

¿Existe una forma rigurosa de describir $g(x)$ deformándose continuamente en $h(x)$ y ¿podría ser útil?

Cuantificadores diferentes, misma variable

Ejemplo de filtro $G$ en $\mathbb{P}$ para lo cual $\mathbb{P}\setminus G\notin M[G]$ .

Cómo es el teorema de la forma normal de Kleene para $\Sigma^1_1$ ¿relaciones probadas en RCA0?

¿Cuándo es $0$ ¿Alguna vez se usó en la vida real?

¿Cuál es el automorfismo en $\mathbb R$ que mapea $\pi$ a $-\pi$?

Ejemplos de conjuntos incontables con medida de Lebesgue nula

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

Teorema de Ramsey finito en aritmética

Es $2^\omega=2^{\omega_1}$ en consonancia con $\text{cf}(2^\omega)>\omega$ ?

¿Cómo eliminar los símbolos constantes de una teoría de primer orden?

Etiquetas mas usadas

i-Ciencias.com

Powered by: