Preguntas de model-teoría05

8

2Resp

335Vistas

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

Abierta

Preguntado el 30 de Marzo, 2019 por Simone Margaritelli

11

2Resp

150Vistas

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Resuelta

Preguntado el 18 de Octubre, 2018 por user525966

5

1Resp

139Vistas

Similitud entre la teoría de conjuntos axiomáticos y el álgebra moderna

Resuelta

Preguntado el 5 de Junio, 2019 por Seminorm

4

1Resp

206Vistas

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

Resuelta

Preguntado el 5 de Junio, 2014 por Asvin

66

5Resp

3835Vistas

¿Argumento heurístico de que los grupos simples finitos deberían ser "clasificables"?

Resuelta

Preguntado el 9 de Septiembre, 2010 por Brabster

25

1Resp

2610Vistas

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

Abierta

Preguntado el 24 de Enero, 2014 por Vladimir

27

4Resp

2417Vistas

¿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

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

14

0Resp

590Vistas

Decidibilidad de primer orden de anillos vs decidibilidad diofantina

Abierta

Preguntado el 6 de Mayo, 2013 por Arne Babenhauserheide

18

1Resp

505Vistas

Una teoría de primer orden finita cuyos modelos finitos son exactamente los $\Bbb F_p$ ?

Abierta

Preguntado el 20 de Junio, 2013 por Dominik

16

3Resp

558Vistas

Sobre "La vida en un mundo inconsistente" de Pudlak

Resuelta

Preguntado el 10 de Marzo, 2014 por Allen Bauer

14

3Resp

742Vistas

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

Resuelta

Preguntado el 14 de Diciembre, 2012 por user52072

26

4Resp

1282Vistas

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

Resuelta

Preguntado el 22 de Septiembre, 2015 por agscala

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

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

9

1Resp

193Vistas

Es cierto que $\mathbb{F}_{1}^{\ast} \equiv \mathbb{F}_{2}^{\ast}$ implica $\mathbb{F}_{1} \equiv \mathbb{F}_{2}$?

Resuelta

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

12

1Resp

210Vistas

Hay un "computable" contables modelo de ZFC?

Abierta

Preguntado el 30 de Noviembre, 2015 por 6005

10

5Resp

1916Vistas

¿Qué significa exactamente ser isomorfo?

Resuelta

Preguntado el 16 de Junio, 2013 por Daniela Diaz

11

2Resp

1008Vistas

Teoría completa con exactamente n contables modelos?

Resuelta

Preguntado el 2 de Octubre, 2009 por denny

7

1Resp

160Vistas

Teoría de (Z, +) tiene uncountably muchos tipos de 1

Abierta

Preguntado el 30 de Enero, 2013 por José De la O

8

3Resp

387Vistas

Confusión de decidability de $(N,s)$

Resuelta

Preguntado el 25 de Febrero, 2013 por Stefan Dombrowski

5

1Resp

152Vistas

Omitir tipos... recursivamente

Resuelta

Preguntado el 28 de Junio, 2013 por Johan

9

1Resp

251Vistas

Puede que los números naturales ser único, después de todo?

Resuelta

Preguntado el 15 de Mayo, 2017 por M. Winter

5

2Resp

224Vistas

¿Es un espacio topológico una estructura?

Abierta

Preguntado el 8 de Abril, 2013 por goblin

5

2Resp

367Vistas

¿Por qué es inestable un anillo conmutativo con un número infinito de elementos idempotentes?

Resuelta

Preguntado el 20 de Marzo, 2012 por WTraveler

6

1Resp

540Vistas

Una lógica que se puede distinguir entre dos estructuras

Abierta

Preguntado el 6 de Agosto, 2011 por Ed Haber

7

1Resp

212Vistas

Sabemos que el índice de los mínimos de la etapa en la edificable universo que es un modelo de $ZFC$?

Resuelta

Preguntado el 24 de Noviembre, 2016 por Kyle

7

2Resp

265Vistas

Definición apropiada de eliminación de cuantificadores

Abierta

Preguntado el 25 de Agosto, 2014 por user776720

10

3Resp

176Vistas

Libros de texto de lógica de matemática nivel posgrado

Resuelta

Preguntado el 18 de Octubre, 2017 por Foobanana

4

1Resp

219Vistas

Estimando para Baldwin Lachlan

Resuelta

Preguntado el 15 de Enero, 2014 por user115940

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Por qué es deseable la eliminación de cuantificadores en una teoría determinada?

Cómo es una "interpretación" que se utiliza de manera diferente en los proposicional versus la lógica de primer orden?

Similitud entre la teoría de conjuntos axiomáticos y el álgebra moderna

Equivalencia elemental versus equivalencia entre la teoría total en la teoría de modelos.

¿Argumento heurístico de que los grupos simples finitos deberían ser "clasificables"?

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

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

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

Decidibilidad de primer orden de anillos vs decidibilidad diofantina

Una teoría de primer orden finita cuyos modelos finitos son exactamente los $\Bbb F_p$ ?

Sobre "La vida en un mundo inconsistente" de Pudlak

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

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

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

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

Es cierto que $\mathbb{F}_{1}^{\ast} \equiv \mathbb{F}_{2}^{\ast}$ implica $\mathbb{F}_{1} \equiv \mathbb{F}_{2}$?

Hay un "computable" contables modelo de ZFC?

¿Qué significa exactamente ser isomorfo?

Teoría completa con exactamente n contables modelos?

Teoría de (Z, +) tiene uncountably muchos tipos de 1

Confusión de decidability de $(N,s)$

Omitir tipos... recursivamente

Puede que los números naturales ser único, después de todo?

¿Es un espacio topológico una estructura?

¿Por qué es inestable un anillo conmutativo con un número infinito de elementos idempotentes?

Una lógica que se puede distinguir entre dos estructuras

Sabemos que el índice de los mínimos de la etapa en la edificable universo que es un modelo de $ZFC$?

Definición apropiada de eliminación de cuantificadores

Libros de texto de lógica de matemática nivel posgrado

Estimando para Baldwin Lachlan

Etiquetas mas usadas

i-Ciencias.com

Powered by: