Preguntas de model-teoría013

12

2Resp

431Vistas

¿Que sistemas están presentes en todos los modelos de ZF?

Resuelta

Preguntado el 5 de Noviembre, 2012 por Rudy the Reindeer

8

3Resp

314Vistas

¿Hay algún número ordinal contable que tenga un miembro indefinible?

Resuelta

Preguntado el 16 de Julio, 2013 por John O

7

1Resp

153Vistas

En % de bijections definible $b:M^n\rightarrow M^m$en una estructura mínima o $\mathcal{M}$.

Resuelta

Preguntado el 17 de Marzo, 2016 por Anguepa

7

1Resp

198Vistas

Subsecuencias indiscernibles

Resuelta

Preguntado el 15 de Septiembre, 2014 por Primo Petri

6

1Resp

362Vistas

La relación $<$ no es definible en la estructura de los números enteros con la función sucesor

Abierta

Preguntado el 16 de Noviembre, 2012 por mattcaffeine

8

1Resp

203Vistas

Es $\mathbb{N}$ definible en $(\mathbb{Z},0,S)$?

Resuelta

Preguntado el 3 de Febrero, 2015 por ronno

7

2Resp

223Vistas

Hay una racionalidad-la preservación del orden isomorfismo entre el $\mathbb{Q}$ y dos abiertos disjuntos intervalos?

Resuelta

Preguntado el 7 de Noviembre, 2014 por Anatoly Rr

7

2Resp

301Vistas

Ejemplo de un conjunto que está en $\mathbf V$ pero no en $\mathbf L$

Resuelta

Preguntado el 22 de Diciembre, 2012 por Rudy the Reindeer

8

1Resp

238Vistas

Hay fuertemente axiomatizable lógicas que no son compactos?

Abierta

Preguntado el 24 de Mayo, 2011 por bob

7

2Resp

300Vistas

Lógica en la metateoría

Resuelta

Preguntado el 8 de Diciembre, 2010 por Shabaz

10

1Resp

252Vistas

Gödel de la prueba ontológica y "modal se derrumba"

Abierta

Preguntado el 8 de Mayo, 2016 por Tom SymplMech

9

1Resp

328Vistas

Ultrapoderes no isomórficos

Resuelta

Preguntado el 17 de Enero, 2013 por Santiago C.

7

2Resp

210Vistas

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

11

1Resp

272Vistas

No-estándar de pruebas de la norma teoremas

Abierta

Preguntado el 2 de Agosto, 2013 por Seirios

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

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

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

7

1Resp

430Vistas

No isomorfos contables álgebras Booleanas

Abierta

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

6

1Resp

258Vistas

Contables primaria submodelos

Resuelta

Preguntado el 20 de Noviembre, 2015 por Rungo

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

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

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

8

1Resp

182Vistas

Fortalecer Lowenheim Skolem

Resuelta

Preguntado el 23 de Febrero, 2017 por Jordan Lev

7

0Resp

170Vistas

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

Resuelta

Preguntado el 19 de Noviembre, 2014 por user132181

10

4Resp

495Vistas

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

Resuelta

Preguntado el 28 de Agosto, 2014 por YonedaLemma

6

2Resp

168Vistas

Ultraproducts e incrustaciones primaria

Resuelta

Preguntado el 30 de Noviembre, 2014 por Kyle Gannon

7

3Resp

625Vistas

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

Resuelta

Preguntado el 14 de Diciembre, 2009 por Scott Kramer

7

1Resp

297Vistas

¿Un modelo de geometría con la negación del axioma de Pasch?

Resuelta

Preguntado el 5 de Febrero, 2014 por MikeV

6

1Resp

394Vistas

Campo infinito de característica p equivalente elemental a campo con elemento trascendental sobre subcampo primer

Resuelta

Preguntado el 3 de Agosto, 2011 por Giuseppe

7

2Resp

184Vistas

Definir la existencia de un elemento no algebraico en el % de lenguaje $L:= \{0,1,+,\cdot\}$

Resuelta

Preguntado el 11 de Agosto, 2015 por Cfr

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Que sistemas están presentes en todos los modelos de ZF?

¿Hay algún número ordinal contable que tenga un miembro indefinible?

En % de bijections definible $b:M^n\rightarrow M^m$en una estructura mínima o $\mathcal{M}$.

Subsecuencias indiscernibles

La relación $<$ no es definible en la estructura de los números enteros con la función sucesor

Es $\mathbb{N}$ definible en $(\mathbb{Z},0,S)$?

Hay una racionalidad-la preservación del orden isomorfismo entre el $\mathbb{Q}$ y dos abiertos disjuntos intervalos?

Ejemplo de un conjunto que está en $\mathbf V$ pero no en $\mathbf L$

Hay fuertemente axiomatizable lógicas que no son compactos?

Lógica en la metateoría

Gödel de la prueba ontológica y "modal se derrumba"

Ultrapoderes no isomórficos

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

No-estándar de pruebas de la norma teoremas

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

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

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

No isomorfos contables álgebras Booleanas

Contables primaria submodelos

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

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

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

Fortalecer Lowenheim Skolem

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

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

Ultraproducts e incrustaciones primaria

¿Qué supuestos y la metodología no metaproofs de teoremas lógicos usan y emplean?

¿Un modelo de geometría con la negación del axioma de Pasch?

Campo infinito de característica p equivalente elemental a campo con elemento trascendental sobre subcampo primer

Definir la existencia de un elemento no algebraico en el % de lenguaje $L:= \{0,1,+,\cdot\}$

Etiquetas mas usadas

i-Ciencias.com

Powered by: