Preguntas de order-teoría014

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

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

5

2Resp

151Vistas

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

Resuelta

Preguntado el 3 de Agosto, 2016 por Valerie Poulain

5

3Resp

197Vistas

¿Cómo definirías la velocidad de un objeto?

Resuelta

Preguntado el 3 de Febrero, 2015 por FiveOhHO

6

1Resp

158Vistas

Asociatividad de la concatenación

Abierta

Preguntado el 7 de Febrero, 2017 por Meet Taraviya

6

1Resp

134Vistas

Prueba $y = x + 1$ ' t tienen un fórmula cuantificador-libre en $(\mathbb{Z}, =, <)$

Resuelta

Preguntado el 10 de Junio, 2018 por Kendall Bennett

4

1Resp

123Vistas

¿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

4

1Resp

149Vistas

Mostrar una estructura es mínimo

Resuelta

Preguntado el 1 de Noviembre, 2016 por Sibusiso Ndlovu

6

1Resp

119Vistas

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

Resuelta

Preguntado el 2 de Agosto, 2018 por user2875613

5

2Resp

310Vistas

Axiomatización de la orden de bienestar

Resuelta

Preguntado el 20 de Octubre, 2013 por user100561

6

3Resp

254Vistas

Lógica de predicados, Prueba de validez. ¿Cómo eliminar la negación delante del cuantificador existencial?

Resuelta

Preguntado el 31 de Agosto, 2018 por Kazy Kamakaze

5

2Resp

130Vistas

Bifurcando pero no dividiendo

Abierta

Preguntado el 3 de Septiembre, 2018 por Lajos

6

2Resp

138Vistas

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

111Vistas

Secuencia de elementos ultrapower y su supremum

Resuelta

Preguntado el 18 de Febrero, 2018 por Nickolas

4

1Resp

211Vistas

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

Resuelta

Preguntado el 21 de Agosto, 2016 por Watson

4

2Resp

192Vistas

¿Hay alguna razón para considerar fórmulas con múltiples cuantificadores en la misma variable?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user3296

4

1Resp

122Vistas

El espectro de una oración$\Sigma_2$

Resuelta

Preguntado el 20 de Mayo, 2018 por tseeling

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

2Resp

180Vistas

Mostrar que la PA puede probar el pigeon-hole principio

Resuelta

Preguntado el 20 de Enero, 2018 por user2875613

6

2Resp

172Vistas

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

Resuelta

Preguntado el 3 de Septiembre, 2015 por Tom Bombadil

6

1Resp

118Vistas

Definibilidad de primer orden de estructuras finitas (resultado negativo)

Resuelta

Preguntado el 12 de Febrero, 2019 por Rafael Bankosegger

4

1Resp

109Vistas

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

Abierta

Preguntado el 20 de Noviembre, 2015 por andrewmh20

7

1Resp

143Vistas

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

7

1Resp

160Vistas

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

Resuelta

Preguntado el 26 de Febrero, 2019 por Andrew Bacon

4

1Resp

114Vistas

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

Abierta

Preguntado el 31 de Julio, 2018 por Scott Mutchnik

4

1Resp

115Vistas

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

Resuelta

Preguntado el 23 de Abril, 2019 por user297564

4

1Resp

165Vistas

Encontrando transformaciones unimodulares explícitas para las matrices K de Chern-Simons

Resuelta

Preguntado el 2 de Junio, 2016 por marpetr

Preguntas de order-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

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

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

¿Cómo definirías la velocidad de un objeto?

Asociatividad de la concatenación

Prueba $y = x + 1$ ' t tienen un fórmula cuantificador-libre en $(\mathbb{Z}, =, <)$

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

Mostrar una estructura es mínimo

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

Axiomatización de la orden de bienestar

Lógica de predicados, Prueba de validez. ¿Cómo eliminar la negación delante del cuantificador existencial?

Bifurcando pero no dividiendo

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

Secuencia de elementos ultrapower y su supremum

¿$(\Bbb R,+)$ Y $(\Bbb Q, +)$ elemental equivalente?

¿Hay alguna razón para considerar fórmulas con múltiples cuantificadores en la misma variable?

El espectro de una oración$\Sigma_2$

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

Mostrar que la PA puede probar el pigeon-hole principio

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

Definibilidad de primer orden de estructuras finitas (resultado negativo)

¿Por qué en countably saturado de modelos, tipos que son consistentes con $TH(\mathcal{M_a})$ son finitely realizable?

¿Se pueden definir todas las relaciones a partir de relaciones "establecidas"?

¿Se pueden definir todas las relaciones a partir de relaciones simétricas?

Demostrar algo sobre un objeto expresándolo como un ultraproducto de objetos más fáciles de entender.

$\mathbb{Q}^{alg}[[a,b]] $ no es elemental equivalente a$\mathbb{C}[[a,b]]$, y lo mismo para$\mathbb{Q}^{alg}[a]$ y$\mathbb{C}[a]$?

Encontrando transformaciones unimodulares explícitas para las matrices K de Chern-Simons

Etiquetas mas usadas

i-Ciencias.com

Powered by: