Preguntas de model-teoría011

5

1Resp

152Vistas

¿El espacio de Baire como un grupo de automorfismo?

Resuelta

Preguntado el 21 de Septiembre, 2018 por Alessandro

8

1Resp

272Vistas

¿Es el modelo estándar para el lenguaje de la teoría de números elemental equivalente a uno con un elemento no estándar?

Resuelta

Preguntado el 27 de Septiembre, 2018 por Katie Johnson

5

1Resp

173Vistas

Constructibilidad de conjuntos definidos únicamente en ZFC.

Resuelta

Preguntado el 10 de Agosto, 2018 por Glutinous

4

1Resp

116Vistas

Integridad y homomorphisms entre modelos

Resuelta

Preguntado el 8 de Octubre, 2018 por Andrew Bacon

7

1Resp

840Vistas

¿Cómo puede un "ultrapower" de un modelo de ZFC ser "infundado" y aun así satisfacer a ZFC?

Resuelta

Preguntado el 8 de Febrero, 2010 por Jakub Šturc

5

1Resp

129Vistas

$\kappa$-saturado, $1$-tipos-tipos de % de $n$

Resuelta

Preguntado el 27 de Marzo, 2015 por miguel

4

1Resp

159Vistas

Eliminación de cuantificadores para la teoría de relaciones de equivalencia.

Resuelta

Preguntado el 26 de Noviembre, 2015 por Nebo

4

1Resp

108Vistas

Deje $\alpha$ ser cualquier cardenal. Hay en la mayoría de las $2^{\alpha \cup ||\mathscr{L}||}$ nonisomorphic modelos para $\mathscr{L}$ de la energía, $\alpha$

Resuelta

Preguntado el 1 de Marzo, 2015 por bksunday

4

2Resp

631Vistas

Es el "cierre transitivo reflexivo de la relación $R$ "¿una propiedad de primer orden?

Resuelta

Preguntado el 5 de Febrero, 2013 por M.G.Palmer

4

1Resp

199Vistas

Definición de omega

Resuelta

Preguntado el 29 de Junio, 2013 por B-man 2114

4

1Resp

134Vistas

Nonisomorphism de números verdaderos y reales sin 0 (el único símbolo es la < símbolo)

Abierta

Preguntado el 30 de Noviembre, 2018 por user514088

4

1Resp

132Vistas

Extensiones de campo de $\prod \Bbb F_p /U$

Resuelta

Preguntado el 13 de Junio, 2013 por Dominik

5

1Resp

282Vistas

¿Cómo sabemos que ciertos modelos no estándar de hormigón de los números naturales satisfacen los axiomas de Peano?

Resuelta

Preguntado el 14 de Enero, 2014 por MJD

4

2Resp

170Vistas

Semi-formal de la lengua

Resuelta

Preguntado el 17 de Abril, 2013 por Voyage

4

1Resp

453Vistas

Excluir los símbolos de la operación de firma

Resuelta

Preguntado el 17 de Abril, 2013 por Alexander

4

2Resp

471Vistas

Automorfismos de modelos saturados

Resuelta

Preguntado el 7 de Diciembre, 2012 por Aleksandr Levchuk

9

1Resp

273Vistas

Innumerables Densa Lineal Órdenes

Resuelta

Preguntado el 30 de Septiembre, 2014 por Rustyn

3

1Resp

94Vistas

Definibles y cuasi-definibles sobre los modelos.

Abierta

Preguntado el 4 de Junio, 2015 por user3472892

6

1Resp

149Vistas

¿Son los números naturales estándar un modelo sobresaliente de PA?

Resuelta

Preguntado el 29 de Abril, 2017 por M. Winter

4

1Resp

108Vistas

¿Los ultraproductos isomórficos de los modelos implican modelos isomórficos?

Resuelta

Preguntado el 29 de Noviembre, 2017 por Aidan

4

2Resp

255Vistas

Demostrar que todos los números algebraicos se incluyen en las primarias de la subestructura de $\mathbb R$

Resuelta

Preguntado el 29 de Diciembre, 2018 por Gyt

4

1Resp

221Vistas

Infinito orden lineal con extremos que no es densa

Resuelta

Preguntado el 20 de Marzo, 2014 por Nick

4

1Resp

204Vistas

La informática y el cálculo de las raíces cuadradas

Abierta

Preguntado el 6 de Septiembre, 2011 por andrei

4

1Resp

141Vistas

¿Cómo se obtienen todas las subestructuras de los números enteros?

Abierta

Preguntado el 29 de Septiembre, 2018 por Pinocchio

4

1Resp

121Vistas

La acción de automorfismos en Nonforking Extensiones

Resuelta

Preguntado el 24 de Mayo, 2013 por Elijah Glover

4

1Resp

182Vistas

Clase de grupos finitos, ¿una clase Fraïssé?

Cerrada

Preguntado el 14 de Junio, 2013 por Vikram Saraph

5

1Resp

171Vistas

Cómo abordar modelos primos y modelos saturados.

Resuelta

Preguntado el 7 de Abril, 2019 por Joachim

7

1Resp

160Vistas

Completa el cálculo de la lógica de primer orden de trabajo para vaciar estructuras demasiado

Abierta

Preguntado el 30 de Mayo, 2016 por aero

6

2Resp

227Vistas

Una visión estructural para el poder establecido axioma: Es este axioma realmente justificable?

Abierta

Preguntado el 14 de Diciembre, 2015 por Seyed Torbaghan

3

2Resp

139Vistas

Axiomas de Peano para la aritmética

Resuelta

Preguntado el 25 de Marzo, 2017 por HypestHype

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿El espacio de Baire como un grupo de automorfismo?

¿Es el modelo estándar para el lenguaje de la teoría de números elemental equivalente a uno con un elemento no estándar?

Constructibilidad de conjuntos definidos únicamente en ZFC.

Integridad y homomorphisms entre modelos

¿Cómo puede un "ultrapower" de un modelo de ZFC ser "infundado" y aun así satisfacer a ZFC?

$\kappa$-saturado, $1$-tipos-tipos de % de $n$

Eliminación de cuantificadores para la teoría de relaciones de equivalencia.

Deje $\alpha$ ser cualquier cardenal. Hay en la mayoría de las $2^{\alpha \cup ||\mathscr{L}||}$ nonisomorphic modelos para $\mathscr{L}$ de la energía, $\alpha$

Es el "cierre transitivo reflexivo de la relación $R$ "¿una propiedad de primer orden?

Definición de omega

Nonisomorphism de números verdaderos y reales sin 0 (el único símbolo es la < símbolo)

Extensiones de campo de $\prod \Bbb F_p /U$

¿Cómo sabemos que ciertos modelos no estándar de hormigón de los números naturales satisfacen los axiomas de Peano?

Semi-formal de la lengua

Excluir los símbolos de la operación de firma

Automorfismos de modelos saturados

Innumerables Densa Lineal Órdenes

Definibles y cuasi-definibles sobre los modelos.

¿Son los números naturales estándar un modelo sobresaliente de PA?

¿Los ultraproductos isomórficos de los modelos implican modelos isomórficos?

Demostrar que todos los números algebraicos se incluyen en las primarias de la subestructura de $\mathbb R$

Infinito orden lineal con extremos que no es densa

La informática y el cálculo de las raíces cuadradas

¿Cómo se obtienen todas las subestructuras de los números enteros?

La acción de automorfismos en Nonforking Extensiones

Clase de grupos finitos, ¿una clase Fraïssé?

Cómo abordar modelos primos y modelos saturados.

Completa el cálculo de la lógica de primer orden de trabajo para vaciar estructuras demasiado

Una visión estructural para el poder establecido axioma: Es este axioma realmente justificable?

Axiomas de Peano para la aritmética

Etiquetas mas usadas

i-Ciencias.com

Powered by: