Preguntas de model-teoría07

5

2Resp

881Vistas

Teoría elemental de los campos finitos

Abierta

Preguntado el 8 de Diciembre, 2009 por pottedmeat

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

12

3Resp

589Vistas

¿Hay extensiones mas uncountably infinitas de teorías finitas de los números naturales?

Abierta

Preguntado el 11 de Agosto, 2017 por Rachel Popp

5

4Resp

256Vistas

La cromodinámica cuántica es una parte muy importante del modelo estándar de la física de partículas.

Resuelta

Preguntado el 27 de Octubre, 2013 por Ashwin

5

1Resp

150Vistas

Una pregunta sobre $R^\infty$-rank

Abierta

Preguntado el 18 de Marzo, 2012 por senthil

7

1Resp

409Vistas

Submodelos elementales en teoría de conjuntos

Resuelta

Preguntado el 17 de Diciembre, 2013 por Savant Degrees

8

2Resp

186Vistas

Ninguna proposición$\chi$ tal que$\mathscr{M}\models\chi\iff\mathscr{M}$ es infinita

Resuelta

Preguntado el 31 de Enero, 2015 por Self-teachingDavide

5

1Resp

143Vistas

Simetría de bifurcación

Abierta

Preguntado el 18 de Febrero, 2016 por Peter Jaric

6

3Resp

381Vistas

Mostrando que la clase de Aren de grupos cíclicos ' t Axiomatizable

Resuelta

Preguntado el 24 de Octubre, 2013 por Phaedrus

7

3Resp

243Vistas

Las "constantes" de una estructura (teoría modelo)

Abierta

Preguntado el 30 de Noviembre, 2017 por Robert K

5

1Resp

343Vistas

Puede localmente finitos de estructuras realmente se definen como aquellas estructuras de la omisión de una determinada cuantificador libre tipo?

Resuelta

Preguntado el 20 de Febrero, 2012 por Evan Krall

5

2Resp

155Vistas

Cuando se ultrapowers mejor que "genérico" de la primaria extensiones?

Resuelta

Preguntado el 29 de Octubre, 2017 por Allen Bauer

5

1Resp

640Vistas

¿Hay una diferencia entre un modelo y una representación?

Resuelta

Preguntado el 7 de Agosto, 2012 por flojdek

8

3Resp

203Vistas

Extensiones completas de una teoría consistente

Abierta

Preguntado el 20 de Mayo, 2015 por marsian22

8

4Resp

663Vistas

Decidibilidad y "valor de verdad"

Resuelta

Preguntado el 21 de Enero, 2018 por Seub

4

1Resp

138Vistas

Espacio de contables de los modelos de una teoría T como un espacio polaco

Resuelta

Preguntado el 15 de Diciembre, 2013 por Kitsune

4

1Resp

163Vistas

¿Es $\mathbb{L}$ literalmente el modelo más pequeño de $\sf ZF(C)$? (En $\sf NBG$)

Resuelta

Preguntado el 1 de Mayo, 2017 por Max

4

2Resp

313Vistas

Por el teorema de estructura para los grupos abelianos finitos, todos estos grupos son productos de grupos cíclicos.

Resuelta

Preguntado el 27 de Octubre, 2013 por Hanul Jeon

4

2Resp

182Vistas

Hay una incrustación de $\langle \mathbb{N} \setminus \{0\}, \leq, \times, 1 \rangle$ a $\langle \mathbb{N}, \leq, +, 0 \rangle$?

Resuelta

Preguntado el 15 de Julio, 2015 por bksunday

4

1Resp

200Vistas

¿Es esta teoría $\kappa$-categóricos cuando $\kappa$ es infinito y no $\le \aleph_0$?

Resuelta

Preguntado el 28 de Noviembre, 2012 por John O

5

1Resp

183Vistas

La categoría de la lógica y de la categoría de cologics

Abierta

Preguntado el 26 de Noviembre, 2017 por Thiha Maung

4

1Resp

244Vistas

Modelo de la teoría de intuitionistic la lī ogica: un no-vacío de dominio?

Resuelta

Preguntado el 30 de Diciembre, 2012 por user894795

7

1Resp

397Vistas

Juego de Ehrenfeucht–Fraïssé, ¿cómo puedo entenderlo?

Resuelta

Preguntado el 18 de Julio, 2013 por Eric

9

2Resp

288Vistas

Categoricity de segundo orden las teorías - precisamente ¿qué significa?

Resuelta

Preguntado el 2 de Agosto, 2018 por Dain

3

2Resp

190Vistas

Para un conjunto verdadero completo $T$ es un modelo contable transitivo que satisface $T$ ¿único?

Resuelta

Preguntado el 23 de Septiembre, 2014 por Rick

4

2Resp

147Vistas

Preservación de $\exists \forall $ -sentencia de campos de extensión algebraica infinita

Resuelta

Preguntado el 5 de Febrero, 2018 por Mats Ekberg

5

1Resp

173Vistas

La inclusión local implica incrustarse en un ultraproducto

Abierta

Preguntado el 7 de Septiembre, 2014 por Random Jack

4

2Resp

155Vistas

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

Resuelta

Preguntado el 23 de Diciembre, 2018 por user297564

4

1Resp

101Vistas

Ordinal par $(α,β)$ tal que $α<β$ $Th(α,<) = Th(β,<)$

Abierta

Preguntado el 28 de Abril, 2016 por user21820

6

1Resp

174Vistas

¿Cómo dar pruebas formales en lógica?

Resuelta

Preguntado el 27 de Diciembre, 2018 por Michal Dvořák

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Teoría elemental de los campos finitos

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

¿Hay extensiones mas uncountably infinitas de teorías finitas de los números naturales?

La cromodinámica cuántica es una parte muy importante del modelo estándar de la física de partículas.

Una pregunta sobre $R^\infty$-rank

Submodelos elementales en teoría de conjuntos

Ninguna proposición$\chi$ tal que$\mathscr{M}\models\chi\iff\mathscr{M}$ es infinita

Simetría de bifurcación

Mostrando que la clase de Aren de grupos cíclicos ' t Axiomatizable

Las "constantes" de una estructura (teoría modelo)

Puede localmente finitos de estructuras realmente se definen como aquellas estructuras de la omisión de una determinada cuantificador libre tipo?

Cuando se ultrapowers mejor que "genérico" de la primaria extensiones?

¿Hay una diferencia entre un modelo y una representación?

Extensiones completas de una teoría consistente

Decidibilidad y "valor de verdad"

Espacio de contables de los modelos de una teoría T como un espacio polaco

¿Es $\mathbb{L}$ literalmente el modelo más pequeño de $\sf ZF(C)$? (En $\sf NBG$)

Por el teorema de estructura para los grupos abelianos finitos, todos estos grupos son productos de grupos cíclicos.

Hay una incrustación de $\langle \mathbb{N} \setminus \{0\}, \leq, \times, 1 \rangle$ a $\langle \mathbb{N}, \leq, +, 0 \rangle$?

¿Es esta teoría $\kappa$-categóricos cuando $\kappa$ es infinito y no $\le \aleph_0$?

La categoría de la lógica y de la categoría de cologics

Modelo de la teoría de intuitionistic la lī ogica: un no-vacío de dominio?

Juego de Ehrenfeucht–Fraïssé, ¿cómo puedo entenderlo?

Categoricity de segundo orden las teorías - precisamente ¿qué significa?

Para un conjunto verdadero completo $T$ es un modelo contable transitivo que satisface $T$ ¿único?

Preservación de $\exists \forall $ -sentencia de campos de extensión algebraica infinita

La inclusión local implica incrustarse en un ultraproducto

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

Ordinal par $(α,β)$ tal que $α<β$ $Th(α,<) = Th(β,<)$

¿Cómo dar pruebas formales en lógica?

Etiquetas mas usadas

i-Ciencias.com

Powered by: