Preguntas de model-teoría

8

2Resp

153Vistas

¿Cuáles son los diferentes enfoques para formalizar la teoría de tipos en el contexto habitual del modelo teórico?

Abierta

Preguntado el 13 de Marzo, 2017 por CocoaPriest

11

5Resp

1242Vistas

¿Es necesario que el modelo de la teoría sea un conjunto?

Resuelta

Preguntado el 18 de Febrero, 2010 por Renaud Bompuis

4

1Resp

159Vistas

Modelo de extensión completa de la teoría de conjuntos de Zermelo

Resuelta

Preguntado el 29 de Junio, 2014 por Hanul Jeon

6

1Resp

160Vistas

Supongamos que una teoría T tiene un número contable de axiomas, ¿cuántos modelos de $T$ son de cardinalidad $\aleph_1$ , $\aleph_2$ , $\aleph_{\omega_1}$ ?

Abierta

Preguntado el 4 de Febrero, 2015 por FiveOhHO

8

1Resp

379Vistas

Los cuantificadores como adjuntos en la lógica generalizada

Resuelta

Preguntado el 26 de Julio, 2013 por Kitsune

5

2Resp

881Vistas

Teoría elemental de los campos finitos

Abierta

Preguntado el 8 de Diciembre, 2009 por pottedmeat

4

1Resp

195Vistas

Una pregunta que tratan de las condiciones para que $V_\alpha$ modelos de $ZFC$

Resuelta

Preguntado el 10 de Octubre, 2013 por Mark Baker

7

2Resp

175Vistas

¿Es el axioma de inducción constructivamente comprobable para un modelo no estándar de la aritmética de Peano?

Abierta

Preguntado el 9 de Abril, 2016 por ziggurism

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

4

1Resp

133Vistas

Aislado los tipos en un ACF en un subcampo, en uno y dimensiones superiores

Abierta

Preguntado el 8 de Agosto, 2017 por Victor Zhang

17

4Resp

1551Vistas

¿Cómo puede haber auténticos modelos de la teoría de conjuntos?

Abierta

Preguntado el 10 de Agosto, 2011 por aleksandar

10

2Resp

563Vistas

El significado de la cita: "el modelo de la teoría de = la geometría algebraica - campos"?

Abierta

Preguntado el 12 de Junio, 2013 por ShihabSoft

11

2Resp

440Vistas

¿Puede una teoría decidible tener modelos no recursivos?

Abierta

Preguntado el 10 de Enero, 2014 por M D

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

6

1Resp

255Vistas

Pregunta sobre las frases existenciales

Resuelta

Preguntado el 30 de Octubre, 2013 por fnimic

8

1Resp

182Vistas

Fortalecer Lowenheim Skolem

Resuelta

Preguntado el 23 de Febrero, 2017 por Jordan Lev

10

4Resp

495Vistas

¿Hay contraposición a las interpretaciones intuitivas de ZF o ZFC?

Resuelta

Preguntado el 28 de Agosto, 2014 por YonedaLemma

5

1Resp

138Vistas

Restricciones de automorfismos primaria subestructuras

Resuelta

Preguntado el 1 de Julio, 2013 por user38562

7

2Resp

228Vistas

¿Existe un enfoque constructivo que sustituya a la construcción de Henkin?

Abierta

Preguntado el 3 de Octubre, 2015 por Name

5

2Resp

218Vistas

Ejecución de programas en modelos no estándar de AP

Resuelta

Preguntado el 29 de Julio, 2013 por ak2

4

1Resp

211Vistas

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

Resuelta

Preguntado el 21 de Agosto, 2016 por Watson

4

1Resp

175Vistas

Una clase de morfismos entre modelos

Resuelta

Preguntado el 8 de Junio, 2017 por Primo Petri

4

1Resp

133Vistas

¿Puede haber un$S \subseteq \mathbb{R}$ cerrado bajo la multiplicación y la suma con$|\mathbb{Q}| < |S| < |\mathbb{R}|$?

Resuelta

Preguntado el 6 de Marzo, 2019 por Stefan

4

1Resp

114Vistas

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

Resuelta

Preguntado el 23 de Abril, 2019 por user297564

11

3Resp

530Vistas

¿Por qué son estructuras muy interesante?

Resuelta

Preguntado el 20 de Agosto, 2016 por Benjamin Stütz

5

1Resp

250Vistas

Segmentos inicial de la Aritmética Modular

Resuelta

Preguntado el 8 de Noviembre, 2013 por M D

7

2Resp

155Vistas

¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?

Abierta

Preguntado el 31 de Mayo, 2018 por PyRulez

4

2Resp

121Vistas

Conjuntos definibles en un $\aleph_0$ -estructuras categóricas y automorfismos.

Abierta

Preguntado el 1 de Marzo, 2017 por ksivasuriyaprakash

24

1Resp

1938Vistas

No-estándar de los modelos de la aritmética para Dummies

Resuelta

Preguntado el 6 de Mayo, 2011 por aleksandar

8

3Resp

505Vistas

Cómo es exactamente lo que la lógica y las matemáticas interactuar y ¿qué sucede cuando cambiamos la lógica?

Resuelta

Preguntado el 22 de Febrero, 2012 por confused

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuáles son los diferentes enfoques para formalizar la teoría de tipos en el contexto habitual del modelo teórico?

¿Es necesario que el modelo de la teoría sea un conjunto?

Modelo de extensión completa de la teoría de conjuntos de Zermelo

Supongamos que una teoría T tiene un número contable de axiomas, ¿cuántos modelos de $T$ son de cardinalidad $\aleph_1$ , $\aleph_2$ , $\aleph_{\omega_1}$ ?

Los cuantificadores como adjuntos en la lógica generalizada

Teoría elemental de los campos finitos

Una pregunta que tratan de las condiciones para que $V_\alpha$ modelos de $ZFC$

¿Es el axioma de inducción constructivamente comprobable para un modelo no estándar de la aritmética de Peano?

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

Aislado los tipos en un ACF en un subcampo, en uno y dimensiones superiores

¿Cómo puede haber auténticos modelos de la teoría de conjuntos?

El significado de la cita: "el modelo de la teoría de = la geometría algebraica - campos"?

¿Puede una teoría decidible tener modelos no recursivos?

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

Pregunta sobre las frases existenciales

Fortalecer Lowenheim Skolem

¿Hay contraposición a las interpretaciones intuitivas de ZF o ZFC?

Restricciones de automorfismos primaria subestructuras

¿Existe un enfoque constructivo que sustituya a la construcción de Henkin?

Ejecución de programas en modelos no estándar de AP

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

Una clase de morfismos entre modelos

¿Puede haber un$S \subseteq \mathbb{R}$ cerrado bajo la multiplicación y la suma con$|\mathbb{Q}| < |S| < |\mathbb{R}|$?

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

¿Por qué son estructuras muy interesante?

Segmentos inicial de la Aritmética Modular

¿Pueden tener dos modelos diferentes de la aritmética no comparables vistas de la aritmética de peano?

Conjuntos definibles en un $\aleph_0$ -estructuras categóricas y automorfismos.

No-estándar de los modelos de la aritmética para Dummies

Cómo es exactamente lo que la lógica y las matemáticas interactuar y ¿qué sucede cuando cambiamos la lógica?

Etiquetas mas usadas

i-Ciencias.com

Powered by: