Preguntas ciencias de model-teoría02

35

5Resp

10101Vistas

¿Qué es ... un Grossone?

Resuelta

Preguntado el 16 de Diciembre, 2015 por David Grayson

66

5Resp

3835Vistas

¿Argumento heurístico de que los grupos simples finitos deberían ser "clasificables"?

Resuelta

Preguntado el 9 de Septiembre, 2010 por Brabster

59

5Resp

4765Vistas

¿La capacidad de decisión tiene algo que ver con los números primos?

Resuelta

Preguntado el 30 de Marzo, 2010 por Toran Billups

67

3Resp

3101Vistas

¿Existe una ley 0-1 para la teoría de grupos?

Abierta

Preguntado el 2 de Diciembre, 2013 por Pyramis

7

1Resp

162Vistas

Prueba de estilo Henkin de compacidad de primer orden

Resuelta

Preguntado el 9 de Agosto, 2019 por Chris Eagle

4

1Resp

206Vistas

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

Resuelta

Preguntado el 5 de Junio, 2014 por Asvin

7

1Resp

483Vistas

¿Por qué estructuras algebraicas?

Resuelta

Preguntado el 19 de Enero, 2013 por Gkris

4

1Resp

326Vistas

Construcción de * ZFC

Abierta

Preguntado el 6 de Marzo, 2014 por sand

4

1Resp

134Vistas

Campo contable que es elemental equivalente a$\mathbb{R}$

Resuelta

Preguntado el 26 de Marzo, 2017 por HeinrichD

4

3Resp

199Vistas

¿Se puede cambiar el valor de verdad de una propiedad independiente a voluntad al ampliar el modelo?

Resuelta

Preguntado el 30 de Abril, 2012 por user15381

7

0Resp

248Vistas

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

Abierta

Preguntado el 17 de Noviembre, 2015 por Anguepa

4

2Resp

164Vistas

¿Hay modelos elementalmente equivalentes$\mathcal{M}, \mathcal{N}$ de la misma cardinalidad, ninguno de los dos puede incrustarse elementalmente en el otro?

Resuelta

Preguntado el 18 de Enero, 2015 por Dávid Tóth

4

1Resp

351Vistas

Tipos y Algebraicity

Abierta

Preguntado el 10 de Diciembre, 2012 por Boggartfly

5

1Resp

139Vistas

Similitud entre la teoría de conjuntos axiomáticos y el álgebra moderna

Resuelta

Preguntado el 5 de Junio, 2019 por Seminorm

4

1Resp

354Vistas

Dadas dos isomorfo estructuras, de manera conservadora se extiende de ellos pueden romper isomorfismo. Por qué?

Abierta

Preguntado el 6 de Marzo, 2017 por stranger

4

1Resp

127Vistas

Demuestre que si $T$ es una teoría de Skolem en $L$ entonces $T$ es una teoría de Skolem en $L'$

Resuelta

Preguntado el 1 de Junio, 2019 por David 天宇 Wong

4

2Resp

216Vistas

¿Qué significa genérico?

Resuelta

Preguntado el 27 de Mayo, 2019 por Mike

8

1Resp

145Vistas

Definiciones equivalentes de tipos

Resuelta

Preguntado el 30 de Enero, 2013 por Dour High Arch

4

1Resp

202Vistas

Primaria Modelo De La Teoría De La

Abierta

Preguntado el 24 de Agosto, 2014 por Jon

4

1Resp

195Vistas

Una pregunta que tratan de las condiciones para que $V_\alpha$ modelos de $ZFC$

Resuelta

Preguntado el 10 de Octubre, 2013 por Mark Baker

4

1Resp

164Vistas

Mostrar que la teoría de la $Th(\mathbb N)$ en el primer orden de la lógica con la finitud del cuantificador es categórico

Abierta

Preguntado el 13 de Diciembre, 2012 por DeNiCe

11

2Resp

150Vistas

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Resuelta

Preguntado el 18 de Octubre, 2018 por user525966

4

3Resp

159Vistas

¿Por qué usar el término 'modelos' para interpretar el símbolo de doble torniquete?

Resuelta

Preguntado el 23 de Julio, 2018 por CodeBreaker

3

2Resp

139Vistas

Axiomas de Peano para la aritmética

Resuelta

Preguntado el 25 de Marzo, 2017 por HypestHype

6

2Resp

227Vistas

Una visión estructural para el poder establecido axioma: Es este axioma realmente justificable?

Abierta

Preguntado el 14 de Diciembre, 2015 por Seyed Torbaghan

5

1Resp

156Vistas

Ultrafilter la Prueba del teorema de Compacidad

Resuelta

Preguntado el 30 de Julio, 2017 por Patrick N.

4

1Resp

114Vistas

$\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

7

1Resp

160Vistas

Completa el cálculo de la lógica de primer orden de trabajo para vaciar estructuras demasiado

Abierta

Preguntado el 30 de Mayo, 2016 por aero

8

2Resp

153Vistas

¿Prueba elemental de "los polinomios irreducibles siguen siendo irreducibles sobre la extensión trascendental"?

Abierta

Preguntado el 25 de Abril, 2018 por Kalinin

4

1Resp

413Vistas

cómo demostrar que un grupo es elementarily equivalente para el grupo aditivo de los enteros

Abierta

Preguntado el 22 de Abril, 2012 por croque

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Qué es ... un Grossone?

¿Argumento heurístico de que los grupos simples finitos deberían ser "clasificables"?

¿La capacidad de decisión tiene algo que ver con los números primos?

¿Existe una ley 0-1 para la teoría de grupos?

Prueba de estilo Henkin de compacidad de primer orden

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

¿Por qué estructuras algebraicas?

Construcción de * ZFC

Campo contable que es elemental equivalente a$\mathbb{R}$

¿Se puede cambiar el valor de verdad de una propiedad independiente a voluntad al ampliar el modelo?

No puede EF teoría de juegos se aplica a lo finito idiomas CON los símbolos de la función?

¿Hay modelos elementalmente equivalentes$\mathcal{M}, \mathcal{N}$ de la misma cardinalidad, ninguno de los dos puede incrustarse elementalmente en el otro?

Tipos y Algebraicity

Similitud entre la teoría de conjuntos axiomáticos y el álgebra moderna

Dadas dos isomorfo estructuras, de manera conservadora se extiende de ellos pueden romper isomorfismo. Por qué?

Demuestre que si $T$ es una teoría de Skolem en $L$ entonces $T$ es una teoría de Skolem en $L'$

¿Qué significa genérico?

Definiciones equivalentes de tipos

Primaria Modelo De La Teoría De La

Una pregunta que tratan de las condiciones para que $V_\alpha$ modelos de $ZFC$

Mostrar que la teoría de la $Th(\mathbb N)$ en el primer orden de la lógica con la finitud del cuantificador es categórico

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

¿Por qué usar el término 'modelos' para interpretar el símbolo de doble torniquete?

Axiomas de Peano para la aritmética

Una visión estructural para el poder establecido axioma: Es este axioma realmente justificable?

Ultrafilter la Prueba del teorema de Compacidad

$\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]$?

Completa el cálculo de la lógica de primer orden de trabajo para vaciar estructuras demasiado

¿Prueba elemental de "los polinomios irreducibles siguen siendo irreducibles sobre la extensión trascendental"?

cómo demostrar que un grupo es elementarily equivalente para el grupo aditivo de los enteros

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: