Preguntas ciencias de model034

20

2Resp

1657Vistas

¿La inexistencia de los hiperreales es consistente con ZF?

Resuelta

Preguntado el 4 de Diciembre, 2014 por yxk

27

1Resp

1665Vistas

Son Conway combinatoria juegos el "monstruo modelo" de cualquier familiar de la teoría?

Resuelta

Preguntado el 29 de Abril, 2020 por Kache

21

2Resp

2093Vistas

¿Existe algún modelo natural conocido de la Aritmética de Peano donde falle el teorema de Goodstein?

Resuelta

Preguntado el 1 de Septiembre, 2010 por redwyre

22

4Resp

1624Vistas

Teoría de conjuntos no ZFC y no unicidad de los hiperreales: ¿problema resuelto?

Abierta

Preguntado el 12 de Febrero, 2012 por Ben Crowell

22

5Resp

1176Vistas

¿Qué es el espectro de posibles cofinality tipos de cortes en un orden de campo? O en un modelo de la hyperreals? O en un modelo no estándar de la aritmética?

Abierta

Preguntado el 10 de Agosto, 2011 por thedeeno

21

1Resp

1332Vistas

Abierto principal computacional de problemas en la eliminación de cuantificadores?

Resuelta

Preguntado el 28 de Agosto, 2013 por Tarks

23

5Resp

2240Vistas

Supervenience en matemáticas

Resuelta

Preguntado el 6 de Enero, 2011 por Draemon

27

4Resp

2417Vistas

¿Qué "metateoría" utilizaron los primeros investigadores de teoría / lógica de conjuntos para probar resultados semánticos?

Resuelta

Preguntado el 15 de Abril, 2018 por Kache

25

5Resp

3497Vistas

Razones para creer que el principio de Vopenka / los grandes cardenales son consistentes

Resuelta

Preguntado el 24 de Junio, 2010 por martinatime

25

1Resp

2610Vistas

Una preimpresión de Sela sobre el trabajo de Kharlampovich-Miyasnikov

Abierta

Preguntado el 24 de Enero, 2014 por Vladimir

35

5Resp

1613Vistas

Ejemplos de declaraciones con una alta complejidad cuantificadora

Abierta

Preguntado el 24 de Septiembre, 2017 por laci

37

3Resp

1308Vistas

¿Cambia la categoría de campos (algebraicamente cerrados) de la característica %-%-% cuando se cambia el %-%-%?

Abierta

Preguntado el 8 de Abril, 2016 por Brabster

35

5Resp

10101Vistas

¿Qué es ... un Grossone?

Resuelta

Preguntado el 16 de Diciembre, 2015 por David Grayson

66

5Resp

3835Vistas

¿Argumento heurístico de que los grupos simples finitos deberían ser "clasificables"?

Resuelta

Preguntado el 9 de Septiembre, 2010 por Brabster

59

5Resp

4765Vistas

¿La capacidad de decisión tiene algo que ver con los números primos?

Resuelta

Preguntado el 30 de Marzo, 2010 por Toran Billups

67

3Resp

3101Vistas

¿Existe una ley 0-1 para la teoría de grupos?

Abierta

Preguntado el 2 de Diciembre, 2013 por Pyramis

7

1Resp

162Vistas

Prueba de estilo Henkin de compacidad de primer orden

Resuelta

Preguntado el 9 de Agosto, 2019 por Chris Eagle

4

1Resp

206Vistas

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

Resuelta

Preguntado el 5 de Junio, 2014 por Asvin

7

1Resp

483Vistas

¿Por qué estructuras algebraicas?

Resuelta

Preguntado el 19 de Enero, 2013 por Gkris

4

1Resp

326Vistas

Construcción de * ZFC

Abierta

Preguntado el 6 de Marzo, 2014 por sand

4

1Resp

134Vistas

Campo contable que es elemental equivalente a$\mathbb{R}$

Resuelta

Preguntado el 26 de Marzo, 2017 por HeinrichD

4

3Resp

199Vistas

¿Se puede cambiar el valor de verdad de una propiedad independiente a voluntad al ampliar el modelo?

Resuelta

Preguntado el 30 de Abril, 2012 por user15381

7

0Resp

248Vistas

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

Abierta

Preguntado el 17 de Noviembre, 2015 por Anguepa

4

2Resp

164Vistas

¿Hay modelos elementalmente equivalentes$\mathcal{M}, \mathcal{N}$ de la misma cardinalidad, ninguno de los dos puede incrustarse elementalmente en el otro?

Resuelta

Preguntado el 18 de Enero, 2015 por Dávid Tóth

4

1Resp

351Vistas

Tipos y Algebraicity

Abierta

Preguntado el 10 de Diciembre, 2012 por Boggartfly

4

2Resp

152Vistas

Forzar a Arcmap a respetar las restricciones / desencadenantes de clave principal

Resuelta

Preguntado el 21 de Diciembre, 2016 por tjameson

5

1Resp

139Vistas

Similitud entre la teoría de conjuntos axiomáticos y el álgebra moderna

Resuelta

Preguntado el 5 de Junio, 2019 por Seminorm

4

1Resp

354Vistas

Dadas dos isomorfo estructuras, de manera conservadora se extiende de ellos pueden romper isomorfismo. Por qué?

Abierta

Preguntado el 6 de Marzo, 2017 por stranger

4

1Resp

127Vistas

Demuestre que si $T$ es una teoría de Skolem en $L$ entonces $T$ es una teoría de Skolem en $L'$

Resuelta

Preguntado el 1 de Junio, 2019 por David 天宇 Wong

4

2Resp

216Vistas

¿Qué significa genérico?

Resuelta

Preguntado el 27 de Mayo, 2019 por Mike

Preguntas ciencias model

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿La inexistencia de los hiperreales es consistente con ZF?

Son Conway combinatoria juegos el "monstruo modelo" de cualquier familiar de la teoría?

¿Existe algún modelo natural conocido de la Aritmética de Peano donde falle el teorema de Goodstein?

Teoría de conjuntos no ZFC y no unicidad de los hiperreales: ¿problema resuelto?

¿Qué es el espectro de posibles cofinality tipos de cortes en un orden de campo? O en un modelo de la hyperreals? O en un modelo no estándar de la aritmética?

Abierto principal computacional de problemas en la eliminación de cuantificadores?

Supervenience en matemáticas

¿Qué "metateoría" utilizaron los primeros investigadores de teoría / lógica de conjuntos para probar resultados semánticos?

Razones para creer que el principio de Vopenka / los grandes cardenales son consistentes

Una preimpresión de Sela sobre el trabajo de Kharlampovich-Miyasnikov

Ejemplos de declaraciones con una alta complejidad cuantificadora

¿Cambia la categoría de campos (algebraicamente cerrados) de la característica %-%-% cuando se cambia el %-%-%?

¿Qué es ... un Grossone?

¿Argumento heurístico de que los grupos simples finitos deberían ser "clasificables"?

¿La capacidad de decisión tiene algo que ver con los números primos?

¿Existe una ley 0-1 para la teoría de grupos?

Prueba de estilo Henkin de compacidad de primer orden

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

¿Por qué estructuras algebraicas?

Construcción de * ZFC

Campo contable que es elemental equivalente a$\mathbb{R}$

¿Se puede cambiar el valor de verdad de una propiedad independiente a voluntad al ampliar el modelo?

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

¿Hay modelos elementalmente equivalentes$\mathcal{M}, \mathcal{N}$ de la misma cardinalidad, ninguno de los dos puede incrustarse elementalmente en el otro?

Tipos y Algebraicity

Forzar a Arcmap a respetar las restricciones / desencadenantes de clave principal

Similitud entre la teoría de conjuntos axiomáticos y el álgebra moderna

Dadas dos isomorfo estructuras, de manera conservadora se extiende de ellos pueden romper isomorfismo. Por qué?

Demuestre que si $T$ es una teoría de Skolem en $L$ entonces $T$ es una teoría de Skolem en $L'$

¿Qué significa genérico?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: