Preguntas ciencias de model-teoría016

14

1Resp

253Vistas

¿Por qué debería el conjunto subyacente de un modelo de ser un conjunto?

Resuelta

Preguntado el 14 de Agosto, 2016 por Treppe

10

5Resp

1915Vistas

¿Qué significa exactamente ser isomorfo?

Resuelta

Preguntado el 16 de Junio, 2013 por Daniela Diaz

8

1Resp

246Vistas

Cada submodelo elemental de $H(\aleph_1)$ es transitiva

Resuelta

Preguntado el 27 de Mayo, 2014 por Reto Meier

9

2Resp

395Vistas

¿Por qué es la clase de los espacios topológicos no axiomatizable?

Resuelta

Preguntado el 22 de Junio, 2011 por aleksandar

8

1Resp

313Vistas

$\aleph_1$-categórica campos son algebraicamente cerrado.

Resuelta

Preguntado el 23 de Abril, 2012 por Nikola

12

1Resp

210Vistas

Hay un "computable" contables modelo de ZFC?

Abierta

Preguntado el 30 de Noviembre, 2015 por 6005

9

1Resp

288Vistas

Pueden todos los teoremas de $\sf ZFC$ sobre los números naturales que ser probada en $\sf ZF$?

Resuelta

Preguntado el 9 de Abril, 2014 por casperOne

10

1Resp

283Vistas

¿qué significa que edificable universo es definible a partir de los números ordinales?

Abierta

Preguntado el 26 de Febrero, 2013 por upr

8

2Resp

429Vistas

La teoría de primer orden de órdenes lineares de subconjuntos cerrados

Resuelta

Preguntado el 2 de Junio, 2011 por boumol

11

1Resp

319Vistas

Si una teoría tiene un contable $\omega$-modelo saturado ¿se necesita tener solamente contables muchos modelos contables?

Resuelta

Preguntado el 16 de Febrero, 2013 por Santiago C.

8

2Resp

406Vistas

Mostrar que un elemental de la estructura equivalente de $\mathbb{R}$ y definible a partir de los puntos es Dedekind completa

Resuelta

Preguntado el 25 de Enero, 2013 por Lindsay

19

2Resp

460Vistas

¿Existen contraejemplos no estándar del último teorema de Fermat?

Resuelta

Preguntado el 28 de Julio, 2016 por Conifold

9

1Resp

193Vistas

Es cierto que $\mathbb{F}_{1}^{\ast} \equiv \mathbb{F}_{2}^{\ast}$ implica $\mathbb{F}_{1} \equiv \mathbb{F}_{2}$?

Resuelta

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

8

1Resp

345Vistas

Cómo probar una extensión de ZFC es conservador

Abierta

Preguntado el 8 de Abril, 2011 por Rune Jacobsen

9

2Resp

468Vistas

Número de No-isomorfo modelos de la Teoría de conjuntos

Resuelta

Preguntado el 14 de Enero, 2014 por nishant

29

3Resp

850Vistas

¿Cuál es un ejemplo de modelo no estándar de la Aritmética de Peano?

Resuelta

Preguntado el 6 de Junio, 2016 por jball

8

1Resp

734Vistas

¿Cuál es la mejor manera de enseñar a sí mismo tanto en la Categoría de Teoría Y Modelo de la Teoría?

Resuelta

Preguntado el 29 de Octubre, 2013 por Shauna

9

2Resp

477Vistas

Puede un modelo de la teoría de conjuntos creo que está bien fundado y en la realidad, no?

Resuelta

Preguntado el 27 de Agosto, 2013 por M.G.Palmer

11

1Resp

260Vistas

Los modelos en la teoría de conjuntos y la hipótesis continua

Resuelta

Preguntado el 5 de Diciembre, 2015 por truebaran

17

3Resp

481Vistas

Límites y grupos de Fraïssé

Abierta

Preguntado el 4 de Diciembre, 2011 por CatamountJack

9

1Resp

304Vistas

Ejemplos de forzamiento en la teoría de modelos

Abierta

Preguntado el 25 de Diciembre, 2014 por Kyle Gannon

13

1Resp

285Vistas

¿Cuál es la motivación de los modelos saturados?

Resuelta

Preguntado el 24 de Octubre, 2013 por Nate

19

4Resp

1741Vistas

Tarski del decidability prueba real en campo cerrado y la aritmética de Peano

Resuelta

Preguntado el 29 de Mayo, 2012 por tonyr roth

12

1Resp

1202Vistas

Mostrar ese binario < relación "menor que" no es definible en el conjunto de números naturales con la función del sucesor

Resuelta

Preguntado el 23 de Octubre, 2012 por Benjamin Lindley

12

1Resp

336Vistas

Gödel su forma de enseñar la no-estándar de los modelos a Takeuti.

Resuelta

Preguntado el 1 de Julio, 2014 por logically challenged

11

2Resp

404Vistas

Hay una "intención" modelo de los números reales en el mismo sentido, hay uno para los números naturales?

Resuelta

Preguntado el 13 de Febrero, 2013 por Wolphram jonny

10

1Resp

2030Vistas

Elección de un tema de tesis de maestría: Lógica - Teoría de Modelos

Resuelta

Preguntado el 17 de Noviembre, 2012 por oefe

10

1Resp

446Vistas

Teorema De Compacidad De La Aplicación

Abierta

Preguntado el 15 de Noviembre, 2012 por Trin

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

17

3Resp

339Vistas

Preservar la igualdad entre distintos objetos matemáticos

Abierta

Preguntado el 28 de Junio, 2016 por Eduardo M.

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué debería el conjunto subyacente de un modelo de ser un conjunto?

¿Qué significa exactamente ser isomorfo?

Cada submodelo elemental de $H(\aleph_1)$ es transitiva

¿Por qué es la clase de los espacios topológicos no axiomatizable?

$\aleph_1$-categórica campos son algebraicamente cerrado.

Hay un "computable" contables modelo de ZFC?

Pueden todos los teoremas de $\sf ZFC$ sobre los números naturales que ser probada en $\sf ZF$?

¿qué significa que edificable universo es definible a partir de los números ordinales?

La teoría de primer orden de órdenes lineares de subconjuntos cerrados

Si una teoría tiene un contable $\omega$-modelo saturado ¿se necesita tener solamente contables muchos modelos contables?

Mostrar que un elemental de la estructura equivalente de $\mathbb{R}$ y definible a partir de los puntos es Dedekind completa

¿Existen contraejemplos no estándar del último teorema de Fermat?

Es cierto que $\mathbb{F}_{1}^{\ast} \equiv \mathbb{F}_{2}^{\ast}$ implica $\mathbb{F}_{1} \equiv \mathbb{F}_{2}$?

Cómo probar una extensión de ZFC es conservador

Número de No-isomorfo modelos de la Teoría de conjuntos

¿Cuál es un ejemplo de modelo no estándar de la Aritmética de Peano?

¿Cuál es la mejor manera de enseñar a sí mismo tanto en la Categoría de Teoría Y Modelo de la Teoría?

Puede un modelo de la teoría de conjuntos creo que está bien fundado y en la realidad, no?

Los modelos en la teoría de conjuntos y la hipótesis continua

Límites y grupos de Fraïssé

Ejemplos de forzamiento en la teoría de modelos

¿Cuál es la motivación de los modelos saturados?

Tarski del decidability prueba real en campo cerrado y la aritmética de Peano

Mostrar ese binario < relación "menor que" no es definible en el conjunto de números naturales con la función del sucesor

Gödel su forma de enseñar la no-estándar de los modelos a Takeuti.

Hay una "intención" modelo de los números reales en el mismo sentido, hay uno para los números naturales?

Elección de un tema de tesis de maestría: Lógica - Teoría de Modelos

Teorema De Compacidad De La Aplicación

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

Preservar la igualdad entre distintos objetos matemáticos

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: