Preguntas ciencias de model-teoría08

5

1Resp

224Vistas

Algunas frases de $\Pi^1_1$ son elementales

Resuelta

Preguntado el 9 de Mayo, 2018 por Allen Bauer

4

1Resp

201Vistas

¿Es esta teoría $\kappa$-categóricos cuando $\kappa$ es infinito y no $\le \aleph_0$?

Resuelta

Preguntado el 28 de Noviembre, 2012 por John O

5

2Resp

238Vistas

Se puede demostrar la existencia de incommensurables sin el teorema de Pitágoras?

Abierta

Preguntado el 28 de Agosto, 2014 por Conifold

5

2Resp

151Vistas

Infinitos modelos no isomórficos para la función sucesora

Resuelta

Preguntado el 3 de Agosto, 2016 por Valerie Poulain

11

1Resp

151Vistas

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

5

1Resp

588Vistas

Demostrar que dos estructuras son elementalmente equivalentes (Lógica)

Resuelta

Preguntado el 20 de Abril, 2013 por yoyostein

4

2Resp

174Vistas

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

Abierta

Preguntado el 28 de Diciembre, 2014 por Oscar Beh

4

2Resp

183Vistas

Hay una incrustación de $\langle \mathbb{N} \setminus \{0\}, \leq, \times, 1 \rangle$ a $\langle \mathbb{N}, \leq, +, 0 \rangle$?

Resuelta

Preguntado el 15 de Julio, 2015 por bksunday

5

2Resp

324Vistas

Prueba del teorema de la compacidad

Resuelta

Preguntado el 16 de Noviembre, 2012 por Rudy the Reindeer

4

2Resp

313Vistas

Por el teorema de estructura para los grupos abelianos finitos, todos estos grupos son productos de grupos cíclicos.

Resuelta

Preguntado el 27 de Octubre, 2013 por Hanul Jeon

5

1Resp

166Vistas

¿Es $\mathbb{L}$ literalmente el modelo más pequeño de $\sf ZF(C)$? (En $\sf NBG$)

Resuelta

Preguntado el 1 de Mayo, 2017 por Max

8

2Resp

389Vistas

El modelo de la teoría y la Prueba de la teoría de Lógica Proposicional

Resuelta

Preguntado el 18 de Abril, 2014 por Junior Mayhé

5

1Resp

127Vistas

$\Bbb Q_{\ge 0}$ primaria definible en $\mathfrak A$=($\Bbb Q$, $\cdot$)

Abierta

Preguntado el 3 de Agosto, 2017 por Evgenij Avstein

4

1Resp

103Vistas

$j''(X,\mathcal{B})$ ser un subespacio de $(j(X),j(\mathcal{B}))$ primaria $j$.

Resuelta

Preguntado el 18 de Febrero, 2018 por MingusMingusMingusMingus

4

1Resp

179Vistas

El uso de Compacidad para encontrar un no edificable conjunto

Resuelta

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

4

1Resp

427Vistas

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

196Vistas

Conjunto infinito de primos estándar como el conjunto de divisores primos estándar de un número no estándar

Abierta

Preguntado el 28 de Octubre, 2013 por Joe

8

1Resp

148Vistas

Principio de reflejo y de compacidad teorema de ZFC

Resuelta

Preguntado el 26 de Diciembre, 2017 por Gödel

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

5

2Resp

341Vistas

cómo crear el conjunto de hyperreal números utilizando ultraproduct

Abierta

Preguntado el 27 de Febrero, 2013 por ttp

9

2Resp

323Vistas

¿Por qué estoy modelo de aprendizaje de la teoría?

Resuelta

Preguntado el 23 de Octubre, 2013 por Malice Vidrine

4

1Resp

138Vistas

Espacio de contables de los modelos de una teoría T como un espacio polaco

Resuelta

Preguntado el 15 de Diciembre, 2013 por Kitsune

4

1Resp

165Vistas

Encontrar un contraejemplo en la teoría de modelos

Resuelta

Preguntado el 10 de Octubre, 2013 por Mark Baker

5

1Resp

304Vistas

Demostrar el teorema de Tychonoff con el teorema de Compacidad de la lógica

Resuelta

Preguntado el 23 de Junio, 2013 por Dominik

4

1Resp

425Vistas

(De la onu)Decidability de válido, pero no finitely-conste fórmulas

Resuelta

Preguntado el 21 de Enero, 2011 por boumol

4

1Resp

130Vistas

Para $p$ tipo global, $p$ divide el fib es horquillas

Resuelta

Preguntado el 28 de Septiembre, 2017 por Allen Bauer

4

1Resp

258Vistas

número de órdenes lineales

Resuelta

Preguntado el 20 de Febrero, 2012 por g.castro

4

2Resp

124Vistas

Puede una torsión de grupo y un nontorsion grupo elementarily equivalente?

Abierta

Preguntado el 10 de Febrero, 2017 por jay_hathaway

4

3Resp

132Vistas

Undefinability de nivelación de primer orden de la lógica

Abierta

Preguntado el 4 de Abril, 2016 por DS.

8

1Resp

278Vistas

LOS MODELOS DEL HOGAR EN LA TEORÍA ECONÓMICA

Resuelta

Preguntado el 12 de Agosto, 2013 por djl236

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Algunas frases de $\Pi^1_1$ son elementales

¿Es esta teoría $\kappa$-categóricos cuando $\kappa$ es infinito y no $\le \aleph_0$?

Se puede demostrar la existencia de incommensurables sin el teorema de Pitágoras?

Infinitos modelos no isomórficos para la función sucesora

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?

Demostrar que dos estructuras son elementalmente equivalentes (Lógica)

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

Hay una incrustación de $\langle \mathbb{N} \setminus \{0\}, \leq, \times, 1 \rangle$ a $\langle \mathbb{N}, \leq, +, 0 \rangle$?

Prueba del teorema de la compacidad

Por el teorema de estructura para los grupos abelianos finitos, todos estos grupos son productos de grupos cíclicos.

¿Es $\mathbb{L}$ literalmente el modelo más pequeño de $\sf ZF(C)$? (En $\sf NBG$)

El modelo de la teoría y la Prueba de la teoría de Lógica Proposicional

$\Bbb Q_{\ge 0}$ primaria definible en $\mathfrak A$=($\Bbb Q$, $\cdot$)

$j''(X,\mathcal{B})$ ser un subespacio de $(j(X),j(\mathcal{B}))$ primaria $j$.

El uso de Compacidad para encontrar un no edificable conjunto

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

Conjunto infinito de primos estándar como el conjunto de divisores primos estándar de un número no estándar

Principio de reflejo y de compacidad teorema de ZFC

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

cómo crear el conjunto de hyperreal números utilizando ultraproduct

¿Por qué estoy modelo de aprendizaje de la teoría?

Espacio de contables de los modelos de una teoría T como un espacio polaco

Encontrar un contraejemplo en la teoría de modelos

Demostrar el teorema de Tychonoff con el teorema de Compacidad de la lógica

(De la onu)Decidability de válido, pero no finitely-conste fórmulas

Para $p$ tipo global, $p$ divide el fib es horquillas

número de órdenes lineales

Puede una torsión de grupo y un nontorsion grupo elementarily equivalente?

Undefinability de nivelación de primer orden de la lógica

LOS MODELOS DEL HOGAR EN LA TEORÍA ECONÓMICA

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: