Preguntas de model-teoría04

21

1Resp

704Vistas

Existencia de modelo para lógicas infinitary

Abierta

Preguntado el 9 de Diciembre, 2012 por Aleksandr Levchuk

20

3Resp

3000Vistas

En el modelo de la teoría, no la compacidad fácilmente implica integridad?

Resuelta

Preguntado el 18 de Diciembre, 2009 por kevtrout

15

1Resp

339Vistas

Resultados de la independencia que no se puede establecer por forzar.

Resuelta

Preguntado el 15 de Marzo, 2013 por hakan

19

5Resp

769Vistas

Hace un finitas de primer orden de la teoría que tiene un modelo siempre tiene un modelo finito?

Resuelta

Preguntado el 26 de Enero, 2016 por user75849

14

2Resp

304Vistas

¿Por qué sabemos que Gödel frases son verdaderas en el modelo estándar de la teoría de conjuntos, pero no sé si la hipótesis continua es?

Resuelta

Preguntado el 30 de Junio, 2015 por Conifold

10

2Resp

363Vistas

¿Es el teorema de completitud de la lógica de primer orden relativo a la elección de la teoría de conjuntos?

Resuelta

Preguntado el 26 de Enero, 2013 por goblin

10

3Resp

676Vistas

Relación entre la teoría de la categoría y teoría determinada axiomática

Resuelta

Preguntado el 23 de Marzo, 2011 por kneidell

9

2Resp

374Vistas

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

Abierta

Preguntado el 9 de Junio, 2013 por user2800708

8

1Resp

251Vistas

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user894795

8

2Resp

225Vistas

Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?

Resuelta

Preguntado el 12 de Noviembre, 2013 por Malice Vidrine

7

1Resp

245Vistas

Una teoría de primer orden cuyos modelos finitos son exactamente los $\Bbb F_p$

Resuelta

Preguntado el 20 de Junio, 2013 por Dominik

9

3Resp

291Vistas

Puede $(\Bbb N,\leq)$ tener un $\aleph_0$ -¿teoría categórica (en un lenguaje más amplio)?

Resuelta

Preguntado el 23 de Junio, 2014 por DanV

8

3Resp

708Vistas

Completa primera orden teoría modelo finita es categórico

Resuelta

Preguntado el 16 de Noviembre, 2012 por Rudy the Reindeer

6

2Resp

180Vistas

Describir las propiedades del anillo en términos de oraciones infinitary (Hodges, teoría modelo, 2.2-9)

Abierta

Preguntado el 8 de Octubre, 2016 por Questioner

10

1Resp

215Vistas

¿Por qué no existe una teoría de primer orden del pozo?

Resuelta

Preguntado el 19 de Septiembre, 2014 por Shathur

6

2Resp

170Vistas

Eliminación de conjuntos de modelos de teoría de conjuntos

Abierta

Preguntado el 24 de Marzo, 2014 por Murphy

7

2Resp

291Vistas

Modelo de teoría en teoría del grupo

Resuelta

Preguntado el 19 de Enero, 2013 por Seirios

6

1Resp

104Vistas

¿Por qué tiene cada teoría completa propiedad conjunta de inclusión?

Resuelta

Preguntado el 5 de Mayo, 2016 por Liam

6

4Resp

916Vistas

Es la teoría de la incidencia de la geometría completa?

Resuelta

Preguntado el 18 de Diciembre, 2009 por Scott Kramer

9

1Resp

214Vistas

¿Es coherente la siguiente teoría?

Resuelta

Preguntado el 4 de Noviembre, 2017 por Yanior Weg

8

1Resp

278Vistas

LOS MODELOS DEL HOGAR EN LA TEORÍA ECONÓMICA

Resuelta

Preguntado el 12 de Agosto, 2013 por djl236

4

1Resp

165Vistas

Encontrar un contraejemplo en la teoría de modelos

Resuelta

Preguntado el 10 de Octubre, 2013 por Mark Baker

4

4Resp

254Vistas

Demuestran que el Total de órdenes tiene la propiedad modelo finito

Abierta

Preguntado el 5 de Junio, 2013 por Josh

5

2Resp

185Vistas

¿Cada teoría elimina cuantificadores en una extensión de definición adecuada?

Abierta

Preguntado el 8 de Mayo, 2015 por naisanza

4

1Resp

156Vistas

Decisión y el espectro de innumerables

Resuelta

Preguntado el 23 de Julio, 2014 por Kyle Gannon

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

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

6

3Resp

167Vistas

Lo contrario de Vaught ' s prueba

Resuelta

Preguntado el 25 de Septiembre, 2015 por Anguepa

4

2Resp

141Vistas

Inexistencia de modelos Prime.

Resuelta

Preguntado el 1 de Abril, 2016 por Peter Jaric

6

2Resp

360Vistas

Introducción suave en la teoría de la estabilidad y la clasificación.

Resuelta

Preguntado el 18 de Septiembre, 2012 por aleksandar

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Existencia de modelo para lógicas infinitary

En el modelo de la teoría, no la compacidad fácilmente implica integridad?

Resultados de la independencia que no se puede establecer por forzar.

Hace un finitas de primer orden de la teoría que tiene un modelo siempre tiene un modelo finito?

¿Por qué sabemos que Gödel frases son verdaderas en el modelo estándar de la teoría de conjuntos, pero no sé si la hipótesis continua es?

¿Es el teorema de completitud de la lógica de primer orden relativo a la elección de la teoría de conjuntos?

Relación entre la teoría de la categoría y teoría determinada axiomática

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?

Una teoría de primer orden cuyos modelos finitos son exactamente los $\Bbb F_p$

Puede $(\Bbb N,\leq)$ tener un $\aleph_0$ -¿teoría categórica (en un lenguaje más amplio)?

Completa primera orden teoría modelo finita es categórico

Describir las propiedades del anillo en términos de oraciones infinitary (Hodges, teoría modelo, 2.2-9)

¿Por qué no existe una teoría de primer orden del pozo?

Eliminación de conjuntos de modelos de teoría de conjuntos

Modelo de teoría en teoría del grupo

¿Por qué tiene cada teoría completa propiedad conjunta de inclusión?

Es la teoría de la incidencia de la geometría completa?

¿Es coherente la siguiente teoría?

LOS MODELOS DEL HOGAR EN LA TEORÍA ECONÓMICA

Encontrar un contraejemplo en la teoría de modelos

Demuestran que el Total de órdenes tiene la propiedad modelo finito

¿Cada teoría elimina cuantificadores en una extensión de definición adecuada?

Decisión y el espectro de innumerables

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

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

Lo contrario de Vaught ' s prueba

Inexistencia de modelos Prime.

Introducción suave en la teoría de la estabilidad y la clasificación.

Etiquetas mas usadas

i-Ciencias.com

Powered by: