Preguntas ciencias de model-teoría03

6

1Resp

476Vistas

¿Implica la eliminación del cuantificador la decidibilidad?

Resuelta

Preguntado el 16 de Diciembre, 2012 por user52072

5

1Resp

171Vistas

Cómo abordar modelos primos y modelos saturados.

Resuelta

Preguntado el 7 de Abril, 2019 por Joachim

5

1Resp

143Vistas

Problemas para entender el teorema de Tarski

Resuelta

Preguntado el 3 de Abril, 2019 por Simone Margaritelli

4

1Resp

182Vistas

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

Cerrada

Preguntado el 14 de Junio, 2013 por Vikram Saraph

8

2Resp

335Vistas

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

Abierta

Preguntado el 30 de Marzo, 2019 por Simone Margaritelli

5

1Resp

138Vistas

La discusión sobre AC y contables de los sindicatos de conjuntos contables

Resuelta

Preguntado el 4 de Diciembre, 2015 por Rushi

4

1Resp

163Vistas

Modelos de grupos infinitos y objetos 'grupales'

Resuelta

Preguntado el 23 de Mayo, 2014 por Kyle Gannon

4

1Resp

121Vistas

La acción de automorfismos en Nonforking Extensiones

Resuelta

Preguntado el 24 de Mayo, 2013 por Elijah Glover

5

1Resp

1151Vistas

Menos ordinal no en una contables modelo transitivo de ZFC

Resuelta

Preguntado el 25 de Febrero, 2010 por mmcglynn

6

1Resp

118Vistas

La unión de una estrictamente creciente de la secuencia de cierre de las teorías en un lenguaje finito tiene una infinita modelo

Resuelta

Preguntado el 15 de Julio, 2018 por user470412

4

1Resp

141Vistas

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

Abierta

Preguntado el 29 de Septiembre, 2018 por Pinocchio

11

3Resp

282Vistas

Unicidad de los hiperreales construidos mediante ultrapoderes

Resuelta

Preguntado el 20 de Marzo, 2014 por dogbane

4

1Resp

111Vistas

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

Abierta

Preguntado el 31 de Julio, 2018 por Scott Mutchnik

4

1Resp

204Vistas

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

Abierta

Preguntado el 6 de Septiembre, 2011 por andrei

7

1Resp

187Vistas

Modelos de la teoría del vacío

Abierta

Preguntado el 16 de Marzo, 2015 por b0bg0blin

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

227Vistas

Automorfismos de primaria extensiones

Resuelta

Preguntado el 1 de Abril, 2012 por ManuelSchneid3r

4

1Resp

296Vistas

¿Existen contraejemplos sencillos a un teorema de refuerzo de la omisión de tipos

Resuelta

Preguntado el 16 de Junio, 2012 por Shery

4

1Resp

221Vistas

Infinito orden lineal con extremos que no es densa

Resuelta

Preguntado el 20 de Marzo, 2014 por Nick

7

1Resp

158Vistas

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

7

1Resp

142Vistas

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

6

1Resp

153Vistas

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

Abierta

Preguntado el 8 de Marzo, 2017 por William Krinsman

4

1Resp

108Vistas

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

Abierta

Preguntado el 20 de Noviembre, 2015 por andrewmh20

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

6

2Resp

360Vistas

Introducción suave en la teoría de la estabilidad y la clasificación.

Resuelta

Preguntado el 18 de Septiembre, 2012 por aleksandar

4

2Resp

245Vistas

Encontrar un conjunto de oraciones $\Sigma$ de manera tal que el conjunto de todos los modelos de $\Sigma$ es countably infinito.

Resuelta

Preguntado el 5 de Octubre, 2013 por Nate

6

1Resp

117Vistas

Definibilidad de primer orden de estructuras finitas (resultado negativo)

Resuelta

Preguntado el 12 de Febrero, 2019 por Rafael Bankosegger

20

2Resp

936Vistas

¿Se ha decidido alguna vez una conjetura al construir la prueba con lógica matemática?

Abierta

Preguntado el 12 de Febrero, 2019 por PyRulez

4

1Resp

108Vistas

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

Resuelta

Preguntado el 29 de Noviembre, 2017 por Aidan

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

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Implica la eliminación del cuantificador la decidibilidad?

Cómo abordar modelos primos y modelos saturados.

Problemas para entender el teorema de Tarski

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

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

La discusión sobre AC y contables de los sindicatos de conjuntos contables

Modelos de grupos infinitos y objetos 'grupales'

La acción de automorfismos en Nonforking Extensiones

Menos ordinal no en una contables modelo transitivo de ZFC

La unión de una estrictamente creciente de la secuencia de cierre de las teorías en un lenguaje finito tiene una infinita modelo

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

Unicidad de los hiperreales construidos mediante ultrapoderes

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

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

Modelos de la teoría del vacío

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

Automorfismos de primaria extensiones

¿Existen contraejemplos sencillos a un teorema de refuerzo de la omisión de tipos

Infinito orden lineal con extremos que no es densa

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

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

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

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

Introducción suave en la teoría de la estabilidad y la clasificación.

Encontrar un conjunto de oraciones $\Sigma$ de manera tal que el conjunto de todos los modelos de $\Sigma$ es countably infinito.

Definibilidad de primer orden de estructuras finitas (resultado negativo)

¿Se ha decidido alguna vez una conjetura al construir la prueba con lógica matemática?

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

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

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: