Preguntas de model-teoría012

4

1Resp

164Vistas

Mostrar que la teoría de la $Th(\mathbb N)$ en el primer orden de la lógica con la finitud del cuantificador es categórico

Abierta

Preguntado el 13 de Diciembre, 2012 por DeNiCe

4

2Resp

164Vistas

¿Hay modelos elementalmente equivalentes$\mathcal{M}, \mathcal{N}$ de la misma cardinalidad, ninguno de los dos puede incrustarse elementalmente en el otro?

Resuelta

Preguntado el 18 de Enero, 2015 por Dávid Tóth

4

1Resp

134Vistas

Campo contable que es elemental equivalente a$\mathbb{R}$

Resuelta

Preguntado el 26 de Marzo, 2017 por HeinrichD

35

5Resp

10101Vistas

¿Qué es ... un Grossone?

Resuelta

Preguntado el 16 de Diciembre, 2015 por David Grayson

35

5Resp

1613Vistas

Ejemplos de declaraciones con una alta complejidad cuantificadora

Abierta

Preguntado el 24 de Septiembre, 2017 por laci

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

18

2Resp

2930Vistas

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

17

1Resp

513Vistas

Axiomatizaciones del campo exponencial real

Abierta

Preguntado el 21 de Agosto, 2013 por Kyle Renfro

14

0Resp

600Vistas

Fenómeno de brecha principal

Abierta

Preguntado el 11 de Julio, 2014 por thetacom

11

0Resp

438Vistas

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

Abierta

Preguntado el 20 de Marzo, 2012 por David Citron

36

4Resp

1420Vistas

Es de $\mathbb{N}$ imposible de precisar?

Resuelta

Preguntado el 9 de Mayo, 2013 por goblin

32

2Resp

693Vistas

Es de $ \pi $ definible en $(\Bbb R,0,1,+,×, <,\exp) $?

Resuelta

Preguntado el 9 de Junio, 2013 por Dominik

29

1Resp

554Vistas

FO-definability de los enteros en (Q, +, <)

Resuelta

Preguntado el 21 de Mayo, 2011 por Anindya Chatterjee

51

5Resp

5517Vistas

En lenguaje sencillo, ¿cuál es la diferencia entre dos cosas que son "equivalentes", "iguales" e "idénticas"?

Resuelta

Preguntado el 9 de Diciembre, 2014 por DuxAres

15

1Resp

311Vistas

Tennenbaum del teorema sin que se derrame

Resuelta

Preguntado el 24 de Enero, 2014 por sewo

20

2Resp

697Vistas

Comparando contables de modelos de ZFC

Resuelta

Preguntado el 13 de Septiembre, 2011 por user15381

11

3Resp

464Vistas

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

Abierta

Preguntado el 9 de Marzo, 2012 por iwlagn

11

2Resp

382Vistas

Número de automorfismos de los modelos saturados

Resuelta

Preguntado el 13 de Mayo, 2013 por Praveen

10

2Resp

617Vistas

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

Resuelta

Preguntado el 2 de Junio, 2011 por boumol

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

10

3Resp

992Vistas

¿Lowenheim-Skolem intuicionista?

Resuelta

Preguntado el 28 de Octubre, 2009 por Leon Bambrick

10

1Resp

447Vistas

Teorema De Compacidad De La Aplicación

Abierta

Preguntado el 15 de Noviembre, 2012 por Trin

12

1Resp

1202Vistas

Mostrar ese binario < relación "menor que" no es definible en el conjunto de números naturales con la función del sucesor

Resuelta

Preguntado el 23 de Octubre, 2012 por Benjamin Lindley

29

3Resp

850Vistas

¿Cuál es un ejemplo de modelo no estándar de la Aritmética de Peano?

Resuelta

Preguntado el 6 de Junio, 2016 por jball

8

1Resp

345Vistas

Cómo probar una extensión de ZFC es conservador

Abierta

Preguntado el 8 de Abril, 2011 por Rune Jacobsen

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

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

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

2Resp

282Vistas

Definibilidad en una estructura determinada

Abierta

Preguntado el 8 de Diciembre, 2012 por Prime

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

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Mostrar que la teoría de la $Th(\mathbb N)$ en el primer orden de la lógica con la finitud del cuantificador es categórico

¿Hay modelos elementalmente equivalentes$\mathcal{M}, \mathcal{N}$ de la misma cardinalidad, ninguno de los dos puede incrustarse elementalmente en el otro?

Campo contable que es elemental equivalente a$\mathbb{R}$

¿Qué es ... un Grossone?

Ejemplos de declaraciones con una alta complejidad cuantificadora

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

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

Axiomatizaciones del campo exponencial real

Fenómeno de brecha principal

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

Es de $\mathbb{N}$ imposible de precisar?

Es de $ \pi $ definible en $(\Bbb R,0,1,+,×, <,\exp) $?

FO-definability de los enteros en (Q, +, <)

En lenguaje sencillo, ¿cuál es la diferencia entre dos cosas que son "equivalentes", "iguales" e "idénticas"?

Tennenbaum del teorema sin que se derrame

Comparando contables de modelos de ZFC

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

Número de automorfismos de los modelos saturados

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

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

¿Lowenheim-Skolem intuicionista?

Teorema De Compacidad De La Aplicación

Mostrar ese binario < relación "menor que" no es definible en el conjunto de números naturales con la función del sucesor

¿Cuál es un ejemplo de modelo no estándar de la Aritmética de Peano?

Cómo probar una extensión de ZFC es conservador

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

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

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

Definibilidad en una estructura determinada

Es "PA no tiene no estándar de modelos" en consonancia con la ZF?

Etiquetas mas usadas

i-Ciencias.com

Powered by: