Preguntas ciencias de model-teoría05

10

2Resp

154Vistas

Dedekind finalización de ordenada campos

Resuelta

Preguntado el 12 de Noviembre, 2016 por Jordan Lev

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

4

1Resp

174Vistas

Una clase de morfismos entre modelos

Resuelta

Preguntado el 8 de Junio, 2017 por Primo Petri

4

1Resp

199Vistas

Definición de omega

Resuelta

Preguntado el 29 de Junio, 2013 por B-man 2114

6

3Resp

167Vistas

Lo contrario de Vaught ' s prueba

Resuelta

Preguntado el 25 de Septiembre, 2015 por Anguepa

4

2Resp

631Vistas

Es el "cierre transitivo reflexivo de la relación $R$ "¿una propiedad de primer orden?

Resuelta

Preguntado el 5 de Febrero, 2013 por M.G.Palmer

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

5

3Resp

130Vistas

Aplicaciones de la teoría de modelos y el álgebra a la informática

Abierta

Preguntado el 10 de Noviembre, 2016 por Jonathan

4

1Resp

402Vistas

¿Cómo puede ser un conjunto de isomorfismos parciales definidas a partir de un sistema de n-y-atrás?

Abierta

Preguntado el 1 de Noviembre, 2013 por Ezra

4

1Resp

131Vistas

¿Es la relación de subconjunto axiomatizable?

Abierta

Preguntado el 10 de Junio, 2015 por user107952

4

1Resp

200Vistas

¿Podemos afirmar la existencia de la teoría de conjuntos cuando el razonamiento acerca de L-estructuras?

Resuelta

Preguntado el 21 de Julio, 2013 por Dávid Tóth

4

2Resp

117Vistas

Funciones o relaciones estables bajo automorphism

Resuelta

Preguntado el 25 de Mayo, 2015 por user107952

22

4Resp

1670Vistas

¿Por qué no podemos demostrar la consistencia de ZFC como podemos hacerlo con PA?

Resuelta

Preguntado el 2 de Noviembre, 2018 por Juan

4

1Resp

159Vistas

Eliminación de cuantificadores para la teoría de relaciones de equivalencia.

Resuelta

Preguntado el 26 de Noviembre, 2015 por Nebo

4

2Resp

190Vistas

¿Hay alguna razón para considerar fórmulas con múltiples cuantificadores en la misma variable?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user3296

4

1Resp

172Vistas

Ultraproducts de modelos de ZFC

Resuelta

Preguntado el 25 de Mayo, 2014 por Kyle Gannon

4

1Resp

211Vistas

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

Resuelta

Preguntado el 21 de Agosto, 2016 por Watson

4

1Resp

111Vistas

¿Si $\mathcal{T}_1$ y $\mathcal{T}_2$ admiten la eliminación del cuantificador, $\mathcal{T}$ admite eliminación del cuantificador?

Abierta

Preguntado el 18 de Diciembre, 2015 por 6005

3

2Resp

164Vistas

¿Definición de un modelo?

Resuelta

Preguntado el 26 de Marzo, 2017 por willbradley

5

1Resp

129Vistas

$\kappa$-saturado, $1$-tipos-tipos de % de $n$

Resuelta

Preguntado el 27 de Marzo, 2015 por miguel

7

1Resp

840Vistas

¿Cómo puede un "ultrapower" de un modelo de ZFC ser "infundado" y aun así satisfacer a ZFC?

Resuelta

Preguntado el 8 de Febrero, 2010 por Jakub Šturc

4

1Resp

241Vistas

Teorema de la prueba de compacidad

Resuelta

Preguntado el 18 de Febrero, 2013 por Prasanth Bendra

4

1Resp

116Vistas

Integridad y homomorphisms entre modelos

Resuelta

Preguntado el 8 de Octubre, 2018 por Andrew Bacon

5

1Resp

173Vistas

Constructibilidad de conjuntos definidos únicamente en ZFC.

Resuelta

Preguntado el 10 de Agosto, 2018 por Glutinous

4

1Resp

159Vistas

Modelo de extensión completa de la teoría de conjuntos de Zermelo

Resuelta

Preguntado el 29 de Junio, 2014 por Hanul Jeon

4

1Resp

108Vistas

Secuencia de elementos ultrapower y su supremum

Resuelta

Preguntado el 18 de Febrero, 2018 por Nickolas

5

1Resp

151Vistas

Eliminación de cuantificadores

Resuelta

Preguntado el 10 de Diciembre, 2015 por Mary Star

5

1Resp

139Vistas

Saturación de campos real cerrados

Resuelta

Preguntado el 10 de Diciembre, 2017 por tseeling

8

1Resp

272Vistas

¿Es el modelo estándar para el lenguaje de la teoría de números elemental equivalente a uno con un elemento no estándar?

Resuelta

Preguntado el 27 de Septiembre, 2018 por Katie Johnson

4

1Resp

209Vistas

¿la definición del modelo depende de una teoría o a una firma?

Resuelta

Preguntado el 28 de Febrero, 2011 por Andrew Davey

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Dedekind finalización de ordenada campos

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

Una clase de morfismos entre modelos

Definición de omega

Lo contrario de Vaught ' s prueba

Es el "cierre transitivo reflexivo de la relación $R$ "¿una propiedad 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$

Aplicaciones de la teoría de modelos y el álgebra a la informática

¿Cómo puede ser un conjunto de isomorfismos parciales definidas a partir de un sistema de n-y-atrás?

¿Es la relación de subconjunto axiomatizable?

¿Podemos afirmar la existencia de la teoría de conjuntos cuando el razonamiento acerca de L-estructuras?

Funciones o relaciones estables bajo automorphism

¿Por qué no podemos demostrar la consistencia de ZFC como podemos hacerlo con PA?

Eliminación de cuantificadores para la teoría de relaciones de equivalencia.

¿Hay alguna razón para considerar fórmulas con múltiples cuantificadores en la misma variable?

Ultraproducts de modelos de ZFC

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

¿Si $\mathcal{T}_1$ y $\mathcal{T}_2$ admiten la eliminación del cuantificador, $\mathcal{T}$ admite eliminación del cuantificador?

¿Definición de un modelo?

$\kappa$-saturado, $1$-tipos-tipos de % de $n$

¿Cómo puede un "ultrapower" de un modelo de ZFC ser "infundado" y aun así satisfacer a ZFC?

Teorema de la prueba de compacidad

Integridad y homomorphisms entre modelos

Constructibilidad de conjuntos definidos únicamente en ZFC.

Modelo de extensión completa de la teoría de conjuntos de Zermelo

Secuencia de elementos ultrapower y su supremum

Eliminación de cuantificadores

Saturación de campos real cerrados

¿Es el modelo estándar para el lenguaje de la teoría de números elemental equivalente a uno con un elemento no estándar?

¿la definición del modelo depende de una teoría o a una firma?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: