Preguntas ciencias de model-teoría014

10

4Resp

494Vistas

¿Hay contraposición a las interpretaciones intuitivas de ZF o ZFC?

Resuelta

Preguntado el 28 de Agosto, 2014 por YonedaLemma

6

1Resp

202Vistas

¿Puede haber un grupo abeliano $G$ donde $\bigcap_{n\in\mathbb N} nG$ no es divisible?

Resuelta

Preguntado el 11 de Septiembre, 2013 por Comptrol

7

0Resp

170Vistas

¿Por qué son modelos de lógica llamado modelos?

Resuelta

Preguntado el 19 de Noviembre, 2014 por user132181

7

2Resp

174Vistas

¿Es el axioma de inducción constructivamente comprobable para un modelo no estándar de la aritmética de Peano?

Abierta

Preguntado el 9 de Abril, 2016 por ziggurism

8

1Resp

181Vistas

Fortalecer Lowenheim Skolem

Resuelta

Preguntado el 23 de Febrero, 2017 por Jordan Lev

7

1Resp

289Vistas

¿Existe una conexión útil de Galois entre los idiomas y las gramáticas?

Abierta

Preguntado el 8 de Marzo, 2013 por msutherl

8

1Resp

401Vistas

Es posible demostrar el axioma de infinitud de los números reales axiomas?

Resuelta

Preguntado el 3 de Mayo, 2014 por casperOne

6

1Resp

216Vistas

¿Existe una lógica tan poderosa que defina todas las estructuras hasta el isomorfismo?

Resuelta

Preguntado el 2 de Octubre, 2015 por goblin

8

2Resp

353Vistas

Henkin frente a "Full" Semántica de Segundo orden de la Lógica y de la Multi-Ordenados de Primer Orden Interpretaciones

Resuelta

Preguntado el 14 de Junio, 2013 por user894795

6

3Resp

290Vistas

¿Existe el concepto de conjunto finito que sólo puede tener una "interpretación"?

Resuelta

Preguntado el 20 de Mayo, 2013 por MphLee

9

2Resp

289Vistas

¿Esta lógica tiene la tendencia a la baja Skolem-teorema de Löwenheim?

Resuelta

Preguntado el 4 de Junio, 2013 por DanV

6

1Resp

258Vistas

Contables primaria submodelos

Resuelta

Preguntado el 20 de Noviembre, 2015 por Rungo

7

1Resp

430Vistas

No isomorfos contables álgebras Booleanas

Abierta

Preguntado el 30 de Enero, 2013 por José De la O

6

1Resp

255Vistas

Pregunta sobre las frases existenciales

Resuelta

Preguntado el 30 de Octubre, 2013 por fnimic

6

1Resp

166Vistas

¿Cómo inconsistente aritmética de conseguir alrededor de Gödel de la incompletitud?

Resuelta

Preguntado el 11 de Noviembre, 2015 por Conifold

6

2Resp

263Vistas

¿Son subconjuntos existencialmente definidos de conjuntos algebraicos afines las uniones de un número finito de conjuntos algebraicos afines?

Resuelta

Preguntado el 11 de Febrero, 2016 por dteoh

7

1Resp

505Vistas

Eslóganes estructuralistas

Abierta

Preguntado el 8 de Febrero, 2012 por aleksandar

7

3Resp

515Vistas

¿Cómo verificar la satisfacibilidad en un modelo? (Confusiones con el Teorema de Completitud de Gödel)

Resuelta

Preguntado el 16 de Enero, 2017 por Fallen Apart

9

5Resp

3366Vistas

Modelos de la Teoría de Conjuntos ZFC - Introducción

Abierta

Preguntado el 1 de Febrero, 2010 por Draemon

10

2Resp

189Vistas

¿Existe una forma sencilla de demostrar que $\text{GL}_n(R) \not\cong \text{GL}_m(R)$ ?

Resuelta

Preguntado el 7 de Marzo, 2016 por John M. Campbell

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

7

1Resp

332Vistas

Es Zermelo la teoría de conjuntos finitely axiomatizable?

Resuelta

Preguntado el 2 de Diciembre, 2012 por boertel

10

1Resp

273Vistas

¿Cuáles son los posibles mínima acl-dimensiones fuertemente mínima modelos?

Abierta

Preguntado el 11 de Mayo, 2012 por Shery

12

3Resp

218Vistas

¿Qué importancia tiene la "variedad de álgebras" en el Álgebra Universal?

Abierta

Preguntado el 23 de Marzo, 2016 por Larry

11

1Resp

272Vistas

No-estándar de pruebas de la norma teoremas

Abierta

Preguntado el 2 de Agosto, 2013 por Seirios

7

2Resp

209Vistas

Puede predicados adicionales "eliminar" no estándar de los modelos de la verdadera aritmética?

Resuelta

Preguntado el 18 de Septiembre, 2016 por Elliot Glazer

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

7

1Resp

251Vistas

Números complejos no estándar y categoricidad

Resuelta

Preguntado el 17 de Agosto, 2014 por notpeter

9

1Resp

328Vistas

Ultrapoderes no isomórficos

Resuelta

Preguntado el 17 de Enero, 2013 por Santiago C.

7

1Resp

191Vistas

¿Qué es más robusto que un homomorfismo estructural?

Resuelta

Preguntado el 17 de Mayo, 2013 por goblin

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Hay contraposición a las interpretaciones intuitivas de ZF o ZFC?

¿Puede haber un grupo abeliano $G$ donde $\bigcap_{n\in\mathbb N} nG$ no es divisible?

¿Por qué son modelos de lógica llamado modelos?

¿Es el axioma de inducción constructivamente comprobable para un modelo no estándar de la aritmética de Peano?

Fortalecer Lowenheim Skolem

¿Existe una conexión útil de Galois entre los idiomas y las gramáticas?

Es posible demostrar el axioma de infinitud de los números reales axiomas?

¿Existe una lógica tan poderosa que defina todas las estructuras hasta el isomorfismo?

Henkin frente a "Full" Semántica de Segundo orden de la Lógica y de la Multi-Ordenados de Primer Orden Interpretaciones

¿Existe el concepto de conjunto finito que sólo puede tener una "interpretación"?

¿Esta lógica tiene la tendencia a la baja Skolem-teorema de Löwenheim?

Contables primaria submodelos

No isomorfos contables álgebras Booleanas

Pregunta sobre las frases existenciales

¿Cómo inconsistente aritmética de conseguir alrededor de Gödel de la incompletitud?

¿Son subconjuntos existencialmente definidos de conjuntos algebraicos afines las uniones de un número finito de conjuntos algebraicos afines?

Eslóganes estructuralistas

¿Cómo verificar la satisfacibilidad en un modelo? (Confusiones con el Teorema de Completitud de Gödel)

Modelos de la Teoría de Conjuntos ZFC - Introducción

¿Existe una forma sencilla de demostrar que $\text{GL}_n(R) \not\cong \text{GL}_m(R)$ ?

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

Es Zermelo la teoría de conjuntos finitely axiomatizable?

¿Cuáles son los posibles mínima acl-dimensiones fuertemente mínima modelos?

¿Qué importancia tiene la "variedad de álgebras" en el Álgebra Universal?

No-estándar de pruebas de la norma teoremas

Puede predicados adicionales "eliminar" no estándar de los modelos de la verdadera aritmética?

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

Números complejos no estándar y categoricidad

Ultrapoderes no isomórficos

¿Qué es más robusto que un homomorfismo estructural?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: