Preguntas ciencias de model-teoría04

6

2Resp

170Vistas

El $<$ -relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

Resuelta

Preguntado el 3 de Septiembre, 2015 por Tom Bombadil

4

1Resp

147Vistas

¿Cómo son las cardinalidades no estándar?

Resuelta

Preguntado el 23 de Agosto, 2017 por Zeno

5

1Resp

144Vistas

Versión del teorema de Lowenheim-Skolem y el axioma de elección

Resuelta

Preguntado el 13 de Abril, 2017 por spaceisdarkgreen

4

1Resp

102Vistas

¿Los cascos Skolem canónicos son testigos de los pedidos de pozo definibles de primer orden?

Resuelta

Preguntado el 27 de Mayo, 2017 por Stefan

6

1Resp

149Vistas

¿Son los números naturales estándar un modelo sobresaliente de PA?

Resuelta

Preguntado el 29 de Abril, 2017 por M. Winter

4

2Resp

187Vistas

Aclaraciones sobre la prueba del teorema de compacidad

Resuelta

Preguntado el 12 de Agosto, 2014 por Wojowu

6

2Resp

267Vistas

¿Comprobación de axiomas como comprobación de tipos?

Abierta

Preguntado el 31 de Enero, 2019 por Programmer2134

3

1Resp

94Vistas

Definibles y cuasi-definibles sobre los modelos.

Abierta

Preguntado el 4 de Junio, 2015 por user3472892

4

2Resp

178Vistas

Mostrar que la PA puede probar el pigeon-hole principio

Resuelta

Preguntado el 20 de Enero, 2018 por user2875613

4

1Resp

196Vistas

Espectro de elementos en un conjunto.

Resuelta

Preguntado el 14 de Marzo, 2013 por Steve Rothman

4

1Resp

139Vistas

Donde es el (original) comprobante de Klaus Potthoff del Teorema sobre el tipo de orden de la aritmética de los modelos?

Resuelta

Preguntado el 11 de Septiembre, 2015 por beegees

4

1Resp

360Vistas

El álgebra de Lindenbaum es un álgebra libre

Resuelta

Preguntado el 18 de Junio, 2012 por Ralf

4

1Resp

146Vistas

Demostrar la no-existencia de primaria sub-modelos

Resuelta

Preguntado el 22 de Junio, 2017 por matt

9

1Resp

273Vistas

Innumerables Densa Lineal Órdenes

Resuelta

Preguntado el 30 de Septiembre, 2014 por Rustyn

4

1Resp

121Vistas

El espectro de una oración$\Sigma_2$

Resuelta

Preguntado el 20 de Mayo, 2018 por tseeling

4

1Resp

234Vistas

Pregunta sobre los resultados de inexpresividad sobre modelos finitos utilizando la compacidad y el teorema de Löwenheim-Skolem

Resuelta

Preguntado el 7 de Abril, 2013 por sxd

4

2Resp

471Vistas

Automorfismos de modelos saturados

Resuelta

Preguntado el 7 de Diciembre, 2012 por Aleksandr Levchuk

4

1Resp

118Vistas

La transferencia de los principios en la reducción de los productos y el axioma de elección

Resuelta

Preguntado el 17 de Septiembre, 2018 por bksunday

8

2Resp

888Vistas

Es la geometría euclidiana completa y única

Abierta

Preguntado el 16 de Mayo, 2013 por Daniela Diaz

4

1Resp

128Vistas

Prueba de que el cofinality del cardenal menos mundano es $\omega$

Resuelta

Preguntado el 14 de Marzo, 2018 por CuriousKid7

6

1Resp

174Vistas

¿Cómo dar pruebas formales en lógica?

Resuelta

Preguntado el 27 de Diciembre, 2018 por Michal Dvořák

4

1Resp

453Vistas

Excluir los símbolos de la operación de firma

Resuelta

Preguntado el 17 de Abril, 2013 por Alexander

3

1Resp

198Vistas

¿Existe un modelo contable transitivo que satisfaga el mismo conjunto de sentencias de primer orden que $V$ ?

Resuelta

Preguntado el 22 de Octubre, 2015 por Rick

4

2Resp

170Vistas

Semi-formal de la lengua

Resuelta

Preguntado el 17 de Abril, 2013 por Voyage

4

1Resp

101Vistas

Ordinal par $(α,β)$ tal que $α<β$ $Th(α,<) = Th(β,<)$

Abierta

Preguntado el 28 de Abril, 2016 por user21820

4

2Resp

155Vistas

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

Resuelta

Preguntado el 23 de Diciembre, 2018 por user297564

5

1Resp

282Vistas

¿Cómo sabemos que ciertos modelos no estándar de hormigón de los números naturales satisfacen los axiomas de Peano?

Resuelta

Preguntado el 14 de Enero, 2014 por MJD

4

2Resp

141Vistas

Inexistencia de modelos Prime.

Resuelta

Preguntado el 1 de Abril, 2016 por Peter Jaric

4

2Resp

350Vistas

Definición de verdad en la lógica de primer orden

Abierta

Preguntado el 16 de Julio, 2016 por csTroubled

4

1Resp

132Vistas

Extensiones de campo de $\prod \Bbb F_p /U$

Resuelta

Preguntado el 13 de Junio, 2013 por Dominik

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

El $<$ -relación en $\mathbb{Z}$ no es definible en $(\mathbb{Z}, 0, +)$

¿Cómo son las cardinalidades no estándar?

Versión del teorema de Lowenheim-Skolem y el axioma de elección

¿Los cascos Skolem canónicos son testigos de los pedidos de pozo definibles de primer orden?

¿Son los números naturales estándar un modelo sobresaliente de PA?

Aclaraciones sobre la prueba del teorema de compacidad

¿Comprobación de axiomas como comprobación de tipos?

Definibles y cuasi-definibles sobre los modelos.

Mostrar que la PA puede probar el pigeon-hole principio

Espectro de elementos en un conjunto.

Donde es el (original) comprobante de Klaus Potthoff del Teorema sobre el tipo de orden de la aritmética de los modelos?

El álgebra de Lindenbaum es un álgebra libre

Demostrar la no-existencia de primaria sub-modelos

Innumerables Densa Lineal Órdenes

El espectro de una oración$\Sigma_2$

Pregunta sobre los resultados de inexpresividad sobre modelos finitos utilizando la compacidad y el teorema de Löwenheim-Skolem

Automorfismos de modelos saturados

La transferencia de los principios en la reducción de los productos y el axioma de elección

Es la geometría euclidiana completa y única

Prueba de que el cofinality del cardenal menos mundano es $\omega$

¿Cómo dar pruebas formales en lógica?

Excluir los símbolos de la operación de firma

¿Existe un modelo contable transitivo que satisfaga el mismo conjunto de sentencias de primer orden que $V$ ?

Semi-formal de la lengua

Ordinal par $(α,β)$ tal que $α<β$ $Th(α,<) = Th(β,<)$

¿Cómo puede una teoría ser categórica de una gran cardinalidad?

¿Cómo sabemos que ciertos modelos no estándar de hormigón de los números naturales satisfacen los axiomas de Peano?

Inexistencia de modelos Prime.

Definición de verdad en la lógica de primer orden

Extensiones de campo de $\prod \Bbb F_p /U$

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: