Preguntas ciencias de model-teoría012

6

1Resp

166Vistas

¿Puede esta secuencia un número hiperreal? ¿Cuál sería su parte real?

Resuelta

Preguntado el 11 de Agosto, 2015 por Michael Langbein

18

1Resp

309Vistas

Las continuaciones en matemáticas: niza ejemplos?

Abierta

Preguntado el 5 de Julio, 2017 por Thiha Maung

5

1Resp

176Vistas

¿Dado cualquier conjunto de axiomas consistentes, siempre es posible encontrar un modelo para estos axiomas de ZFC Fije la teoría?

Resuelta

Preguntado el 7 de Agosto, 2015 por Thomas Redding

5

1Resp

133Vistas

¿Qué frases sobreviven al pasaje de $X$ al conjunto de todas las funciones $I \rightarrow X$ ?

Resuelta

Preguntado el 21 de Noviembre, 2013 por goblin

9

1Resp

251Vistas

Puede que los números naturales ser único, después de todo?

Resuelta

Preguntado el 15 de Mayo, 2017 por M. Winter

6

2Resp

168Vistas

¿Hay un primer orden fórmula $\varphi[x]$ $(\mathbb Q, +, \cdot, 0)$ tal que iff de $x≥0$$\varphi[x]$?

Resuelta

Preguntado el 3 de Febrero, 2016 por Watson

8

1Resp

379Vistas

Los cuantificadores como adjuntos en la lógica generalizada

Resuelta

Preguntado el 26 de Julio, 2013 por Kitsune

8

1Resp

198Vistas

¿Hay ningún no trivial ' potencialmente categórico ' primer orden teorías?

Resuelta

Preguntado el 27 de Junio, 2017 por Exomnium

5

1Resp

152Vistas

Omitir tipos... recursivamente

Resuelta

Preguntado el 28 de Junio, 2013 por Johan

5

2Resp

880Vistas

Teoría elemental de los campos finitos

Abierta

Preguntado el 8 de Diciembre, 2009 por pottedmeat

5

2Resp

376Vistas

¿Qué axiomas hay que añadir a la ZFC de segundo orden para que tenga un modelo único (hasta el isomorfismo)?

Resuelta

Preguntado el 1 de Marzo, 2013 por goblin

6

2Resp

178Vistas

Extensión primaria contable explícita de $\mathbb{N}$

Abierta

Preguntado el 29 de Diciembre, 2015 por Andrey Arapov

5

1Resp

137Vistas

Restricciones de automorfismos primaria subestructuras

Resuelta

Preguntado el 1 de Julio, 2013 por user38562

6

1Resp

135Vistas

La teoría de órdenes infinitas discretas está completa

Resuelta

Preguntado el 20 de Junio, 2017 por Max

17

5Resp

662Vistas

Estructuras no-isomorfos de la misma cardinalidad que son equivalente a primaria

Abierta

Preguntado el 20 de Junio, 2017 por W. Rether

10

2Resp

359Vistas

Teoría de modelos finitos

Resuelta

Preguntado el 30 de Abril, 2014 por nishant

15

2Resp

340Vistas

Juegos innumerables en los modelos contables de ZFC

Resuelta

Preguntado el 17 de Junio, 2017 por Steven

5

3Resp

246Vistas

Superestructura con sistemas como entidades de base atómica

Resuelta

Preguntado el 16 de Marzo, 2012 por Rachel

6

2Resp

122Vistas

¿Existe el primer orden fórmula $Z(x)$ $\langle 0, +, \le\rangle$ de la lengua sobre el campo $\mathbb{Q}$ expresa el hecho de que $x$ es entero?

Resuelta

Preguntado el 8 de Enero, 2017 por user389821

7

2Resp

460Vistas

¿Por qué la hipótesis del continuo implica el sistema única hyperreal, ${}^{\ast}{\Bbb R}$?

Resuelta

Preguntado el 25 de Mayo, 2013 por Lindsay

6

1Resp

280Vistas

¿Dos formas del teorema de Beth?

Resuelta

Preguntado el 27 de Enero, 2013 por ManuelSchneid3r

7

2Resp

291Vistas

Modelo de teoría en teoría del grupo

Resuelta

Preguntado el 19 de Enero, 2013 por Seirios

8

3Resp

387Vistas

Confusión de decidability de $(N,s)$

Resuelta

Preguntado el 25 de Febrero, 2013 por Stefan Dombrowski

6

1Resp

191Vistas

Aparece un modelo salvaje de $\mathcal{T}(\mathbb{N})$...

Abierta

Preguntado el 30 de Mayo, 2017 por Tsu Jan

7

1Resp

160Vistas

Teoría de (Z, +) tiene uncountably muchos tipos de 1

Abierta

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

7

2Resp

160Vistas

uniformidad en la eliminación del cuantificador

Resuelta

Preguntado el 28 de Mayo, 2017 por Escherica

6

3Resp

410Vistas

Modelos de la teoría de campos cerrados reales con constantes extra

Resuelta

Preguntado el 11 de Octubre, 2016 por Dustin Wehr

7

1Resp

465Vistas

Diferencia entre subestructura elemental de submodelo y elemental

Abierta

Preguntado el 24 de Abril, 2013 por yoyostein

6

1Resp

537Vistas

¿Implica la existencia de una $\mathbb{Q}$-base, $\mathbb{R}$ que tiene opción hasta $\frak c$?

Resuelta

Preguntado el 21 de Marzo, 2012 por Desiato

7

5Resp

1250Vistas

Algunas preguntas sobre la teoría de modelos, especialmente la teoría de modelos de anillos

Abierta

Preguntado el 30 de Octubre, 2009 por agweber

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Puede esta secuencia un número hiperreal? ¿Cuál sería su parte real?

Las continuaciones en matemáticas: niza ejemplos?

¿Dado cualquier conjunto de axiomas consistentes, siempre es posible encontrar un modelo para estos axiomas de ZFC Fije la teoría?

¿Qué frases sobreviven al pasaje de $X$ al conjunto de todas las funciones $I \rightarrow X$ ?

Puede que los números naturales ser único, después de todo?

¿Hay un primer orden fórmula $\varphi[x]$ $(\mathbb Q, +, \cdot, 0)$ tal que iff de $x≥0$$\varphi[x]$?

Los cuantificadores como adjuntos en la lógica generalizada

¿Hay ningún no trivial ' potencialmente categórico ' primer orden teorías?

Omitir tipos... recursivamente

Teoría elemental de los campos finitos

¿Qué axiomas hay que añadir a la ZFC de segundo orden para que tenga un modelo único (hasta el isomorfismo)?

Extensión primaria contable explícita de $\mathbb{N}$

Restricciones de automorfismos primaria subestructuras

La teoría de órdenes infinitas discretas está completa

Estructuras no-isomorfos de la misma cardinalidad que son equivalente a primaria

Teoría de modelos finitos

Juegos innumerables en los modelos contables de ZFC

Superestructura con sistemas como entidades de base atómica

¿Existe el primer orden fórmula $Z(x)$ $\langle 0, +, \le\rangle$ de la lengua sobre el campo $\mathbb{Q}$ expresa el hecho de que $x$ es entero?

¿Por qué la hipótesis del continuo implica el sistema única hyperreal, ${}^{\ast}{\Bbb R}$?

¿Dos formas del teorema de Beth?

Modelo de teoría en teoría del grupo

Confusión de decidability de $(N,s)$

Aparece un modelo salvaje de $\mathcal{T}(\mathbb{N})$...

Teoría de (Z, +) tiene uncountably muchos tipos de 1

uniformidad en la eliminación del cuantificador

Modelos de la teoría de campos cerrados reales con constantes extra

Diferencia entre subestructura elemental de submodelo y elemental

¿Implica la existencia de una $\mathbb{Q}$-base, $\mathbb{R}$ que tiene opción hasta $\frak c$?

Algunas preguntas sobre la teoría de modelos, especialmente la teoría de modelos de anillos

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: