Preguntas ciencias de model-teoría

28

4Resp

4774Vistas

Teoría del modelo de aprendizaje

Resuelta

Preguntado el 23 de Junio, 2012 por Kekoa

3

1Resp

383Vistas

El número de modelos contables

Cerrada

Preguntado el 14 de Junio, 2014 por leonbloy

10

2Resp

411Vistas

Si$\mathcal{A} \equiv \mathcal{B}$ y$\mathcal{A} \not \cong \mathcal{B}$, ¿es posible que$\mathcal{A}$ y$\mathcal{B}$ sean bi-incrustables?

Resuelta

Preguntado el 25 de Agosto, 2016 por Mike Morearty

10

2Resp

946Vistas

Teorías de cohomología en el espacio de piedra de los n-tipos completos

Abierta

Preguntado el 28 de Junio, 2010 por dorien

11

0Resp

1054Vistas

¿Cuál es un buen ejemplo de una teoría completa pero no completa del modelo, y por qué?

Abierta

Preguntado el 1 de Noviembre, 2010 por agweber

12

0Resp

334Vistas

Decidibilidad de una teoría de primer orden de lo hiperreal

Abierta

Preguntado el 21 de Septiembre, 2020 por gsiems

12

2Resp

4450Vistas

¿Es posible mostrar que un conjunto infinito tiene un subconjunto contado (infinito), sin usar el Axioma de la elección?

Resuelta

Preguntado el 7 de Enero, 2011 por MotoTribe

11

0Resp

439Vistas

¿Es la ramificación de los campos numéricos de primer orden?

Abierta

Preguntado el 20 de Marzo, 2012 por David Citron

10

1Resp

428Vistas

Ideales precipitados y GCH

Abierta

Preguntado el 13 de Mayo, 2016 por Tomislav Nakic-Alfirevic

14

0Resp

592Vistas

Decidibilidad de primer orden de anillos vs decidibilidad diofantina

Abierta

Preguntado el 6 de Mayo, 2013 por Arne Babenhauserheide

14

0Resp

601Vistas

Fenómeno de brecha principal

Abierta

Preguntado el 11 de Julio, 2014 por thetacom

17

0Resp

538Vistas

¿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

17

1Resp

514Vistas

Axiomatizaciones del campo exponencial real

Abierta

Preguntado el 21 de Agosto, 2013 por Kyle Renfro

18

2Resp

2932Vistas

Universo a la vista vs Multiverso de vista de la Teoría de conjuntos

Resuelta

Preguntado el 22 de Septiembre, 2010 por Marc Alcobé García

52

5Resp

5721Vistas

No entiendo Gödel del teorema de la incompletitud más

Resuelta

Preguntado el 23 de Julio, 2020 por dimensio1n0

30

4Resp

1017Vistas

Variedades donde cada álgebra es gratis

Resuelta

Preguntado el 18 de Febrero, 2014 por Brabster

19

2Resp

853Vistas

Que los gráficos son elementarily equivalente a su propia discontinuo sumas?

Abierta

Preguntado el 1 de Septiembre, 2010 por thedeeno

21

4Resp

949Vistas

Hay un Leibniziana modelo sin definibles elementos, en un lenguaje finito?

Resuelta

Preguntado el 7 de Mayo, 2015 por thedeeno

20

2Resp

1657Vistas

¿La inexistencia de los hiperreales es consistente con ZF?

Resuelta

Preguntado el 4 de Diciembre, 2014 por yxk

27

1Resp

1667Vistas

Son Conway combinatoria juegos el "monstruo modelo" de cualquier familiar de la teoría?

Resuelta

Preguntado el 29 de Abril, 2020 por Kache

21

2Resp

2093Vistas

¿Existe algún modelo natural conocido de la Aritmética de Peano donde falle el teorema de Goodstein?

Resuelta

Preguntado el 1 de Septiembre, 2010 por redwyre

22

4Resp

1624Vistas

Teoría de conjuntos no ZFC y no unicidad de los hiperreales: ¿problema resuelto?

Abierta

Preguntado el 12 de Febrero, 2012 por Ben Crowell

22

5Resp

1177Vistas

¿Qué es el espectro de posibles cofinality tipos de cortes en un orden de campo? O en un modelo de la hyperreals? O en un modelo no estándar de la aritmética?

Abierta

Preguntado el 10 de Agosto, 2011 por thedeeno

21

1Resp

1333Vistas

Abierto principal computacional de problemas en la eliminación de cuantificadores?

Resuelta

Preguntado el 28 de Agosto, 2013 por Tarks

23

5Resp

2241Vistas

Supervenience en matemáticas

Resuelta

Preguntado el 6 de Enero, 2011 por Draemon

27

4Resp

2418Vistas

¿Qué "metateoría" utilizaron los primeros investigadores de teoría / lógica de conjuntos para probar resultados semánticos?

Resuelta

Preguntado el 15 de Abril, 2018 por Kache

25

5Resp

3498Vistas

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

Resuelta

Preguntado el 24 de Junio, 2010 por martinatime

25

1Resp

2612Vistas

Una preimpresión de Sela sobre el trabajo de Kharlampovich-Miyasnikov

Abierta

Preguntado el 24 de Enero, 2014 por Vladimir

35

5Resp

1615Vistas

Ejemplos de declaraciones con una alta complejidad cuantificadora

Abierta

Preguntado el 24 de Septiembre, 2017 por laci

37

3Resp

1309Vistas

¿Cambia la categoría de campos (algebraicamente cerrados) de la característica %-%-% cuando se cambia el %-%-%?

Abierta

Preguntado el 8 de Abril, 2016 por Brabster

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Teoría del modelo de aprendizaje

El número de modelos contables

Si$\mathcal{A} \equiv \mathcal{B}$ y$\mathcal{A} \not \cong \mathcal{B}$, ¿es posible que$\mathcal{A}$ y$\mathcal{B}$ sean bi-incrustables?

Teorías de cohomología en el espacio de piedra de los n-tipos completos

¿Cuál es un buen ejemplo de una teoría completa pero no completa del modelo, y por qué?

Decidibilidad de una teoría de primer orden de lo hiperreal

¿Es posible mostrar que un conjunto infinito tiene un subconjunto contado (infinito), sin usar el Axioma de la elección?

¿Es la ramificación de los campos numéricos de primer orden?

Ideales precipitados y GCH

Decidibilidad de primer orden de anillos vs decidibilidad diofantina

Fenómeno de brecha principal

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

Axiomatizaciones del campo exponencial real

Universo a la vista vs Multiverso de vista de la Teoría de conjuntos

No entiendo Gödel del teorema de la incompletitud más

Variedades donde cada álgebra es gratis

Que los gráficos son elementarily equivalente a su propia discontinuo sumas?

Hay un Leibniziana modelo sin definibles elementos, en un lenguaje finito?

¿La inexistencia de los hiperreales es consistente con ZF?

Son Conway combinatoria juegos el "monstruo modelo" de cualquier familiar de la teoría?

¿Existe algún modelo natural conocido de la Aritmética de Peano donde falle el teorema de Goodstein?

Teoría de conjuntos no ZFC y no unicidad de los hiperreales: ¿problema resuelto?

¿Qué es el espectro de posibles cofinality tipos de cortes en un orden de campo? O en un modelo de la hyperreals? O en un modelo no estándar de la aritmética?

Abierto principal computacional de problemas en la eliminación de cuantificadores?

Supervenience en matemáticas

¿Qué "metateoría" utilizaron los primeros investigadores de teoría / lógica de conjuntos para probar resultados semánticos?

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

Una preimpresión de Sela sobre el trabajo de Kharlampovich-Miyasnikov

Ejemplos de declaraciones con una alta complejidad cuantificadora

¿Cambia la categoría de campos (algebraicamente cerrados) de la característica %-%-% cuando se cambia el %-%-%?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: