Preguntas de set-theory031

35

8Resp

2717Vistas

¿Existen ejemplos de enunciados demostrados cuyas pruebas de consistencia sean anteriores a sus pruebas?

Resuelta

Preguntado el 25 de Julio, 2011 por zachleat

3

1Resp

169Vistas

Ultrafiltros de peso $\aleph_2$ en el modelo Sacks

Resuelta

Preguntado el 3 de Junio, 2014 por Birger Holm

3

1Resp

88Vistas

¿Es una operación de cierre topológico?

Resuelta

Preguntado el 15 de Enero, 2015 por Lehs

3

1Resp

83Vistas

¿Es legal construir dos conjuntos que dependan recursivamente el uno del otro?

Resuelta

Preguntado el 10 de Febrero, 2022 por Максим Фалеев

1

2Resp

502Vistas

composición de funciones de conjuntos finitos frente a infinitos

Resuelta

Preguntado el 28 de Agosto, 2015 por user141834

3

2Resp

93Vistas

Dejemos que $A,B$ sean conjuntos. Demuestre que las tres afirmaciones $A\subseteq B$ , $A\cup B = B$ y $A\cap B = A$ son lógicamente equivalentes.

Resuelta

Preguntado el 10 de Marzo, 2020 por BrickByBrick

2

1Resp

110Vistas

Suponiendo que la CH, ¿se puede ampliar cada torre a un ultrafiltro selectivo (o incluso a un punto p)?

Resuelta

Preguntado el 18 de Enero, 2016 por Dave Mateer

3

3Resp

736Vistas

Demostrar que para cualquier número cardinal, no existe un conjunto que contenga todos los conjuntos de esa cardinalidad.

Resuelta

Preguntado el 29 de Marzo, 2014 por algebraically_speaking

38

9Resp

81087Vistas

Combinación con repeticiones.

Resuelta

Preguntado el 6 de Octubre, 2012 por Usuario no registrado

3

2Resp

1671Vistas

Si $f,g,h$ son funciones tales que $f \circ g=f \circ h \implies g=h$ Cómo demostrar que $f$ es inyectiva?.

Resuelta

Preguntado el 8 de Marzo, 2017 por testpilot

1

4Resp

102Vistas

¿Cómo podría escribir esta prueba de manera formal?

Resuelta

Preguntado el 16 de Octubre, 2013 por Jon

1

1Resp

394Vistas

Suma y sigue

Resuelta

Preguntado el 23 de Septiembre, 2013 por Paweł Prażak

2

1Resp

101Vistas

Pregunta sobre homeomorfismo en espacios ordinales

Resuelta

Preguntado el 12 de Enero, 2015 por Ergonvi

3

2Resp

455Vistas

Preguntas matemáticas cuya respuesta depende del Axioma de Elección

Resuelta

Preguntado el 13 de Febrero, 2013 por JOTN

2

1Resp

117Vistas

Pregunta sobre la definición de Hungerford sobre la cardinalidad

Resuelta

Preguntado el 13 de Octubre, 2018 por Eric Sun

2

1Resp

784Vistas

RoS es una relación de equivalencia si RoS = SoR

Resuelta

Preguntado el 21 de Noviembre, 2018 por Yahya

1

1Resp

123Vistas

Interpretaciones de conjuntos y pertenencia a conjuntos

Abierta

Preguntado el 3 de Febrero, 2022 por user1578232

1

1Resp

80Vistas

¿Es una familia indexada de clases (conjuntos) en sí misma un gráfico (función)?

Resuelta

Preguntado el 3 de Noviembre, 2018 por user573347

4

1Resp

1043Vistas

Asociatividad de la unión natural

Resuelta

Preguntado el 18 de Marzo, 2017 por framomo86

1

2Resp

630Vistas

¿Por qué es cierto que todo conjunto puede clasificarse como ordinario o extraordinario (no ordinario)?

Resuelta

Preguntado el 1 de Diciembre, 2017 por Arvind Upadhye

4

1Resp

142Vistas

¿Beth uno igual a beth dos no conocido?

Resuelta

Preguntado el 15 de Enero, 2022 por Chao Somnium

1

2Resp

212Vistas

Uniones de ordinales y sus supremos

Resuelta

Preguntado el 16 de Octubre, 2016 por user111064

32

4Resp

1746Vistas

¿Existen los no-PIDs en los que cada ideal contablemente generado es principal?

Resuelta

Preguntado el 6 de Diciembre, 2009 por kevtrout

1

1Resp

96Vistas

Los productos y el axioma de la elección

Resuelta

Preguntado el 23 de Marzo, 2019 por Cornman

1

1Resp

74Vistas

¿Es el conjunto de máquinas de Turing decidible en ZFC no recursivo?

Resuelta

Preguntado el 7 de Mayo, 2022 por Charbel Bejjani

3

3Resp

71Vistas

¿Cómo puedo completar esta identidad?

Resuelta

Preguntado el 21 de Febrero, 2014 por Sam J. Dennis

1

2Resp

114Vistas

Hace $\bigcup_{i=1}^\infty$ representan la unión arbitraria ? ¿La unión aquí llega hasta $i=\infty$ ?

Resuelta

Preguntado el 21 de Abril, 2017 por Gergely Herendi

1

3Resp

414Vistas

¿Existen funciones no subjetivas en la teoría ZFC?

Resuelta

Preguntado el 28 de Abril, 2022 por CallMeLaNN

4

1Resp

170Vistas

La existencia de un modelo interno de ZFC implica $Con(ZFC)$ ?

Resuelta

Preguntado el 19 de Marzo, 2018 por andy_m

2

1Resp

63Vistas

ZFC : Si $I$ es un conjunto, y $A_i$ es un conjunto para cada $i$ es $A = \{A_i\}_{i \in I}$ ¿es necesariamente un conjunto?

Resuelta

Preguntado el 19 de Agosto, 2015 por amirbd89

Preguntas de set-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Existen ejemplos de enunciados demostrados cuyas pruebas de consistencia sean anteriores a sus pruebas?

Ultrafiltros de peso $\aleph_2$ en el modelo Sacks

¿Es una operación de cierre topológico?

¿Es legal construir dos conjuntos que dependan recursivamente el uno del otro?

composición de funciones de conjuntos finitos frente a infinitos

Dejemos que $A,B$ sean conjuntos. Demuestre que las tres afirmaciones $A\subseteq B$ , $A\cup B = B$ y $A\cap B = A$ son lógicamente equivalentes.

Suponiendo que la CH, ¿se puede ampliar cada torre a un ultrafiltro selectivo (o incluso a un punto p)?

Demostrar que para cualquier número cardinal, no existe un conjunto que contenga todos los conjuntos de esa cardinalidad.

Combinación con repeticiones.

Si $f,g,h$ son funciones tales que $f \circ g=f \circ h \implies g=h$ Cómo demostrar que $f$ es inyectiva?.

¿Cómo podría escribir esta prueba de manera formal?

Suma y sigue

Pregunta sobre homeomorfismo en espacios ordinales

Preguntas matemáticas cuya respuesta depende del Axioma de Elección

Pregunta sobre la definición de Hungerford sobre la cardinalidad

RoS es una relación de equivalencia si RoS = SoR

Interpretaciones de conjuntos y pertenencia a conjuntos

¿Es una familia indexada de clases (conjuntos) en sí misma un gráfico (función)?

Asociatividad de la unión natural

¿Por qué es cierto que todo conjunto puede clasificarse como ordinario o extraordinario (no ordinario)?

¿Beth uno igual a beth dos no conocido?

Uniones de ordinales y sus supremos

¿Existen los no-PIDs en los que cada ideal contablemente generado es principal?

Los productos y el axioma de la elección

¿Es el conjunto de máquinas de Turing decidible en ZFC no recursivo?

¿Cómo puedo completar esta identidad?

Hace $\bigcup_{i=1}^\infty$ representan la unión arbitraria ? ¿La unión aquí llega hasta $i=\infty$ ?

¿Existen funciones no subjetivas en la teoría ZFC?

La existencia de un modelo interno de ZFC implica $Con(ZFC)$ ?

ZFC : Si $I$ es un conjunto, y $A_i$ es un conjunto para cada $i$ es $A = \{A_i\}_{i \in I}$ ¿es necesariamente un conjunto?

Etiquetas mas usadas

i-Ciencias.com

Powered by: