Preguntas de model-teoría08

6

2Resp

267Vistas

¿Comprobación de axiomas como comprobación de tipos?

Abierta

Preguntado el 31 de Enero, 2019 por Programmer2134

5

1Resp

144Vistas

Versión del teorema de Lowenheim-Skolem y el axioma de elección

Resuelta

Preguntado el 13 de Abril, 2017 por spaceisdarkgreen

4

2Resp

245Vistas

Encontrar un conjunto de oraciones $\Sigma$ de manera tal que el conjunto de todos los modelos de $\Sigma$ es countably infinito.

Resuelta

Preguntado el 5 de Octubre, 2013 por Nate

4

1Resp

163Vistas

Modelos de grupos infinitos y objetos 'grupales'

Resuelta

Preguntado el 23 de Mayo, 2014 por Kyle Gannon

5

1Resp

138Vistas

La discusión sobre AC y contables de los sindicatos de conjuntos contables

Resuelta

Preguntado el 4 de Diciembre, 2015 por Rushi

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

202Vistas

Primaria Modelo De La Teoría De La

Abierta

Preguntado el 24 de Agosto, 2014 por Jon

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

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

1Resp

326Vistas

Construcción de * ZFC

Abierta

Preguntado el 6 de Marzo, 2014 por sand

25

5Resp

3497Vistas

Razones para creer que el principio de Vopenka / los grandes cardenales son consistentes

Resuelta

Preguntado el 24 de Junio, 2010 por martinatime

17

0Resp

537Vistas

¿Un oráculo para la función de Rayo le permitiría calcular un modelo de$(V, \in)$?

Abierta

Preguntado el 20 de Enero, 2018 por gsiems

28

4Resp

4774Vistas

Teoría del modelo de aprendizaje

Resuelta

Preguntado el 23 de Junio, 2012 por Kekoa

29

1Resp

859Vistas

No existen innumerables grupo , cada apropiado subgrupo de que es contable?

Resuelta

Preguntado el 9 de Abril, 2015 por Saun Dev

22

2Resp

1472Vistas

¿Existen sistemas numéricos correspondientes a cardinalidades superiores a los números reales?

Resuelta

Preguntado el 23 de Noviembre, 2014 por mrp

20

1Resp

458Vistas

Es $\Bbb R$ definible en $(\Bbb C,0,1,+,*,\exp)$ ?

Resuelta

Preguntado el 12 de Junio, 2013 por Dominik

17

2Resp

476Vistas

Una frase falsa en un campo de característica $0$ pero cierto en todos los campos de la característica positiva?

Resuelta

Preguntado el 17 de Marzo, 2013 por Camilo Arosemena

17

1Resp

203Vistas

¿Es cierto que?

Resuelta

Preguntado el 9 de Marzo, 2016 por John M. Campbell

13

3Resp

426Vistas

Axioma de elección y determinación

Resuelta

Preguntado el 28 de Marzo, 2013 por Francis Adams

11

1Resp

402Vistas

$\mathcal U$ Grothendieck del universo. Es $\mathcal{P(U)}$ un modelo de NBG?

Resuelta

Preguntado el 20 de Febrero, 2013 por Robert Thomas

11

1Resp

292Vistas

Boleanas saturados en términos de teoría de modelos y en cuanto a las particiones

Abierta

Preguntado el 27 de Junio, 2012 por Charles

11

1Resp

503Vistas

Lógica de primer orden: Demostrar que los primos gemelos infinitamente muchos conjetura es equivalente a la existencia de infinitos números primos

Resuelta

Preguntado el 13 de Enero, 2015 por user2902602

27

2Resp

817Vistas

¿El teorema de la compacticidad (de lógica matemática) es equivalente al axioma de elección?

Resuelta

Preguntado el 26 de Mayo, 2013 por Mr X

15

1Resp

362Vistas

Es esta una caracterización de los pedidos?

Resuelta

Preguntado el 7 de Julio, 2013 por DanV

10

1Resp

243Vistas

Hay una característica universal de la ultraproduct?

Resuelta

Preguntado el 17 de Junio, 2013 por Dominik

11

2Resp

404Vistas

Hay una "intención" modelo de los números reales en el mismo sentido, hay uno para los números naturales?

Resuelta

Preguntado el 13 de Febrero, 2013 por Wolphram jonny

19

4Resp

1742Vistas

Tarski del decidability prueba real en campo cerrado y la aritmética de Peano

Resuelta

Preguntado el 29 de Mayo, 2012 por tonyr roth

8

2Resp

429Vistas

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

Resuelta

Preguntado el 2 de Junio, 2011 por boumol

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

1Resp

313Vistas

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

Resuelta

Preguntado el 23 de Abril, 2012 por Nikola

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Comprobación de axiomas como comprobación de tipos?

Versión del teorema de Lowenheim-Skolem y el axioma de elección

Encontrar un conjunto de oraciones $\Sigma$ de manera tal que el conjunto de todos los modelos de $\Sigma$ es countably infinito.

Modelos de grupos infinitos y objetos 'grupales'

La discusión sobre AC y contables de los sindicatos de conjuntos contables

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

Primaria Modelo De La Teoría De La

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

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

Construcción de * ZFC

Razones para creer que el principio de Vopenka / los grandes cardenales son consistentes

¿Un oráculo para la función de Rayo le permitiría calcular un modelo de$(V, \in)$?

Teoría del modelo de aprendizaje

No existen innumerables grupo , cada apropiado subgrupo de que es contable?

¿Existen sistemas numéricos correspondientes a cardinalidades superiores a los números reales?

Es $\Bbb R$ definible en $(\Bbb C,0,1,+,*,\exp)$ ?

Una frase falsa en un campo de característica $0$ pero cierto en todos los campos de la característica positiva?

¿Es cierto que?

Axioma de elección y determinación

$\mathcal U$ Grothendieck del universo. Es $\mathcal{P(U)}$ un modelo de NBG?

Boleanas saturados en términos de teoría de modelos y en cuanto a las particiones

Lógica de primer orden: Demostrar que los primos gemelos infinitamente muchos conjetura es equivalente a la existencia de infinitos números primos

¿El teorema de la compacticidad (de lógica matemática) es equivalente al axioma de elección?

Es esta una caracterización de los pedidos?

Hay una característica universal de la ultraproduct?

Hay una "intención" modelo de los números reales en el mismo sentido, hay uno para los números naturales?

Tarski del decidability prueba real en campo cerrado y la aritmética de Peano

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

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: