Preguntas de model-teoría016

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

425Vistas

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

Resuelta

Preguntado el 21 de Enero, 2011 por boumol

5

1Resp

303Vistas

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

Resuelta

Preguntado el 23 de Junio, 2013 por Dominik

5

2Resp

338Vistas

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

Abierta

Preguntado el 27 de Febrero, 2013 por ttp

8

1Resp

148Vistas

Principio de reflejo y de compacidad teorema de ZFC

Resuelta

Preguntado el 26 de Diciembre, 2017 por Gödel

4

1Resp

195Vistas

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

4

1Resp

101Vistas

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

Resuelta

Preguntado el 18 de Febrero, 2018 por MingusMingusMingusMingus

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

1Resp

586Vistas

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

Resuelta

Preguntado el 20 de Abril, 2013 por yoyostein

5

2Resp

149Vistas

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

Resuelta

Preguntado el 3 de Agosto, 2016 por Valerie Poulain

5

2Resp

237Vistas

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

Abierta

Preguntado el 28 de Agosto, 2014 por Conifold

5

1Resp

219Vistas

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

Resuelta

Preguntado el 9 de Mayo, 2018 por Allen Bauer

28

3Resp

1369Vistas

¿Hay algún ejemplo simple de cómo el axioma de elección puede llevar a un resultado contraintuitivo?

Abierta

Preguntado el 11 de Mayo, 2018 por tparker

6

3Resp

295Vistas

$\langle \Bbb Q,<\rangle$ es un elemental submodel de $ \langle \Bbb R,< \rangle$

Resuelta

Preguntado el 13 de Diciembre, 2012 por Benjamin Lindley

5

3Resp

195Vistas

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

Resuelta

Preguntado el 3 de Febrero, 2015 por FiveOhHO

4

1Resp

115Vistas

Inexistencia de extensiones principales

Resuelta

Preguntado el 3 de Febrero, 2018 por R. Harlow

6

1Resp

133Vistas

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

Resuelta

Preguntado el 10 de Junio, 2018 por Kendall Bennett

5

2Resp

200Vistas

Mostrando que se cierra una secuencia creciente de estructuras L ilimitada

Resuelta

Preguntado el 13 de Febrero, 2017 por Bill Fritz

4

2Resp

328Vistas

Definability vs Automorfismos

Abierta

Preguntado el 10 de Junio, 2013 por oefe

6

1Resp

145Vistas

Relaciones de inclusión entre clases equationally definidas de Semigrupos finitos

Resuelta

Preguntado el 26 de Junio, 2018 por Stefan

4

1Resp

243Vistas

¿Cómo puedo imaginar un modelo de $\mathsf{(ZF-Inf)} + \neg \mathsf{Con(ZF-Inf)}$?

Resuelta

Preguntado el 30 de Julio, 2014 por MythrilMagician

4

1Resp

122Vistas

¿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

5

1Resp

170Vistas

¿Hay otro, modelo teórico, cuentas de validez semántica?

Abierta

Preguntado el 14 de Junio, 2013 por user894795

4

1Resp

149Vistas

Mostrar una estructura es mínimo

Resuelta

Preguntado el 1 de Noviembre, 2016 por Sibusiso Ndlovu

6

1Resp

117Vistas

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

Resuelta

Preguntado el 2 de Agosto, 2018 por user2875613

5

1Resp

243Vistas

¿Cuál es la formulación de la propiedad Least Upper Bound en First Order Logic?

Resuelta

Preguntado el 17 de Mayo, 2013 por Daniela Diaz

4

1Resp

137Vistas

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Resuelta

Preguntado el 9 de Junio, 2016 por Arctictern

5

2Resp

308Vistas

Axiomatización de la orden de bienestar

Resuelta

Preguntado el 20 de Octubre, 2013 por user100561

6

1Resp

176Vistas

Mostrar$2$ no se puede definir en$(\mathbb{Q},+)$.

Resuelta

Preguntado el 9 de Mayo, 2014 por Rustyn

5

2Resp

130Vistas

Bifurcando pero no dividiendo

Abierta

Preguntado el 3 de Septiembre, 2018 por Lajos

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

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

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

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

Principio de reflejo y de compacidad teorema de ZFC

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

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

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

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

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

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

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

¿Hay algún ejemplo simple de cómo el axioma de elección puede llevar a un resultado contraintuitivo?

$\langle \Bbb Q,<\rangle$ es un elemental submodel de $ \langle \Bbb R,< \rangle$

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

Inexistencia de extensiones principales

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

Mostrando que se cierra una secuencia creciente de estructuras L ilimitada

Definability vs Automorfismos

Relaciones de inclusión entre clases equationally definidas de Semigrupos finitos

¿Cómo puedo imaginar un modelo de $\mathsf{(ZF-Inf)} + \neg \mathsf{Con(ZF-Inf)}$?

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

¿Hay otro, modelo teórico, cuentas de validez semántica?

Mostrar una estructura es mínimo

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

¿Cuál es la formulación de la propiedad Least Upper Bound en First Order Logic?

Modelo simple de lógica intuicionista (proposicional) para reconocer fórmulas válidas

Axiomatización de la orden de bienestar

Mostrar$2$ no se puede definir en$(\mathbb{Q},+)$.

Bifurcando pero no dividiendo

Etiquetas mas usadas

i-Ciencias.com

Powered by: