Preguntas ciencias de model-teoría017

10

1Resp

243Vistas

Hay una característica universal de la ultraproduct?

Resuelta

Preguntado el 17 de Junio, 2013 por Dominik

10

3Resp

992Vistas

¿Lowenheim-Skolem intuicionista?

Resuelta

Preguntado el 28 de Octubre, 2009 por Leon Bambrick

9

1Resp

231Vistas

Resultados en matemáticas, cuya única prueba es el modelo teórico de la

Abierta

Preguntado el 28 de Febrero, 2016 por Student

15

1Resp

362Vistas

Es esta una caracterización de los pedidos?

Resuelta

Preguntado el 7 de Julio, 2013 por DanV

11

1Resp

210Vistas

¿Qué técnicas existen para el "ajuste quirúrgico" de los modelos de la teoría de conjuntos?

Abierta

Preguntado el 31 de Enero, 2013 por M.G.Palmer

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

11

1Resp

321Vistas

Hacer ordenó campos y archimedian ordenó campos tienen el mismo primer orden de la teoría?

Resuelta

Preguntado el 10 de Septiembre, 2012 por plusjeff

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

15

5Resp

1070Vistas

La mayoría de las sorprendentes aplicaciones del teorema de compacidad fuera de la lógica

Resuelta

Preguntado el 7 de Junio, 2013 por Dominik

10

2Resp

617Vistas

Una cuestión sobre los órdenes lineales y la equivalencia elemental

Resuelta

Preguntado el 2 de Junio, 2011 por boumol

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

402Vistas

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

Resuelta

Preguntado el 20 de Febrero, 2013 por Robert Thomas

15

1Resp

339Vistas

Resultados de la independencia que no se puede establecer por forzar.

Resuelta

Preguntado el 15 de Marzo, 2013 por hakan

11

2Resp

382Vistas

Número de automorfismos de los modelos saturados

Resuelta

Preguntado el 13 de Mayo, 2013 por Praveen

11

2Resp

356Vistas

Poner axiomas para algunos símbolos. Jugar con sus consecuencias cualitativa y simbólicamente. Construir teorías. ¿El libro?

Resuelta

Preguntado el 11 de Abril, 2014 por Maynza

17

2Resp

728Vistas

¿Es posible demostrar el teorema de incompletitud de Gödel sin ninguna noción de teoría de modelos?

Resuelta

Preguntado el 14 de Junio, 2013 por msutherl

11

3Resp

464Vistas

¿Por qué la creación de un modelo muestra coherencia?

Abierta

Preguntado el 9 de Marzo, 2012 por iwlagn

13

2Resp

531Vistas

¿Es álgebra necesario para realmente entender o disfrutar de teoría de modelos?

Resuelta

Preguntado el 18 de Mayo, 2015 por Student

11

2Resp

440Vistas

¿Puede una teoría decidible tener modelos no recursivos?

Abierta

Preguntado el 10 de Enero, 2014 por M D

26

4Resp

1281Vistas

¿Cómo Gödel Integridad fallar en segundo orden, la lógica?

Resuelta

Preguntado el 22 de Septiembre, 2015 por agscala

20

3Resp

2185Vistas

Mostrando cualquier contables, denso, lineal pedido es isomorfo a un subconjunto de a $\mathbb{Q}$

Resuelta

Preguntado el 5 de Mayo, 2011 por Oded

23

5Resp

3033Vistas

¿Existe una relación entre la teoría modelo y teoría de la categoría?

Resuelta

Preguntado el 16 de Enero, 2010 por Toran Billups

38

5Resp

2367Vistas

Hacer que los axiomas de la teoría de conjuntos en realidad definir la noción de un conjunto?

Abierta

Preguntado el 18 de Mayo, 2016 por justin

14

3Resp

742Vistas

¿Admite toda teoría completa la eliminación de cuantificadores?

Resuelta

Preguntado el 14 de Diciembre, 2012 por user52072

17

4Resp

1551Vistas

¿Cómo puede haber auténticos modelos de la teoría de conjuntos?

Abierta

Preguntado el 10 de Agosto, 2011 por aleksandar

16

3Resp

558Vistas

Sobre "La vida en un mundo inconsistente" de Pudlak

Resuelta

Preguntado el 10 de Marzo, 2014 por Allen Bauer

15

3Resp

1180Vistas

Hay tantas real de campos cerrados de un determinado cardinalidad como creo que hay?

Resuelta

Preguntado el 25 de Enero, 2010 por kevtrout

17

1Resp

801Vistas

¿Cómo son las dos maneras naturales para definir "la categoría de modelos de primer orden de la teoría T" relacionados?

Abierta

Preguntado el 6 de Febrero, 2010 por MojoFilter

13

4Resp

353Vistas

¿"=" Debe interpretarse como igualdad?

Resuelta

Preguntado el 1 de Junio, 2013 por Mike Cole

13

3Resp

426Vistas

Axioma de elección y determinación

Resuelta

Preguntado el 28 de Marzo, 2013 por Francis Adams

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Hay una característica universal de la ultraproduct?

¿Lowenheim-Skolem intuicionista?

Resultados en matemáticas, cuya única prueba es el modelo teórico de la

Es esta una caracterización de los pedidos?

¿Qué técnicas existen para el "ajuste quirúrgico" de los modelos de la teoría de conjuntos?

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

Hacer ordenó campos y archimedian ordenó campos tienen el mismo primer orden de la teoría?

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

La mayoría de las sorprendentes aplicaciones del teorema de compacidad fuera de la lógica

Una cuestión sobre los órdenes lineales y la equivalencia elemental

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

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

Resultados de la independencia que no se puede establecer por forzar.

Número de automorfismos de los modelos saturados

Poner axiomas para algunos símbolos. Jugar con sus consecuencias cualitativa y simbólicamente. Construir teorías. ¿El libro?

¿Es posible demostrar el teorema de incompletitud de Gödel sin ninguna noción de teoría de modelos?

¿Por qué la creación de un modelo muestra coherencia?

¿Es álgebra necesario para realmente entender o disfrutar de teoría de modelos?

¿Puede una teoría decidible tener modelos no recursivos?

¿Cómo Gödel Integridad fallar en segundo orden, la lógica?

Mostrando cualquier contables, denso, lineal pedido es isomorfo a un subconjunto de a $\mathbb{Q}$

¿Existe una relación entre la teoría modelo y teoría de la categoría?

Hacer que los axiomas de la teoría de conjuntos en realidad definir la noción de un conjunto?

¿Admite toda teoría completa la eliminación de cuantificadores?

¿Cómo puede haber auténticos modelos de la teoría de conjuntos?

Sobre "La vida en un mundo inconsistente" de Pudlak

Hay tantas real de campos cerrados de un determinado cardinalidad como creo que hay?

¿Cómo son las dos maneras naturales para definir "la categoría de modelos de primer orden de la teoría T" relacionados?

¿"=" Debe interpretarse como igualdad?

Axioma de elección y determinación

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: