Preguntas ciencias de model-teoría09

19

5Resp

2370Vistas

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Abierta

Preguntado el 5 de Marzo, 2018 por Abhishek Bajoria

5

2Resp

222Vistas

Extensión no estándar de una función con un límite

Resuelta

Preguntado el 22 de Agosto, 2012 por Rachel

7

1Resp

449Vistas

Malentendido Löwenheim-Skolem

Resuelta

Preguntado el 8 de Febrero, 2018 por Cody S

6

4Resp

367Vistas

Teorías y modelos

Abierta

Preguntado el 17 de Abril, 2012 por Ralf

7

1Resp

212Vistas

Sabemos que el índice de los mínimos de la etapa en la edificable universo que es un modelo de $ZFC$?

Resuelta

Preguntado el 24 de Noviembre, 2016 por Kyle

5

1Resp

143Vistas

Modelos no estándar de PA con una relación de orden decidible.

Abierta

Preguntado el 3 de Junio, 2014 por Acaciadragoon

9

1Resp

256Vistas

El sistema de números Hyperreal

Resuelta

Preguntado el 30 de Mayo, 2015 por Andy

5

2Resp

297Vistas

Puede ser decidable para cualquier polinomios para tener el punto de intersección?

Resuelta

Preguntado el 12 de Noviembre, 2014 por mfriedman

8

4Resp

663Vistas

Decidibilidad y "valor de verdad"

Resuelta

Preguntado el 21 de Enero, 2018 por Seub

5

2Resp

155Vistas

¿Cómo mostrar $\chi_{{}^{}P} ={}^{}\chi_{P}$ por el principio de transferencia?

Resuelta

Preguntado el 10 de Mayo, 2013 por Lindsay

6

1Resp

540Vistas

Una lógica que se puede distinguir entre dos estructuras

Abierta

Preguntado el 6 de Agosto, 2011 por Ed Haber

12

5Resp

364Vistas

Modelos vs. Estructuras

Resuelta

Preguntado el 5 de Junio, 2013 por larrware

5

1Resp

186Vistas

Límites de las estructuras finitas - lógica de primer orden

Abierta

Preguntado el 24 de Marzo, 2016 por GreenAlien

5

2Resp

194Vistas

definir los reales en una extensión de Arquímedes no elemental del campo real.

Resuelta

Preguntado el 30 de Octubre, 2013 por Gkris

6

1Resp

216Vistas

Los Reales no son interpretables en los números complejos

Resuelta

Preguntado el 13 de Febrero, 2016 por Peter Jaric

5

1Resp

178Vistas

Dos estructuras homogéneas, realizar los mismos tipos son isomorfas

Resuelta

Preguntado el 31 de Marzo, 2013 por Praveen

8

3Resp

203Vistas

Extensiones completas de una teoría consistente

Abierta

Preguntado el 20 de Mayo, 2015 por marsian22

5

1Resp

217Vistas

Hodges, motete Non vos relinquam y secuencias indiscernibles.

Abierta

Preguntado el 4 de Junio, 2015 por Elias Estatistics

5

1Resp

152Vistas

Mutuo Singularidad de las Operaciones en el PA de los modelos

Resuelta

Preguntado el 11 de Mayo, 2012 por boumol

8

1Resp

190Vistas

¿Cómo pueden los axiomas (y primitivas) de Tarski de la axiomatization de $\Bbb R$ ser independiente?

Resuelta

Preguntado el 1 de Mayo, 2015 por Lockie

5

1Resp

640Vistas

¿Hay una diferencia entre un modelo y una representación?

Resuelta

Preguntado el 7 de Agosto, 2012 por flojdek

9

2Resp

585Vistas

No hay infinitamente más pequeño gran primer

Resuelta

Preguntado el 22 de Mayo, 2014 por Reto Meier

5

1Resp

341Vistas

Usando el teorema de la reflexión

Resuelta

Preguntado el 11 de Noviembre, 2013 por Mark Baker

7

1Resp

161Vistas

¿Integridad lógica Infinitary?

Abierta

Preguntado el 18 de Julio, 2015 por Comptrol

6

3Resp

407Vistas

¿Cómo son los semántica completa de SOL y HOL especificado?

Resuelta

Preguntado el 29 de Julio, 2012 por Kyle

5

2Resp

155Vistas

Cuando se ultrapowers mejor que "genérico" de la primaria extensiones?

Resuelta

Preguntado el 29 de Octubre, 2017 por Allen Bauer

6

3Resp

361Vistas

¿Cómo podemos saber si un conjunto de axiomas únicamente determina una estructura algebraica?

Resuelta

Preguntado el 18 de Febrero, 2013 por kerchee

5

1Resp

521Vistas

¿Cuántos modelos contables de ZFC hay?

Resuelta

Preguntado el 24 de Noviembre, 2011 por Clint Ecker

5

2Resp

217Vistas

Ejecución de programas en modelos no estándar de AP

Resuelta

Preguntado el 29 de Julio, 2013 por ak2

5

1Resp

343Vistas

Puede localmente finitos de estructuras realmente se definen como aquellas estructuras de la omisión de una determinada cuantificador libre tipo?

Resuelta

Preguntado el 20 de Febrero, 2012 por Evan Krall

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Extensión no estándar de una función con un límite

Malentendido Löwenheim-Skolem

Teorías y modelos

Sabemos que el índice de los mínimos de la etapa en la edificable universo que es un modelo de $ZFC$?

Modelos no estándar de PA con una relación de orden decidible.

El sistema de números Hyperreal

Puede ser decidable para cualquier polinomios para tener el punto de intersección?

Decidibilidad y "valor de verdad"

¿Cómo mostrar $\chi_{{}^{}P} ={}^{}\chi_{P}$ por el principio de transferencia?

Una lógica que se puede distinguir entre dos estructuras

Modelos vs. Estructuras

Límites de las estructuras finitas - lógica de primer orden

definir los reales en una extensión de Arquímedes no elemental del campo real.

Los Reales no son interpretables en los números complejos

Dos estructuras homogéneas, realizar los mismos tipos son isomorfas

Extensiones completas de una teoría consistente

Hodges, motete Non vos relinquam y secuencias indiscernibles.

Mutuo Singularidad de las Operaciones en el PA de los modelos

¿Cómo pueden los axiomas (y primitivas) de Tarski de la axiomatization de $\Bbb R$ ser independiente?

¿Hay una diferencia entre un modelo y una representación?

No hay infinitamente más pequeño gran primer

Usando el teorema de la reflexión

¿Integridad lógica Infinitary?

¿Cómo son los semántica completa de SOL y HOL especificado?

Cuando se ultrapowers mejor que "genérico" de la primaria extensiones?

¿Cómo podemos saber si un conjunto de axiomas únicamente determina una estructura algebraica?

¿Cuántos modelos contables de ZFC hay?

Ejecución de programas en modelos no estándar de AP

Puede localmente finitos de estructuras realmente se definen como aquellas estructuras de la omisión de una determinada cuantificador libre tipo?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: