Preguntas de model-teoría06

8

1Resp

191Vistas

¿Aplicaciones de la teoría de modelos - que son las poleas?

Resuelta

Preguntado el 1 de Agosto, 2018 por user193072

5

1Resp

151Vistas

Eliminación de cuantificadores

Resuelta

Preguntado el 10 de Diciembre, 2015 por Mary Star

4

1Resp

111Vistas

¿Si $\mathcal{T}_1$ y $\mathcal{T}_2$ admiten la eliminación del cuantificador, $\mathcal{T}$ admite eliminación del cuantificador?

Abierta

Preguntado el 18 de Diciembre, 2015 por 6005

4

1Resp

413Vistas

cómo demostrar que un grupo es elementarily equivalente para el grupo aditivo de los enteros

Abierta

Preguntado el 22 de Abril, 2012 por croque

7

1Resp

483Vistas

¿Por qué estructuras algebraicas?

Resuelta

Preguntado el 19 de Enero, 2013 por Gkris

37

3Resp

1308Vistas

¿Cambia la categoría de campos (algebraicamente cerrados) de la característica %-%-% cuando se cambia el %-%-%?

Abierta

Preguntado el 8 de Abril, 2016 por Brabster

21

1Resp

1332Vistas

Abierto principal computacional de problemas en la eliminación de cuantificadores?

Resuelta

Preguntado el 28 de Agosto, 2013 por Tarks

29

4Resp

1015Vistas

Variedades donde cada álgebra es gratis

Resuelta

Preguntado el 18 de Febrero, 2014 por Brabster

26

1Resp

794Vistas

¿Existe un modelo natural de aritmética de Peano en el que falle el teorema de Goodstein?

Abierta

Preguntado el 29 de Agosto, 2010 por jasonjwwilliams

21

1Resp

1027Vistas

(¿Por qué) la topología no es de primer orden?

Resuelta

Preguntado el 21 de Junio, 2011 por aleksandar

15

3Resp

1180Vistas

Hay tantas real de campos cerrados de un determinado cardinalidad como creo que hay?

Resuelta

Preguntado el 25 de Enero, 2010 por kevtrout

20

3Resp

2185Vistas

Mostrando cualquier contables, denso, lineal pedido es isomorfo a un subconjunto de a $\mathbb{Q}$

Resuelta

Preguntado el 5 de Mayo, 2011 por Oded

15

5Resp

1070Vistas

La mayoría de las sorprendentes aplicaciones del teorema de compacidad fuera de la lógica

Resuelta

Preguntado el 7 de Junio, 2013 por Dominik

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

13

1Resp

285Vistas

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

Resuelta

Preguntado el 24 de Octubre, 2013 por Nate

17

3Resp

481Vistas

Límites y grupos de Fraïssé

Abierta

Preguntado el 4 de Diciembre, 2011 por CatamountJack

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

19

2Resp

460Vistas

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

Resuelta

Preguntado el 28 de Julio, 2016 por Conifold

8

1Resp

149Vistas

¿Por qué puede ' una teoría de $\omega$ estable tiene finito muchos modelos contables?

Abierta

Preguntado el 9 de Diciembre, 2015 por Comptrol

11

3Resp

563Vistas

Modelo de la Teoría y la Topología de las Conexiones

Resuelta

Preguntado el 20 de Diciembre, 2012 por DarkStar

7

1Resp

191Vistas

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

Resuelta

Preguntado el 17 de Mayo, 2013 por goblin

12

3Resp

218Vistas

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

Abierta

Preguntado el 23 de Marzo, 2016 por Larry

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

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

1Resp

253Vistas

equivalencia elemental de anillos de polinomios

Resuelta

Preguntado el 15 de Septiembre, 2013 por Michael Caron

6

1Resp

251Vistas

Usando el teorema de compacidad para refutar axiomatizability

Resuelta

Preguntado el 2 de Agosto, 2014 por Random Jack

6

3Resp

1198Vistas

Formalización de la "no basura, no hay confusión"

Resuelta

Preguntado el 23 de Febrero, 2010 por x-way

8

1Resp

243Vistas

Teoría de los modelos (Hodges), sección 2.1, ejercicio 13

Abierta

Preguntado el 5 de Julio, 2013 por Adam Gutter

7

2Resp

160Vistas

uniformidad en la eliminación del cuantificador

Resuelta

Preguntado el 28 de Mayo, 2017 por Escherica

10

2Resp

359Vistas

Teoría de modelos finitos

Resuelta

Preguntado el 30 de Abril, 2014 por nishant

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Aplicaciones de la teoría de modelos - que son las poleas?

Eliminación de cuantificadores

¿Si $\mathcal{T}_1$ y $\mathcal{T}_2$ admiten la eliminación del cuantificador, $\mathcal{T}$ admite eliminación del cuantificador?

cómo demostrar que un grupo es elementarily equivalente para el grupo aditivo de los enteros

¿Por qué estructuras algebraicas?

¿Cambia la categoría de campos (algebraicamente cerrados) de la característica %-%-% cuando se cambia el %-%-%?

Abierto principal computacional de problemas en la eliminación de cuantificadores?

Variedades donde cada álgebra es gratis

¿Existe un modelo natural de aritmética de Peano en el que falle el teorema de Goodstein?

(¿Por qué) la topología no es de primer orden?

Hay tantas real de campos cerrados de un determinado cardinalidad como creo que hay?

Mostrando cualquier contables, denso, lineal pedido es isomorfo a un subconjunto de a $\mathbb{Q}$

La mayoría de las sorprendentes aplicaciones del teorema de compacidad fuera de la lógica

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

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

Límites y grupos de Fraïssé

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

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

¿Por qué puede ' una teoría de $\omega$ estable tiene finito muchos modelos contables?

Modelo de la Teoría y la Topología de las Conexiones

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

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

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

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

equivalencia elemental de anillos de polinomios

Usando el teorema de compacidad para refutar axiomatizability

Formalización de la "no basura, no hay confusión"

Teoría de los modelos (Hodges), sección 2.1, ejercicio 13

uniformidad en la eliminación del cuantificador

Teoría de modelos finitos

Etiquetas mas usadas

i-Ciencias.com

Powered by: