Preguntas de set-theory012

4

1Resp

347Vistas

¿Puede un cardenal medible convertirse en el cardenal menos débilmente compacto en una extensión forzada?

Resuelta

Preguntado el 27 de Abril, 2014 por Ran Davidovitz

1

4Resp

91Vistas

Demuestra o refuta que la siguiente afirmación es cierta

Resuelta

Preguntado el 24 de Agosto, 2017 por KeJie

2

1Resp

86Vistas

¿Es el ordinal de Mahlo el primer cardinal inalcanzable mediante la inaccesibilidad y la diagonalización?

Resuelta

Preguntado el 25 de Mayo, 2018 por fejfo

2

1Resp

76Vistas

Dado cualquier conjunto $X$ y $Y$ con $(X\times X)\cap Y\subseteq X$ debe ser cierto que $(X\times X)\cap Y=\emptyset$ ?

Resuelta

Preguntado el 20 de Marzo, 2018 por Bevan

1

5Resp

326Vistas

Unión de una notación de intersección

Resuelta

Preguntado el 8 de Septiembre, 2012 por Richard T

3

1Resp

113Vistas

Cardenal enorme frente a cardenal compacto

Resuelta

Preguntado el 19 de Septiembre, 2018 por user122424

1

1Resp

99Vistas

Sea E⊂S,E≠ϕ acotada por encima. Entonces ∀ϵ>0, ¿es ∃α∈E tal que α+ϵ∉E?

Resuelta

Preguntado el 23 de Enero, 2017 por razielsarafan

1

1Resp

133Vistas

Cómo demostrar que $\text{pred}_{(A,\prec_A)}(y)=\{x\in A \,|\, x\prec_A y\}$

Resuelta

Preguntado el 11 de Agosto, 2013 por Rain Gloom

1

1Resp

208Vistas

Dejemos que $f: X \rightarrow Y$ sea una función y $ A \subseteq Y$ y $B \subseteq Y$ . Demostrar que $f^{-1}(A)\setminus f^{-1}(B)= f^{-1}(A\setminus B)$ .

Resuelta

Preguntado el 7 de Marzo, 2015 por Usuario no registrado

1

1Resp

81Vistas

El axioma de unión, combinado con el axioma de conjunto de pares, implica el axioma de unión de pares.

Resuelta

Preguntado el 23 de Febrero, 2020 por Stefan

2

1Resp

111Vistas

Si $\kappa$ es ineffable, entonces no hay un árbol de Kurepa de $\kappa$.

Resuelta

Preguntado el 16 de Marzo, 2020 por PYTHAXCESS

1

2Resp

90Vistas

Demostrar que $f: \mathbb N \to \mathbb N$ , $f(x)=x^2$ no está en

Resuelta

Preguntado el 21 de Mayo, 2015 por Mathematicing

1

2Resp

120Vistas

Demostrar una función $f: \mathbb{R}^{2} \to \mathbb{R}^{2}$ es surjetivo

Resuelta

Preguntado el 6 de Octubre, 2015 por Johny

3

1Resp

156Vistas

Relación de orden entre ordinales

Resuelta

Preguntado el 8 de Febrero, 2011 por Ma.H

2

1Resp

103Vistas

Distinguir las propiedades características y las espurias

Resuelta

Preguntado el 24 de Octubre, 2013 por aleksandar

4

2Resp

152Vistas

¿Cómo es que la teoría de conjuntos forma parte de la lógica?

Resuelta

Preguntado el 1 de Febrero, 2020 por Relsrak Helnandus

4

1Resp

59Vistas

Mínimo transversal para una familia de conjuntos finitos

Resuelta

Preguntado el 27 de Abril, 2017 por mr-fotev

1

2Resp

205Vistas

Poner un ejemplo de conjuntos $X,Y$ y funciones $f:X→Y$ y $g:Y →X$ tal que $g \circ f = id_X$

Resuelta

Preguntado el 28 de Octubre, 2015 por Ben Knoll

3

2Resp

111Vistas

Cómo demostrar que $\mathbb{Q}$ no es la intersección de una colección contable de conjuntos abiertos SIN el Teorema de la Categoría de Baire.

Resuelta

Preguntado el 12 de Septiembre, 2020 por J.Rodriguez

3

1Resp

312Vistas

Demostrar la propiedad de la diferencia simétrica: si $A \triangle B \subseteq A$ entonces $B \subseteq A$

Resuelta

Preguntado el 7 de Enero, 2015 por garrmark

0

1Resp

104Vistas

Infinidad de números naturales

Resuelta

Preguntado el 18 de Enero, 2021 por Beaba

5

1Resp

352Vistas

Una pregunta sobre el análisis ordinal

Resuelta

Preguntado el 3 de Febrero, 2018 por John Andrea

2

2Resp

132Vistas

¿Es realmente necesario el axioma de unión para demostrar la existencia de intersecciones?

Resuelta

Preguntado el 19 de Enero, 2021 por user107952

3

1Resp

88Vistas

Partición de un conjunto infinito en dos subconjuntos equinuméricos

Resuelta

Preguntado el 3 de Marzo, 2016 por Timon

2

1Resp

89Vistas

Qué se necesita para el teorema de Cantor-Bernstein-Schröder

Resuelta

Preguntado el 22 de Noviembre, 2016 por Michael D.

1

1Resp

75Vistas

Prueba de adición ordinal

Resuelta

Preguntado el 6 de Noviembre, 2017 por mathdeds

1

1Resp

56Vistas

Si cada $A_i$ contiene algunos $B_j$ entonces $\cap B_j \subseteq \cap A_i$

Resuelta

Preguntado el 7 de Diciembre, 2016 por Joseph

1

2Resp

74Vistas

Dejemos que $A$ y $B$ ser conjuntos. Si $A$ es infinito y $A\subset B$ El $B$ es infinito.

Resuelta

Preguntado el 16 de Junio, 2017 por James Snell

2

1Resp

129Vistas

Conjuntos cerrados en espacios ordinales

Resuelta

Preguntado el 31 de Diciembre, 2014 por Ergonvi

2

1Resp

134Vistas

Una prueba en la teoría ingenua de conjuntos.

Resuelta

Preguntado el 14 de Mayo, 2014 por Andrea Fiore

Preguntas de set-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Puede un cardenal medible convertirse en el cardenal menos débilmente compacto en una extensión forzada?

Demuestra o refuta que la siguiente afirmación es cierta

¿Es el ordinal de Mahlo el primer cardinal inalcanzable mediante la inaccesibilidad y la diagonalización?

Dado cualquier conjunto $X$ y $Y$ con $(X\times X)\cap Y\subseteq X$ debe ser cierto que $(X\times X)\cap Y=\emptyset$ ?

Unión de una notación de intersección

Cardenal enorme frente a cardenal compacto

Sea E⊂S,E≠ϕ acotada por encima. Entonces ∀ϵ>0, ¿es ∃α∈E tal que α+ϵ∉E?

Cómo demostrar que $\text{pred}_{(A,\prec_A)}(y)=\{x\in A \,|\, x\prec_A y\}$

Dejemos que $f: X \rightarrow Y$ sea una función y $ A \subseteq Y$ y $B \subseteq Y$ . Demostrar que $f^{-1}(A)\setminus f^{-1}(B)= f^{-1}(A\setminus B)$ .

El axioma de unión, combinado con el axioma de conjunto de pares, implica el axioma de unión de pares.

Si $\kappa$ es ineffable, entonces no hay un árbol de Kurepa de $\kappa$.

Demostrar que $f: \mathbb N \to \mathbb N$ , $f(x)=x^2$ no está en

Demostrar una función $f: \mathbb{R}^{2} \to \mathbb{R}^{2}$ es surjetivo

Relación de orden entre ordinales

Distinguir las propiedades características y las espurias

¿Cómo es que la teoría de conjuntos forma parte de la lógica?

Mínimo transversal para una familia de conjuntos finitos

Poner un ejemplo de conjuntos $X,Y$ y funciones $f:X→Y$ y $g:Y →X$ tal que $g \circ f = id_X$

Cómo demostrar que $\mathbb{Q}$ no es la intersección de una colección contable de conjuntos abiertos SIN el Teorema de la Categoría de Baire.

Demostrar la propiedad de la diferencia simétrica: si $A \triangle B \subseteq A$ entonces $B \subseteq A$

Infinidad de números naturales

Una pregunta sobre el análisis ordinal

¿Es realmente necesario el axioma de unión para demostrar la existencia de intersecciones?

Partición de un conjunto infinito en dos subconjuntos equinuméricos

Qué se necesita para el teorema de Cantor-Bernstein-Schröder

Prueba de adición ordinal

Si cada $A_i$ contiene algunos $B_j$ entonces $\cap B_j \subseteq \cap A_i$

Dejemos que $A$ y $B$ ser conjuntos. Si $A$ es infinito y $A\subset B$ El $B$ es infinito.

Conjuntos cerrados en espacios ordinales

Una prueba en la teoría ingenua de conjuntos.

Etiquetas mas usadas

i-Ciencias.com

Powered by: