Preguntas ciencias de model052

16

3Resp

3420Vistas

Intersección de una trama con un polígono de usar PostGIS - artefacto de error

Abierta

Preguntado el 6 de Febrero, 2012 por djq

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

14

1Resp

876Vistas

Vecino más cercano Agrupados Selección en QGIS

Resuelta

Preguntado el 19 de Octubre, 2011 por Colin Pickard

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

17

1Resp

203Vistas

¿Es cierto que?

Resuelta

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

16

3Resp

768Vistas

La comparación de la Categoría de Teoría y Modelo de Teoría (con ejemplos de la Teoría del Grupo).

Resuelta

Preguntado el 5 de Julio, 2011 por categoryboy

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

18

1Resp

457Vistas

¿Qué lecciones se han matemáticos extraídos de la existencia de la no-estándar de los modelos?

Abierta

Preguntado el 8 de Abril, 2013 por user894795

21

1Resp

1027Vistas

(¿Por qué) la topología no es de primer orden?

Resuelta

Preguntado el 21 de Junio, 2011 por aleksandar

Preguntas ciencias model

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Intersección de una trama con un polígono de usar PostGIS - artefacto de error

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

Vecino más cercano Agrupados Selección en QGIS

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

¿Es cierto que?

La comparación de la Categoría de Teoría y Modelo de Teoría (con ejemplos de la Teoría del Grupo).

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

¿Qué lecciones se han matemáticos extraídos de la existencia de la no-estándar de los modelos?

(¿Por qué) la topología no es de primer orden?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: