Preguntas ciencias de model050

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

14

1Resp

253Vistas

¿Por qué debería el conjunto subyacente de un modelo de ser un conjunto?

Resuelta

Preguntado el 14 de Agosto, 2016 por Treppe

10

5Resp

1915Vistas

¿Qué significa exactamente ser isomorfo?

Resuelta

Preguntado el 16 de Junio, 2013 por Daniela Diaz

8

1Resp

246Vistas

Cada submodelo elemental de $H(\aleph_1)$ es transitiva

Resuelta

Preguntado el 27 de Mayo, 2014 por Reto Meier

9

2Resp

395Vistas

¿Por qué es la clase de los espacios topológicos no axiomatizable?

Resuelta

Preguntado el 22 de Junio, 2011 por aleksandar

8

1Resp

313Vistas

$\aleph_1$-categórica campos son algebraicamente cerrado.

Resuelta

Preguntado el 23 de Abril, 2012 por Nikola

10

4Resp

2188Vistas

¿En qué medida el SQL es un lenguaje accesible a través de herramientas de ArcGIS?

Resuelta

Preguntado el 22 de Marzo, 2011 por user2013

12

1Resp

210Vistas

Hay un "computable" contables modelo de ZFC?

Abierta

Preguntado el 30 de Noviembre, 2015 por 6005

9

1Resp

288Vistas

Pueden todos los teoremas de $\sf ZFC$ sobre los números naturales que ser probada en $\sf ZF$?

Resuelta

Preguntado el 9 de Abril, 2014 por casperOne

8

2Resp

880Vistas

La división de polilíneas el uso de regiones con PostGIS

Resuelta

Preguntado el 25 de Agosto, 2010 por Jauder Ho

10

1Resp

283Vistas

¿qué significa que edificable universo es definible a partir de los números ordinales?

Abierta

Preguntado el 26 de Febrero, 2013 por upr

8

2Resp

429Vistas

La teoría de primer orden de órdenes lineares de subconjuntos cerrados

Resuelta

Preguntado el 2 de Junio, 2011 por boumol

11

1Resp

319Vistas

Si una teoría tiene un contable $\omega$-modelo saturado ¿se necesita tener solamente contables muchos modelos contables?

Resuelta

Preguntado el 16 de Febrero, 2013 por Santiago C.

8

2Resp

407Vistas

Mostrar que un elemental de la estructura equivalente de $\mathbb{R}$ y definible a partir de los puntos es Dedekind completa

Resuelta

Preguntado el 25 de Enero, 2013 por Lindsay

19

2Resp

460Vistas

¿Existen contraejemplos no estándar del último teorema de Fermat?

Resuelta

Preguntado el 28 de Julio, 2016 por Conifold

Preguntas ciencias model

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

¿Por qué debería el conjunto subyacente de un modelo de ser un conjunto?

¿Qué significa exactamente ser isomorfo?

Cada submodelo elemental de $H(\aleph_1)$ es transitiva

¿Por qué es la clase de los espacios topológicos no axiomatizable?

$\aleph_1$-categórica campos son algebraicamente cerrado.

¿En qué medida el SQL es un lenguaje accesible a través de herramientas de ArcGIS?

Hay un "computable" contables modelo de ZFC?

Pueden todos los teoremas de $\sf ZFC$ sobre los números naturales que ser probada en $\sf ZF$?

La división de polilíneas el uso de regiones con PostGIS

¿qué significa que edificable universo es definible a partir de los números ordinales?

La teoría de primer orden de órdenes lineares de subconjuntos cerrados

Si una teoría tiene un contable $\omega$-modelo saturado ¿se necesita tener solamente contables muchos modelos contables?

Mostrar que un elemental de la estructura equivalente de $\mathbb{R}$ y definible a partir de los puntos es Dedekind completa

¿Existen contraejemplos no estándar del último teorema de Fermat?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: