Preguntas de model-teoría

5

1Resp

144Vistas

Problemas para entender el teorema de Tarski

Resuelta

Preguntado el 3 de Abril, 2019 por Simone Margaritelli

4

2Resp

351Vistas

Definición de verdad en la lógica de primer orden

Abierta

Preguntado el 16 de Julio, 2016 por csTroubled

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

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

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

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

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

7

2Resp

1041Vistas

¿Cuál es un ejemplo de un modelo finito en lógica de primer orden que tiene un único elemento indefinible?

Resuelta

Preguntado el 29 de Septiembre, 2010 por jasonjwwilliams

5

1Resp

217Vistas

Hodges, motete Non vos relinquam y secuencias indiscernibles.

Abierta

Preguntado el 4 de Junio, 2015 por Elias Estatistics

4

1Resp

234Vistas

Pregunta sobre los resultados de inexpresividad sobre modelos finitos utilizando la compacidad y el teorema de Löwenheim-Skolem

Resuelta

Preguntado el 7 de Abril, 2013 por sxd

4

1Resp

121Vistas

El espectro de una oración$\Sigma_2$

Resuelta

Preguntado el 20 de Mayo, 2018 por tseeling

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

6

1Resp

153Vistas

¿La geometría euclidiana requiere un espacio métrico completo?

Abierta

Preguntado el 8 de Marzo, 2017 por William Krinsman

11

1Resp

260Vistas

Los modelos en la teoría de conjuntos y la hipótesis continua

Resuelta

Preguntado el 5 de Diciembre, 2015 por truebaran

11

1Resp

150Vistas

Dado que la teoría del modelo debe fundarse en la teoría de conjuntos, ¿obtiene diferentes resultados teóricos modelo dependiendo de su elección de la teoría de conjuntos?

Abierta

Preguntado el 4 de Mayo, 2018 por user52969

4

1Resp

184Vistas

Relaciones entre teorías y categorías

Abierta

Preguntado el 28 de Julio, 2014 por Ryan McCuaig

57

5Resp

4841Vistas

¿Cómo es el Gödel ' s Teorema de completitud no una tautología?

Resuelta

Preguntado el 27 de Abril, 2014 por Lurco

30

3Resp

617Vistas

Aplicaciones del modelo de la teoría para el análisis de

Resuelta

Preguntado el 23 de Diciembre, 2012 por Shery

16

3Resp

768Vistas

La comparación de la Categoría de Teoría y Modelo de Teoría (con ejemplos de la Teoría del Grupo).

Resuelta

Preguntado el 5 de Julio, 2011 por categoryboy

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Problemas para entender el teorema de Tarski

Definición de verdad en la lógica de primer orden

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

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

¿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

¿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

¿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?

¿Cuál es un ejemplo de un modelo finito en lógica de primer orden que tiene un único elemento indefinible?

Hodges, motete Non vos relinquam y secuencias indiscernibles.

Pregunta sobre los resultados de inexpresividad sobre modelos finitos utilizando la compacidad y el teorema de Löwenheim-Skolem

El espectro de una oración$\Sigma_2$

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

¿La geometría euclidiana requiere un espacio métrico completo?

Los modelos en la teoría de conjuntos y la hipótesis continua

Dado que la teoría del modelo debe fundarse en la teoría de conjuntos, ¿obtiene diferentes resultados teóricos modelo dependiendo de su elección de la teoría de conjuntos?

Relaciones entre teorías y categorías

¿Cómo es el Gödel ' s Teorema de completitud no una tautología?

Aplicaciones del modelo de la teoría para el análisis de

La comparación de la Categoría de Teoría y Modelo de Teoría (con ejemplos de la Teoría del Grupo).

Etiquetas mas usadas

i-Ciencias.com

Powered by: