Preguntas de model-teoría015

5

2Resp

168Vistas

Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas

Abierta

Preguntado el 21 de Septiembre, 2017 por digitalPBK

5

1Resp

190Vistas

Demostrando que $\langle \omega, \in \rangle $ modelos de conjunto vacío y extensionalidad

Abierta

Preguntado el 24 de Noviembre, 2012 por Rudy the Reindeer

7

2Resp

224Vistas

Fórmula del espectro de cuadrados perfectos.

Resuelta

Preguntado el 26 de Noviembre, 2014 por fade2black

6

1Resp

159Vistas

El tipo de orden de los modelos de la aritmética de Peano

Abierta

Preguntado el 2 de Octubre, 2017 por tseeling

4

1Resp

168Vistas

Sistema de axiomas que viola el teorema de Incompletitud de Godel

Abierta

Preguntado el 10 de Abril, 2017 por DaggerOfMesogrecia

5

1Resp

186Vistas

$dcl(A)=\{x \in M : x$ definible de $A \}$, Mostrar $dcl(dcl(A)=A$

Resuelta

Preguntado el 4 de Agosto, 2013 por Dávid Tóth

11

2Resp

1163Vistas

¿Por qué tienen idiomas orden primeros a lo más contable muchos símbolos?

Resuelta

Preguntado el 26 de Octubre, 2017 por Sid Caroline

7

1Resp

159Vistas

Si $X=\beta\mathbb{N}$ $M$ es contable, a continuación, $X_M$ es un espacio métrico. (Primaria submodelos)

Resuelta

Preguntado el 30 de Octubre, 2017 por MingusMingusMingusMingus

9

2Resp

147Vistas

Relación entre el análisis no estándar y no estándar de los modelos de la aritmética

Resuelta

Preguntado el 6 de Noviembre, 2017 por Christoph Sachse

4

1Resp

113Vistas

Obligado para los No-estándar del Modelo de PA

Abierta

Preguntado el 9 de Mayo, 2017 por user368804

8

2Resp

211Vistas

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

Resuelta

Preguntado el 27 de Abril, 2013 por John O

5

1Resp

151Vistas

Evaluación de puntos de un funcional lineal sobre un Ultrapower

Resuelta

Preguntado el 8 de Julio, 2013 por margold

5

2Resp

218Vistas

Ejecución de programas en modelos no estándar de AP

Resuelta

Preguntado el 29 de Julio, 2013 por ak2

5

1Resp

521Vistas

¿Cuántos modelos contables de ZFC hay?

Resuelta

Preguntado el 24 de Noviembre, 2011 por Clint Ecker

6

3Resp

361Vistas

¿Cómo podemos saber si un conjunto de axiomas únicamente determina una estructura algebraica?

Resuelta

Preguntado el 18 de Febrero, 2013 por kerchee

6

3Resp

407Vistas

¿Cómo son los semántica completa de SOL y HOL especificado?

Resuelta

Preguntado el 29 de Julio, 2012 por Kyle

9

2Resp

585Vistas

No hay infinitamente más pequeño gran primer

Resuelta

Preguntado el 22 de Mayo, 2014 por Reto Meier

8

1Resp

190Vistas

¿Cómo pueden los axiomas (y primitivas) de Tarski de la axiomatization de $\Bbb R$ ser independiente?

Resuelta

Preguntado el 1 de Mayo, 2015 por Lockie

5

1Resp

178Vistas

Dos estructuras homogéneas, realizar los mismos tipos son isomorfas

Resuelta

Preguntado el 31 de Marzo, 2013 por Praveen

6

1Resp

216Vistas

Los Reales no son interpretables en los números complejos

Resuelta

Preguntado el 13 de Febrero, 2016 por Peter Jaric

5

2Resp

194Vistas

definir los reales en una extensión de Arquímedes no elemental del campo real.

Resuelta

Preguntado el 30 de Octubre, 2013 por Gkris

5

1Resp

186Vistas

Límites de las estructuras finitas - lógica de primer orden

Abierta

Preguntado el 24 de Marzo, 2016 por GreenAlien

5

2Resp

155Vistas

¿Cómo mostrar $\chi_{{}^{}P} ={}^{}\chi_{P}$ por el principio de transferencia?

Resuelta

Preguntado el 10 de Mayo, 2013 por Lindsay

5

2Resp

297Vistas

Puede ser decidable para cualquier polinomios para tener el punto de intersección?

Resuelta

Preguntado el 12 de Noviembre, 2014 por mfriedman

9

1Resp

256Vistas

El sistema de números Hyperreal

Resuelta

Preguntado el 30 de Mayo, 2015 por Andy

5

1Resp

146Vistas

Modelos no estándar de PA con una relación de orden decidible.

Abierta

Preguntado el 3 de Junio, 2014 por Acaciadragoon

7

1Resp

449Vistas

Malentendido Löwenheim-Skolem

Resuelta

Preguntado el 8 de Febrero, 2018 por Cody S

5

2Resp

222Vistas

Extensión no estándar de una función con un límite

Resuelta

Preguntado el 22 de Agosto, 2012 por Rachel

4

3Resp

132Vistas

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

Abierta

Preguntado el 4 de Abril, 2016 por DS.

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

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Contables conjunto de verdad de las asignaciones de la satisfacción de un conjunto de fórmulas bien formadas

Demostrando que $\langle \omega, \in \rangle $ modelos de conjunto vacío y extensionalidad

Fórmula del espectro de cuadrados perfectos.

El tipo de orden de los modelos de la aritmética de Peano

Sistema de axiomas que viola el teorema de Incompletitud de Godel

$dcl(A)=\{x \in M : x$ definible de $A \}$, Mostrar $dcl(dcl(A)=A$

¿Por qué tienen idiomas orden primeros a lo más contable muchos símbolos?

Si $X=\beta\mathbb{N}$ $M$ es contable, a continuación, $X_M$ es un espacio métrico. (Primaria submodelos)

Relación entre el análisis no estándar y no estándar de los modelos de la aritmética

Obligado para los No-estándar del Modelo de PA

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

Evaluación de puntos de un funcional lineal sobre un Ultrapower

Ejecución de programas en modelos no estándar de AP

¿Cuántos modelos contables de ZFC hay?

¿Cómo podemos saber si un conjunto de axiomas únicamente determina una estructura algebraica?

¿Cómo son los semántica completa de SOL y HOL especificado?

No hay infinitamente más pequeño gran primer

¿Cómo pueden los axiomas (y primitivas) de Tarski de la axiomatization de $\Bbb R$ ser independiente?

Dos estructuras homogéneas, realizar los mismos tipos son isomorfas

Los Reales no son interpretables en los números complejos

definir los reales en una extensión de Arquímedes no elemental del campo real.

Límites de las estructuras finitas - lógica de primer orden

¿Cómo mostrar $\chi_{{}^{}P} ={}^{}\chi_{P}$ por el principio de transferencia?

Puede ser decidable para cualquier polinomios para tener el punto de intersección?

El sistema de números Hyperreal

Modelos no estándar de PA con una relación de orden decidible.

Malentendido Löwenheim-Skolem

Extensión no estándar de una función con un límite

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: