Preguntas ciencias de model-teoría011

7

2Resp

224Vistas

Fórmula del espectro de cuadrados perfectos.

Resuelta

Preguntado el 26 de Noviembre, 2014 por fade2black

5

1Resp

150Vistas

Una pregunta sobre $R^\infty$-rank

Abierta

Preguntado el 18 de Marzo, 2012 por senthil

5

1Resp

190Vistas

Demostrando que $\langle \omega, \in \rangle $ modelos de conjunto vacío y extensionalidad

Abierta

Preguntado el 24 de Noviembre, 2012 por Rudy the Reindeer

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

2Resp

168Vistas

Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas

Abierta

Preguntado el 21 de Septiembre, 2017 por digitalPBK

5

2Resp

140Vistas

Indiscernible para crear descendente de la cadena de primaria modelos

Abierta

Preguntado el 13 de Junio, 2015 por Elias Estatistics

12

2Resp

172Vistas

contraejemplo para los tipos omitiendo en incontables idiomas

Resuelta

Preguntado el 18 de Septiembre, 2017 por Primo Petri

7

2Resp

227Vistas

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

Abierta

Preguntado el 3 de Octubre, 2015 por Name

5

2Resp

224Vistas

¿Es un espacio topológico una estructura?

Abierta

Preguntado el 8 de Abril, 2013 por goblin

18

2Resp

3583Vistas

¿Hay un bijection entre los reales y naturales?

Resuelta

Preguntado el 13 de Septiembre, 2017 por fR0DDY

6

1Resp

305Vistas

En ZF, ¿existe un ordinal de demostrablemente innumerables cofinality?

Resuelta

Preguntado el 10 de Junio, 2013 por casperOne

7

1Resp

154Vistas

Eliminación de cuantificadores para $\exists x\ x^2=y$

Resuelta

Preguntado el 5 de Septiembre, 2017 por W. Rether

5

2Resp

207Vistas

El conjunto de enteros impares no es definible en$(\mathbb{Z},+)$ por una fórmula existencial

Resuelta

Preguntado el 3 de Enero, 2015 por jh4

5

1Resp

371Vistas

Preguntas sobre el concepto de estructura, modelo y lenguaje Formal

Resuelta

Preguntado el 30 de Mayo, 2013 por Daniela Diaz

6

2Resp

712Vistas

¿Ejemplo de una Teoría Lógica Indecidible que es una extensión de una Teoría Lógica Decidible?

Resuelta

Preguntado el 30 de Enero, 2011 por boumol

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

4

1Resp

170Vistas

Yo don ' t realmente entender qué modelo es.

Abierta

Preguntado el 20 de Marzo, 2016 por YoTengoUnLCD

4

1Resp

159Vistas

¿Por qué sería esto una $T_1$ -¿espacio?

Resuelta

Preguntado el 16 de Febrero, 2017 por Max

6

1Resp

104Vistas

¿Por qué tiene cada teoría completa propiedad conjunta de inclusión?

Resuelta

Preguntado el 5 de Mayo, 2016 por Liam

5

1Resp

405Vistas

finitud y primeras oraciones de la orden

Resuelta

Preguntado el 12 de Junio, 2013 por Babla

5

1Resp

175Vistas

¿Es lógica infinitary $\mathcal{L}_{\infty\omega}$ una lógica abstracta?

Resuelta

Preguntado el 11 de Julio, 2014 por MaxVT

5

1Resp

277Vistas

Hereda topología lógica piedra ' espacios s.

Abierta

Preguntado el 29 de Abril, 2013 por Pece

5

2Resp

161Vistas

¿Implica la algebraicidad dividir (teoría de modelos)

Resuelta

Preguntado el 22 de Noviembre, 2016 por GreenAlien

6

2Resp

264Vistas

Relaciones definibles

Abierta

Preguntado el 1 de Diciembre, 2012 por user51361

5

1Resp

185Vistas

Definibilidad en campos exponenciales asumiendo la cuasiminalidad

Resuelta

Preguntado el 22 de Agosto, 2013 por Michael Caron

5

1Resp

163Vistas

$T\vDash\psi$ equivalencias

Resuelta

Preguntado el 24 de Abril, 2013 por Babla

6

1Resp

156Vistas

Modelos no isomórficos de PA con grupos de automorfismo isomórficos

Resuelta

Preguntado el 4 de Septiembre, 2016 por Jonathan Fruchter

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

5

1Resp

236Vistas

Lenguaje semiformal - El universo tiene al menos tres elementos

Resuelta

Preguntado el 24 de Abril, 2013 por Babla

5

1Resp

191Vistas

El ultraproducto$\mathbb{N}^\mathbb{N} / \mathcal{F}$ es incontable

Abierta

Preguntado el 30 de Enero, 2013 por José De la O

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Fórmula del espectro de cuadrados perfectos.

Una pregunta sobre $R^\infty$-rank

Demostrando que $\langle \omega, \in \rangle $ modelos de conjunto vacío y extensionalidad

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

Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas

Indiscernible para crear descendente de la cadena de primaria modelos

contraejemplo para los tipos omitiendo en incontables idiomas

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

¿Es un espacio topológico una estructura?

¿Hay un bijection entre los reales y naturales?

En ZF, ¿existe un ordinal de demostrablemente innumerables cofinality?

Eliminación de cuantificadores para $\exists x\ x^2=y$

El conjunto de enteros impares no es definible en$(\mathbb{Z},+)$ por una fórmula existencial

Preguntas sobre el concepto de estructura, modelo y lenguaje Formal

¿Ejemplo de una Teoría Lógica Indecidible que es una extensión de una Teoría Lógica Decidible?

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

Yo don ' t realmente entender qué modelo es.

¿Por qué sería esto una $T_1$ -¿espacio?

¿Por qué tiene cada teoría completa propiedad conjunta de inclusión?

finitud y primeras oraciones de la orden

¿Es lógica infinitary $\mathcal{L}_{\infty\omega}$ una lógica abstracta?

Hereda topología lógica piedra ' espacios s.

¿Implica la algebraicidad dividir (teoría de modelos)

Relaciones definibles

Definibilidad en campos exponenciales asumiendo la cuasiminalidad

$T\vDash\psi$ equivalencias

Modelos no isomórficos de PA con grupos de automorfismo isomórficos

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

Lenguaje semiformal - El universo tiene al menos tres elementos

El ultraproducto$\mathbb{N}^\mathbb{N} / \mathcal{F}$ es incontable

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: