Preguntas ciencias de order016

4

1Resp

134Vistas

Hay incomparable funciones?

Resuelta

Preguntado el 27 de Noviembre, 2017 por Geo Badita

5

3Resp

234Vistas

Qué ordinales se incrustan en $2^\omega$ ¿ordenados por inclusión?

Resuelta

Preguntado el 11 de Junio, 2013 por ramiez

6

1Resp

337Vistas

Modelo de doble semión en una red cuadrada

Resuelta

Preguntado el 28 de Enero, 2015 por Frosty

9

1Resp

273Vistas

Innumerables Densa Lineal Órdenes

Resuelta

Preguntado el 30 de Septiembre, 2014 por Rustyn

3

1Resp

173Vistas

Teorema de completitud de Gödel: ¿Mostró Gödel cómo construir derivaciones?

Abierta

Preguntado el 6 de Enero, 2019 por Bram28

4

1Resp

121Vistas

El espectro de una oración$\Sigma_2$

Resuelta

Preguntado el 20 de Mayo, 2018 por tseeling

5

3Resp

318Vistas

¿Cómo se puede cuantificar una función en ZFC?

Resuelta

Preguntado el 1 de Octubre, 2013 por sand

4

2Resp

316Vistas

¿Es cada función continua medible?

Abierta

Preguntado el 24 de Mayo, 2014 por Daniel.Amkaer

5

1Resp

217Vistas

Reconocimiento de órdenes lineales incrustados en $\Bbb R^2$ ordenados lexicográficamente

Resuelta

Preguntado el 8 de Abril, 2015 por justin

5

1Resp

249Vistas

Puede decidability resultados para monádico de segundo orden, la lógica se extiende a monádico de orden superior de la lógica?

Resuelta

Preguntado el 18 de Septiembre, 2012 por Mark Ramotowski

6

1Resp

174Vistas

¿Cómo dar pruebas formales en lógica?

Resuelta

Preguntado el 27 de Diciembre, 2018 por Michal Dvořák

4

1Resp

453Vistas

Excluir los símbolos de la operación de firma

Resuelta

Preguntado el 17 de Abril, 2013 por Alexander

5

2Resp

200Vistas

Significado de la fórmula $\exists x\exists x P(x)$

Resuelta

Preguntado el 26 de Junio, 2013 por Amr

4

2Resp

170Vistas

Semi-formal de la lengua

Resuelta

Preguntado el 17 de Abril, 2013 por Voyage

4

2Resp

155Vistas

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

Resuelta

Preguntado el 23 de Diciembre, 2018 por user297564

7

2Resp

228Vistas

Es $\Delta_0=\Delta_1$ en jerarquía aritmética?

Resuelta

Preguntado el 2 de Febrero, 2015 por Dávid Tóth

5

2Resp

284Vistas

La comprensión de la prueba de Hartogs Teorema en la Teoría de conjuntos

Resuelta

Preguntado el 24 de Enero, 2015 por Nonnols

4

2Resp

361Vistas

¿Los operadores Unirse y cumplir en celosías completas son continuos?

Resuelta

Preguntado el 5 de Junio, 2012 por John O

4

1Resp

113Vistas

Tomando un no probado pero "aparentemente verdadera" declaración como axioma

Abierta

Preguntado el 13 de Diciembre, 2018 por regalrender

3

1Resp

145Vistas

Demuestre que la teoría de los grupos abelianos no es Henkin

Abierta

Preguntado el 24 de Octubre, 2017 por Camilo Escobar

4

3Resp

204Vistas

¿Por qué no el conjunto inductivo _the_ conjunto de los números naturales?

Abierta

Preguntado el 15 de Febrero, 2014 por user129043

5

2Resp

116Vistas

La preservación de la intermediación implica monotónica?

Resuelta

Preguntado el 12 de Diciembre, 2018 por Bryan

4

1Resp

134Vistas

Nonisomorphism de números verdaderos y reales sin 0 (el único símbolo es la < símbolo)

Abierta

Preguntado el 30 de Noviembre, 2018 por user514088

7

3Resp

326Vistas

Lógica formal detrás de la definición de variables en una prueba (no E.I. o U.G., etc.)

Resuelta

Preguntado el 16 de Febrero, 2015 por CANDY

5

2Resp

174Vistas

¿Puede $\mathbb R$ ser enumerado después de todo?

Resuelta

Preguntado el 13 de Marzo, 2014 por tyler mackenzie

21

1Resp

219Vistas

Función estrictamente creciente de reales a reales que nunca es un número algebraico

Resuelta

Preguntado el 28 de Noviembre, 2018 por stanley dodds

9

1Resp

135Vistas

Son los números reales el único Dedekind-completo conjunto ordenado?

Resuelta

Preguntado el 30 de Septiembre, 2018 por Keshav Srinivasan

5

2Resp

237Vistas

¿Por qué escala la Entropía topológica con $\log(L)$ en 1D?

Abierta

Preguntado el 31 de Marzo, 2014 por aarboretum

15

2Resp

827Vistas

El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden

Resuelta

Preguntado el 19 de Noviembre, 2018 por Pavel Sayekat

4

1Resp

108Vistas

Deje $\alpha$ ser cualquier cardenal. Hay en la mayoría de las $2^{\alpha \cup ||\mathscr{L}||}$ nonisomorphic modelos para $\mathscr{L}$ de la energía, $\alpha$

Resuelta

Preguntado el 1 de Marzo, 2015 por bksunday

Preguntas ciencias order

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Hay incomparable funciones?

Qué ordinales se incrustan en $2^\omega$ ¿ordenados por inclusión?

Modelo de doble semión en una red cuadrada

Innumerables Densa Lineal Órdenes

Teorema de completitud de Gödel: ¿Mostró Gödel cómo construir derivaciones?

El espectro de una oración$\Sigma_2$

¿Cómo se puede cuantificar una función en ZFC?

¿Es cada función continua medible?

Reconocimiento de órdenes lineales incrustados en $\Bbb R^2$ ordenados lexicográficamente

Puede decidability resultados para monádico de segundo orden, la lógica se extiende a monádico de orden superior de la lógica?

¿Cómo dar pruebas formales en lógica?

Excluir los símbolos de la operación de firma

Significado de la fórmula $\exists x\exists x P(x)$

Semi-formal de la lengua

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

Es $\Delta_0=\Delta_1$ en jerarquía aritmética?

La comprensión de la prueba de Hartogs Teorema en la Teoría de conjuntos

¿Los operadores Unirse y cumplir en celosías completas son continuos?

Tomando un no probado pero "aparentemente verdadera" declaración como axioma

Demuestre que la teoría de los grupos abelianos no es Henkin

¿Por qué no el conjunto inductivo _the_ conjunto de los números naturales?

La preservación de la intermediación implica monotónica?

Nonisomorphism de números verdaderos y reales sin 0 (el único símbolo es la < símbolo)

Lógica formal detrás de la definición de variables en una prueba (no E.I. o U.G., etc.)

¿Puede $\mathbb R$ ser enumerado después de todo?

Función estrictamente creciente de reales a reales que nunca es un número algebraico

Son los números reales el único Dedekind-completo conjunto ordenado?

¿Por qué escala la Entropía topológica con $\log(L)$ en 1D?

El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden

Deje $\alpha$ ser cualquier cardenal. Hay en la mayoría de las $2^{\alpha \cup ||\mathscr{L}||}$ nonisomorphic modelos para $\mathscr{L}$ de la energía, $\alpha$

Etiquetas mas usadas

i-Ciencias.com

Powered by: