Preguntas de model-teoría018

6

2Resp

170Vistas

El $<$ -relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

Resuelta

Preguntado el 3 de Septiembre, 2015 por Tom Bombadil

6

1Resp

117Vistas

Definibilidad de primer orden de estructuras finitas (resultado negativo)

Resuelta

Preguntado el 12 de Febrero, 2019 por Rafael Bankosegger

4

1Resp

108Vistas

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

Abierta

Preguntado el 20 de Noviembre, 2015 por andrewmh20

7

1Resp

142Vistas

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

7

1Resp

158Vistas

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

4

1Resp

227Vistas

Automorfismos de primaria extensiones

Resuelta

Preguntado el 1 de Abril, 2012 por ManuelSchneid3r

4

1Resp

133Vistas

¿Puede haber un$S \subseteq \mathbb{R}$ cerrado bajo la multiplicación y la suma con$|\mathbb{Q}| < |S| < |\mathbb{R}|$?

Resuelta

Preguntado el 6 de Marzo, 2019 por Stefan

4

1Resp

111Vistas

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

Abierta

Preguntado el 31 de Julio, 2018 por Scott Mutchnik

11

3Resp

282Vistas

Unicidad de los hiperreales construidos mediante ultrapoderes

Resuelta

Preguntado el 20 de Marzo, 2014 por dogbane

5

1Resp

1151Vistas

Menos ordinal no en una contables modelo transitivo de ZFC

Resuelta

Preguntado el 25 de Febrero, 2010 por mmcglynn

6

1Resp

476Vistas

¿Implica la eliminación del cuantificador la decidibilidad?

Resuelta

Preguntado el 16 de Diciembre, 2012 por user52072

8

2Resp

153Vistas

¿Prueba elemental de "los polinomios irreducibles siguen siendo irreducibles sobre la extensión trascendental"?

Abierta

Preguntado el 25 de Abril, 2018 por Kalinin

4

1Resp

114Vistas

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

Resuelta

Preguntado el 23 de Abril, 2019 por user297564

4

3Resp

159Vistas

¿Por qué usar el término 'modelos' para interpretar el símbolo de doble torniquete?

Resuelta

Preguntado el 23 de Julio, 2018 por CodeBreaker

8

1Resp

145Vistas

Definiciones equivalentes de tipos

Resuelta

Preguntado el 30 de Enero, 2013 por Dour High Arch

4

1Resp

351Vistas

Tipos y Algebraicity

Abierta

Preguntado el 10 de Diciembre, 2012 por Boggartfly

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

1Resp

162Vistas

Prueba de estilo Henkin de compacidad de primer orden

Resuelta

Preguntado el 9 de Agosto, 2019 por Chris Eagle

23

5Resp

2240Vistas

Supervenience en matemáticas

Resuelta

Preguntado el 6 de Enero, 2011 por Draemon

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

20

2Resp

1657Vistas

¿La inexistencia de los hiperreales es consistente con ZF?

Resuelta

Preguntado el 4 de Diciembre, 2014 por yxk

21

4Resp

948Vistas

Hay un Leibniziana modelo sin definibles elementos, en un lenguaje finito?

Resuelta

Preguntado el 7 de Mayo, 2015 por thedeeno

10

1Resp

428Vistas

Ideales precipitados y GCH

Abierta

Preguntado el 13 de Mayo, 2016 por Tomislav Nakic-Alfirevic

12

2Resp

4448Vistas

¿Es posible mostrar que un conjunto infinito tiene un subconjunto contado (infinito), sin usar el Axioma de la elección?

Resuelta

Preguntado el 7 de Enero, 2011 por MotoTribe

10

2Resp

411Vistas

Si$\mathcal{A} \equiv \mathcal{B}$ y$\mathcal{A} \not \cong \mathcal{B}$, ¿es posible que$\mathcal{A}$ y$\mathcal{B}$ sean bi-incrustables?

Resuelta

Preguntado el 25 de Agosto, 2016 por Mike Morearty

3

1Resp

382Vistas

El número de modelos contables

Cerrada

Preguntado el 14 de Junio, 2014 por leonbloy

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

El $<$ -relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

Definibilidad de primer orden de estructuras finitas (resultado negativo)

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

Automorfismos de primaria extensiones

¿Puede haber un$S \subseteq \mathbb{R}$ cerrado bajo la multiplicación y la suma con$|\mathbb{Q}| < |S| < |\mathbb{R}|$?

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

Unicidad de los hiperreales construidos mediante ultrapoderes

Menos ordinal no en una contables modelo transitivo de ZFC

¿Implica la eliminación del cuantificador la decidibilidad?

¿Prueba elemental de "los polinomios irreducibles siguen siendo irreducibles sobre la extensión trascendental"?

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

¿Por qué usar el término 'modelos' para interpretar el símbolo de doble torniquete?

Definiciones equivalentes de tipos

Tipos y Algebraicity

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

Prueba de estilo Henkin de compacidad de primer orden

Supervenience en matemáticas

¿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?

¿La inexistencia de los hiperreales es consistente con ZF?

Hay un Leibniziana modelo sin definibles elementos, en un lenguaje finito?

Ideales precipitados y GCH

¿Es posible mostrar que un conjunto infinito tiene un subconjunto contado (infinito), sin usar el Axioma de la elección?

Si$\mathcal{A} \equiv \mathcal{B}$ y$\mathcal{A} \not \cong \mathcal{B}$, ¿es posible que$\mathcal{A}$ y$\mathcal{B}$ sean bi-incrustables?

El número de modelos contables

Etiquetas mas usadas

i-Ciencias.com

Powered by: