Preguntas ciencias de model-teoría06

7

1Resp

123Vistas

Comprender la convergencia en el espacio de las teorías completas

Resuelta

Preguntado el 23 de Septiembre, 2018 por bksunday

6

3Resp

301Vistas

¿Puede el conjunto vacío servir como universo de un semigrupo (es decir, un conjunto equipado con una operación binaria asociativa)?

Abierta

Preguntado el 22 de Septiembre, 2018 por Vera

5

1Resp

152Vistas

¿El espacio de Baire como un grupo de automorfismo?

Resuelta

Preguntado el 21 de Septiembre, 2018 por Alessandro

4

1Resp

127Vistas

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Abierta

Preguntado el 6 de Junio, 2018 por PyRulez

5

1Resp

183Vistas

Ultraproductos por ultrafiltro contablemente completo

Abierta

Preguntado el 21 de Noviembre, 2013 por The_Bluesman

5

1Resp

173Vistas

La inclusión local implica incrustarse en un ultraproducto

Abierta

Preguntado el 7 de Septiembre, 2014 por Random Jack

4

1Resp

223Vistas

expresividad de la lógica infinita computable

Abierta

Preguntado el 18 de Mayo, 2012 por mmw

6

2Resp

135Vistas

Sentencia de primer orden que implica a sólo una relación binaria simétrica con infinitos modelos de sólo

Resuelta

Preguntado el 27 de Septiembre, 2017 por Carralpha

4

1Resp

131Vistas

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

Abierta

Preguntado el 8 de Agosto, 2017 por Victor Zhang

4

1Resp

184Vistas

Relaciones entre teorías y categorías

Abierta

Preguntado el 28 de Julio, 2014 por Ryan McCuaig

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

2Resp

129Vistas

Bifurcando pero no dividiendo

Abierta

Preguntado el 3 de Septiembre, 2018 por Lajos

5

1Resp

178Vistas

Un heurístico para la consistencia de ZFC (teoría de la estructura fina)

Abierta

Preguntado el 1 de Septiembre, 2018 por Cody S

6

1Resp

207Vistas

La relación de satisfacción es indefinible, pero aún "existe"?

Resuelta

Preguntado el 28 de Agosto, 2018 por Pace Nielsen

6

1Resp

176Vistas

Mostrar$2$ no se puede definir en$(\mathbb{Q},+)$.

Resuelta

Preguntado el 9 de Mayo, 2014 por Rustyn

5

2Resp

308Vistas

Axiomatización de la orden de bienestar

Resuelta

Preguntado el 20 de Octubre, 2013 por user100561

4

1Resp

137Vistas

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Resuelta

Preguntado el 9 de Junio, 2016 por Arctictern

4

1Resp

358Vistas

Indistinibilidad de primer orden de "el continuo"

Abierta

Preguntado el 31 de Marzo, 2011 por boumol

5

1Resp

242Vistas

¿Cuál es la formulación de la propiedad Least Upper Bound en First Order Logic?

Resuelta

Preguntado el 17 de Mayo, 2013 por Daniela Diaz

4

2Resp

121Vistas

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

Abierta

Preguntado el 1 de Marzo, 2017 por ksivasuriyaprakash

12

3Resp

247Vistas

¿Dónde están los conceptos de la teoría de modelo de?

Abierta

Preguntado el 12 de Agosto, 2018 por Lajos

4

1Resp

150Vistas

Caracterización de las teorías estables

Resuelta

Preguntado el 12 de Agosto, 2018 por Lajos

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

6

1Resp

117Vistas

Áreas de investigación en aritmética de Peano

Resuelta

Preguntado el 2 de Agosto, 2018 por user2875613

9

2Resp

288Vistas

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

Resuelta

Preguntado el 2 de Agosto, 2018 por Dain

8

1Resp

191Vistas

¿Aplicaciones de la teoría de modelos - que son las poleas?

Resuelta

Preguntado el 1 de Agosto, 2018 por user193072

4

1Resp

149Vistas

Mostrar una estructura es mínimo

Resuelta

Preguntado el 1 de Noviembre, 2016 por Sibusiso Ndlovu

4

1Resp

156Vistas

Decisión y el espectro de innumerables

Resuelta

Preguntado el 23 de Julio, 2014 por Kyle Gannon

5

1Resp

170Vistas

¿Hay otro, modelo teórico, cuentas de validez semántica?

Abierta

Preguntado el 14 de Junio, 2013 por user894795

4

1Resp

122Vistas

¿es la lógica de primer orden con constantes igual de expresiva que la lógica de primer orden sin constantes?

Resuelta

Preguntado el 23 de Julio, 2018 por discretizer

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Comprender la convergencia en el espacio de las teorías completas

¿Puede el conjunto vacío servir como universo de un semigrupo (es decir, un conjunto equipado con una operación binaria asociativa)?

¿El espacio de Baire como un grupo de automorfismo?

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Ultraproductos por ultrafiltro contablemente completo

La inclusión local implica incrustarse en un ultraproducto

expresividad de la lógica infinita computable

Sentencia de primer orden que implica a sólo una relación binaria simétrica con infinitos modelos de sólo

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

Relaciones entre teorías y categorías

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

Bifurcando pero no dividiendo

Un heurístico para la consistencia de ZFC (teoría de la estructura fina)

La relación de satisfacción es indefinible, pero aún "existe"?

Mostrar$2$ no se puede definir en$(\mathbb{Q},+)$.

Axiomatización de la orden de bienestar

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Indistinibilidad de primer orden de "el continuo"

¿Cuál es la formulación de la propiedad Least Upper Bound en First Order Logic?

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

¿Dónde están los conceptos de la teoría de modelo de?

Caracterización de las teorías estables

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

Áreas de investigación en aritmética de Peano

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

¿Aplicaciones de la teoría de modelos - que son las poleas?

Mostrar una estructura es mínimo

Decisión y el espectro de innumerables

¿Hay otro, modelo teórico, cuentas de validez semántica?

¿es la lógica de primer orden con constantes igual de expresiva que la lógica de primer orden sin constantes?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: