Preguntas ciencias de model-teoría015

10

1Resp

252Vistas

Gödel de la prueba ontológica y "modal se derrumba"

Abierta

Preguntado el 8 de Mayo, 2016 por Tom SymplMech

20

5Resp

910Vistas

¿En qué sentido de "estructura" hacer grupo homomorphisms "preservar la estructura"?

Resuelta

Preguntado el 21 de Febrero, 2015 por user894795

7

1Resp

344Vistas

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

Resuelta

Preguntado el 11 de Febrero, 2013 por msutherl

7

2Resp

300Vistas

Lógica en la metateoría

Resuelta

Preguntado el 8 de Diciembre, 2010 por Shabaz

8

2Resp

225Vistas

Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?

Resuelta

Preguntado el 12 de Noviembre, 2013 por Malice Vidrine

8

1Resp

238Vistas

Hay fuertemente axiomatizable lógicas que no son compactos?

Abierta

Preguntado el 24 de Mayo, 2011 por bob

7

2Resp

301Vistas

Ejemplo de un conjunto que está en $\mathbf V$ pero no en $\mathbf L$

Resuelta

Preguntado el 22 de Diciembre, 2012 por Rudy the Reindeer

7

2Resp

222Vistas

Hay una racionalidad-la preservación del orden isomorfismo entre el $\mathbb{Q}$ y dos abiertos disjuntos intervalos?

Resuelta

Preguntado el 7 de Noviembre, 2014 por Anatoly Rr

8

2Resp

297Vistas

Una definición de la verdad, mal, pero donde

Resuelta

Preguntado el 2 de Febrero, 2014 por seoneo

11

5Resp

1242Vistas

¿Es necesario que el modelo de la teoría sea un conjunto?

Resuelta

Preguntado el 18 de Febrero, 2010 por Renaud Bompuis

8

1Resp

251Vistas

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Resuelta

Preguntado el 30 de Diciembre, 2013 por user894795

8

3Resp

505Vistas

Cómo es exactamente lo que la lógica y las matemáticas interactuar y ¿qué sucede cuando cambiamos la lógica?

Resuelta

Preguntado el 22 de Febrero, 2012 por confused

8

1Resp

203Vistas

Es $\mathbb{N}$ definible en $(\mathbb{Z},0,S)$?

Resuelta

Preguntado el 3 de Febrero, 2015 por ronno

11

3Resp

530Vistas

¿Por qué son estructuras muy interesante?

Resuelta

Preguntado el 20 de Agosto, 2016 por Benjamin Stütz

11

3Resp

563Vistas

Modelo de la Teoría y la Topología de las Conexiones

Resuelta

Preguntado el 20 de Diciembre, 2012 por DarkStar

6

1Resp

362Vistas

La relación $<$ no es definible en la estructura de los números enteros con la función sucesor

Abierta

Preguntado el 16 de Noviembre, 2012 por mattcaffeine

7

1Resp

198Vistas

Subsecuencias indiscernibles

Resuelta

Preguntado el 15 de Septiembre, 2014 por Primo Petri

8

1Resp

248Vistas

Primaria de equivalencia de grupos gratis

Resuelta

Preguntado el 16 de Julio, 2014 por TMK

8

1Resp

148Vistas

¿Por qué puede ' una teoría de $\omega$ estable tiene finito muchos modelos contables?

Abierta

Preguntado el 9 de Diciembre, 2015 por Comptrol

7

1Resp

153Vistas

En % de bijections definible $b:M^n\rightarrow M^m$en una estructura mínima o $\mathcal{M}$.

Resuelta

Preguntado el 17 de Marzo, 2016 por Anguepa

8

3Resp

314Vistas

¿Hay algún número ordinal contable que tenga un miembro indefinible?

Resuelta

Preguntado el 16 de Julio, 2013 por John O

9

3Resp

339Vistas

¿Permite el marco de la categoría nuevas lógicas?

Resuelta

Preguntado el 26 de Octubre, 2012 por flojdek

9

2Resp

374Vistas

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

Abierta

Preguntado el 9 de Junio, 2013 por user2800708

10

3Resp

676Vistas

Relación entre la teoría de la categoría y teoría determinada axiomática

Resuelta

Preguntado el 23 de Marzo, 2011 por kneidell

12

2Resp

431Vistas

¿Que sistemas están presentes en todos los modelos de ZF?

Resuelta

Preguntado el 5 de Noviembre, 2012 por Rudy the Reindeer

11

2Resp

1008Vistas

Teoría completa con exactamente n contables modelos?

Resuelta

Preguntado el 2 de Octubre, 2009 por denny

10

2Resp

363Vistas

¿Es el teorema de completitud de la lógica de primer orden relativo a la elección de la teoría de conjuntos?

Resuelta

Preguntado el 26 de Enero, 2013 por goblin

8

1Resp

287Vistas

Es "PA no tiene no estándar de modelos" en consonancia con la ZF?

Resuelta

Preguntado el 27 de Julio, 2014 por sebmathguy

14

2Resp

304Vistas

¿Por qué sabemos que Gödel frases son verdaderas en el modelo estándar de la teoría de conjuntos, pero no sé si la hipótesis continua es?

Resuelta

Preguntado el 30 de Junio, 2015 por Conifold

8

2Resp

282Vistas

Definibilidad en una estructura determinada

Abierta

Preguntado el 8 de Diciembre, 2012 por Prime

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Gödel de la prueba ontológica y "modal se derrumba"

¿En qué sentido de "estructura" hacer grupo homomorphisms "preservar la estructura"?

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

Lógica en la metateoría

Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?

Hay fuertemente axiomatizable lógicas que no son compactos?

Ejemplo de un conjunto que está en $\mathbf V$ pero no en $\mathbf L$

Hay una racionalidad-la preservación del orden isomorfismo entre el $\mathbb{Q}$ y dos abiertos disjuntos intervalos?

Una definición de la verdad, mal, pero donde

¿Es necesario que el modelo de la teoría sea un conjunto?

¿Los resultados metateóricos se trasladan entre teorías mutuamente interpretables?

Cómo es exactamente lo que la lógica y las matemáticas interactuar y ¿qué sucede cuando cambiamos la lógica?

Es $\mathbb{N}$ definible en $(\mathbb{Z},0,S)$?

¿Por qué son estructuras muy interesante?

Modelo de la Teoría y la Topología de las Conexiones

La relación $<$ no es definible en la estructura de los números enteros con la función sucesor

Subsecuencias indiscernibles

Primaria de equivalencia de grupos gratis

¿Por qué puede ' una teoría de $\omega$ estable tiene finito muchos modelos contables?

En % de bijections definible $b:M^n\rightarrow M^m$en una estructura mínima o $\mathcal{M}$.

¿Hay algún número ordinal contable que tenga un miembro indefinible?

¿Permite el marco de la categoría nuevas lógicas?

¿Cómo es el modelo estándar de la teoría de los números especificados, y ¿por qué no podemos usar esa especificación para probar cualquier número teórico frase de interés?

Relación entre la teoría de la categoría y teoría determinada axiomática

¿Que sistemas están presentes en todos los modelos de ZF?

Teoría completa con exactamente n contables modelos?

¿Es el teorema de completitud de la lógica de primer orden relativo a la elección de la teoría de conjuntos?

Es "PA no tiene no estándar de modelos" en consonancia con la ZF?

¿Por qué sabemos que Gödel frases son verdaderas en el modelo estándar de la teoría de conjuntos, pero no sé si la hipótesis continua es?

Definibilidad en una estructura determinada

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: