Preguntas de model-teoría010

7

1Resp

154Vistas

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

Resuelta

Preguntado el 5 de Septiembre, 2017 por W. Rether

12

1Resp

187Vistas

Exponenciales sobreyectivas para campos algebraicamente cerrados

Abierta

Preguntado el 24 de Abril, 2016 por Captain Lama

5

1Resp

168Vistas

Equivalencia de la teorías $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ y $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le) $

Abierta

Preguntado el 15 de Noviembre, 2015 por frogeyedpeas

6

1Resp

151Vistas

Mostrar un homomorphism existe iff existen homomorphisms de cada finitely generado subestructura

Resuelta

Preguntado el 1 de Noviembre, 2017 por Adrian Lee

5

1Resp

145Vistas

Teorías O mínimo con orden no denso tipo

Resuelta

Preguntado el 19 de Octubre, 2014 por Kyle Gannon

6

1Resp

363Vistas

¿Cómo encuentro el modelo de mi báscula?

Resuelta

Preguntado el 31 de Agosto, 2012 por aleksandar

7

1Resp

164Vistas

Un modelo que tiene sólo un elemento indefinible sobre un lenguaje con sólo un número finito de símbolos

Resuelta

Preguntado el 24 de Junio, 2014 por Hanul Jeon

7

1Resp

161Vistas

¿Integridad lógica Infinitary?

Abierta

Preguntado el 18 de Julio, 2015 por Comptrol

5

1Resp

341Vistas

Usando el teorema de la reflexión

Resuelta

Preguntado el 11 de Noviembre, 2013 por Mark Baker

5

1Resp

152Vistas

Mutuo Singularidad de las Operaciones en el PA de los modelos

Resuelta

Preguntado el 11 de Mayo, 2012 por boumol

12

5Resp

364Vistas

Modelos vs. Estructuras

Resuelta

Preguntado el 5 de Junio, 2013 por larrware

19

5Resp

2370Vistas

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Abierta

Preguntado el 5 de Marzo, 2018 por Abhishek Bajoria

4

1Resp

257Vistas

número de órdenes lineales

Resuelta

Preguntado el 20 de Febrero, 2012 por g.castro

11

1Resp

140Vistas

Existe un subregistro de la $\mathbb{R}$ que es un buen primaria de la extensión de $\mathbb{Q}$?

Resuelta

Preguntado el 31 de Marzo, 2018 por Exomnium

4

1Resp

426Vistas

Una frase que tiene infinitos modelos, modelo finito, pero ningún modelo finito por encima de cierta cardinalidad

Resuelta

Preguntado el 13 de Julio, 2013 por fnimic

4

1Resp

178Vistas

El uso de Compacidad para encontrar un no edificable conjunto

Resuelta

Preguntado el 11 de Noviembre, 2015 por Pedro Sánchez Terraf

5

2Resp

322Vistas

Prueba del teorema de la compacidad

Resuelta

Preguntado el 16 de Noviembre, 2012 por Rudy the Reindeer

4

2Resp

174Vistas

La Articulación De La Incrustación De La Propiedad

Abierta

Preguntado el 28 de Diciembre, 2014 por Oscar Beh

9

3Resp

187Vistas

¿Es posible tener dos modelos $M$, $N$ y para cada uno una incrustación primaria a otra, pero el $M$, $N$ no son isomorfos?

Abierta

Preguntado el 27 de Mayo, 2018 por user297564

4

1Resp

185Vistas

Sistemas de modelos aritméticos

Cerrada

Preguntado el 15 de Mayo, 2018 por w4g3n3r

6

3Resp

203Vistas

Son surjective polinomio mapas inyectiva?

Abierta

Preguntado el 11 de Mayo, 2014 por user149382

4

1Resp

151Vistas

La clase de grupos finitos (modelos) y de los grupos contables no son clases elementales (una versión generalizada).

Abierta

Preguntado el 24 de Mayo, 2014 por julypraise

4

1Resp

115Vistas

¿Por qué necesitamos a veces otras estructuras que las mencionadas en el teorema para demostrar los teoremas?

Resuelta

Preguntado el 8 de Diciembre, 2013 por mathprogrammer

5

1Resp

223Vistas

$\vDash \varphi$ si y solo si $\| \varphi \|_A =1$ para cada estructura de valores booleanos $A$

Resuelta

Preguntado el 1 de Mayo, 2016 por M1EK

5

1Resp

745Vistas

ventaja de la lógica de primer orden sobre la lógica de segundo orden

Resuelta

Preguntado el 10 de Mayo, 2012 por Eric Noob

4

1Resp

182Vistas

No hay modelos contables

Abierta

Preguntado el 27 de Marzo, 2015 por Model

4

1Resp

358Vistas

Indistinibilidad de primer orden de "el continuo"

Abierta

Preguntado el 31 de Marzo, 2011 por boumol

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

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

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

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

Exponenciales sobreyectivas para campos algebraicamente cerrados

Equivalencia de la teorías $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ y $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le) $

Mostrar un homomorphism existe iff existen homomorphisms de cada finitely generado subestructura

Teorías O mínimo con orden no denso tipo

¿Cómo encuentro el modelo de mi báscula?

Un modelo que tiene sólo un elemento indefinible sobre un lenguaje con sólo un número finito de símbolos

¿Integridad lógica Infinitary?

Usando el teorema de la reflexión

Mutuo Singularidad de las Operaciones en el PA de los modelos

Modelos vs. Estructuras

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

número de órdenes lineales

Existe un subregistro de la $\mathbb{R}$ que es un buen primaria de la extensión de $\mathbb{Q}$?

Una frase que tiene infinitos modelos, modelo finito, pero ningún modelo finito por encima de cierta cardinalidad

El uso de Compacidad para encontrar un no edificable conjunto

Prueba del teorema de la compacidad

La Articulación De La Incrustación De La Propiedad

¿Es posible tener dos modelos $M$, $N$ y para cada uno una incrustación primaria a otra, pero el $M$, $N$ no son isomorfos?

Sistemas de modelos aritméticos

Son surjective polinomio mapas inyectiva?

La clase de grupos finitos (modelos) y de los grupos contables no son clases elementales (una versión generalizada).

¿Por qué necesitamos a veces otras estructuras que las mencionadas en el teorema para demostrar los teoremas?

$\vDash \varphi$ si y solo si $\| \varphi \|_A =1$ para cada estructura de valores booleanos $A$

ventaja de la lógica de primer orden sobre la lógica de segundo orden

No hay modelos contables

Indistinibilidad de primer orden de "el continuo"

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

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: