Preguntas de model-teoría09

8

1Resp

313Vistas

$\aleph_1$-categórica campos son algebraicamente cerrado.

Resuelta

Preguntado el 23 de Abril, 2012 por Nikola

8

1Resp

246Vistas

Cada submodelo elemental de $H(\aleph_1)$ es transitiva

Resuelta

Preguntado el 27 de Mayo, 2014 por Reto Meier

8

1Resp

248Vistas

Primaria de equivalencia de grupos gratis

Resuelta

Preguntado el 16 de Julio, 2014 por TMK

8

2Resp

297Vistas

Una definición de la verdad, mal, pero donde

Resuelta

Preguntado el 2 de Febrero, 2014 por seoneo

7

1Resp

344Vistas

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

Resuelta

Preguntado el 11 de Febrero, 2013 por msutherl

20

5Resp

910Vistas

¿En qué sentido de "estructura" hacer grupo homomorphisms "preservar la estructura"?

Resuelta

Preguntado el 21 de Febrero, 2015 por user894795

7

1Resp

251Vistas

Números complejos no estándar y categoricidad

Resuelta

Preguntado el 17 de Agosto, 2014 por notpeter

10

1Resp

273Vistas

¿Cuáles son los posibles mínima acl-dimensiones fuertemente mínima modelos?

Abierta

Preguntado el 11 de Mayo, 2012 por Shery

7

1Resp

332Vistas

Es Zermelo la teoría de conjuntos finitely axiomatizable?

Resuelta

Preguntado el 2 de Diciembre, 2012 por boertel

7

1Resp

505Vistas

Eslóganes estructuralistas

Abierta

Preguntado el 8 de Febrero, 2012 por aleksandar

6

3Resp

290Vistas

¿Existe el concepto de conjunto finito que sólo puede tener una "interpretación"?

Resuelta

Preguntado el 20 de Mayo, 2013 por MphLee

6

1Resp

202Vistas

¿Puede haber un grupo abeliano $G$ donde $\bigcap_{n\in\mathbb N} nG$ no es divisible?

Resuelta

Preguntado el 11 de Septiembre, 2013 por Comptrol

6

3Resp

285Vistas

¿Por qué se puede observar cualquier tipo?

Resuelta

Preguntado el 28 de Noviembre, 2013 por Malice Vidrine

9

3Resp

1098Vistas

Una sentencia de primer orden tal que el espectro finito de esa sentencia son los números primos

Resuelta

Preguntado el 20 de Marzo, 2011 por Santiago C.

6

1Resp

161Vistas

nociones generales de la "base" de la teoría de álgebra / modelo

Resuelta

Preguntado el 30 de Junio, 2015 por Oudin

5

1Resp

269Vistas

Detección de comparabilidad en submodelo primaria contable

Resuelta

Preguntado el 10 de Diciembre, 2015 por Jing Zhang

6

2Resp

277Vistas

Axiomas de atomless boleanas

Resuelta

Preguntado el 22 de Julio, 2011 por Jon Bright

6

1Resp

198Vistas

Demostrando que una declaración es absoluta.

Resuelta

Preguntado el 14 de Octubre, 2013 por Mark Baker

6

2Resp

204Vistas

¿Lo que ' s el nombre de este operador?

Resuelta

Preguntado el 9 de Junio, 2012 por John O

7

2Resp

339Vistas

Álgebras booleanas sin átomos

Resuelta

Preguntado el 16 de Mayo, 2011 por nap

6

1Resp

191Vistas

Aparece un modelo salvaje de $\mathcal{T}(\mathbb{N})$...

Abierta

Preguntado el 30 de Mayo, 2017 por Tsu Jan

7

2Resp

460Vistas

¿Por qué la hipótesis del continuo implica el sistema única hyperreal, ${}^{\ast}{\Bbb R}$?

Resuelta

Preguntado el 25 de Mayo, 2013 por Lindsay

5

2Resp

376Vistas

¿Qué axiomas hay que añadir a la ZFC de segundo orden para que tenga un modelo único (hasta el isomorfismo)?

Resuelta

Preguntado el 1 de Marzo, 2013 por goblin

5

1Resp

236Vistas

Lenguaje semiformal - El universo tiene al menos tres elementos

Resuelta

Preguntado el 24 de Abril, 2013 por Babla

5

1Resp

163Vistas

$T\vDash\psi$ equivalencias

Resuelta

Preguntado el 24 de Abril, 2013 por Babla

5

1Resp

185Vistas

Definibilidad en campos exponenciales asumiendo la cuasiminalidad

Resuelta

Preguntado el 22 de Agosto, 2013 por Michael Caron

6

2Resp

264Vistas

Relaciones definibles

Abierta

Preguntado el 1 de Diciembre, 2012 por user51361

5

2Resp

161Vistas

¿Implica la algebraicidad dividir (teoría de modelos)

Resuelta

Preguntado el 22 de Noviembre, 2016 por GreenAlien

5

1Resp

277Vistas

Hereda topología lógica piedra ' espacios s.

Abierta

Preguntado el 29 de Abril, 2013 por Pece

4

1Resp

170Vistas

Yo don ' t realmente entender qué modelo es.

Abierta

Preguntado el 20 de Marzo, 2016 por YoTengoUnLCD

Preguntas de model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

$\aleph_1$-categórica campos son algebraicamente cerrado.

Cada submodelo elemental de $H(\aleph_1)$ es transitiva

Primaria de equivalencia de grupos gratis

Una definición de la verdad, mal, pero donde

¿Cuáles son las propiedades formales de la numeración de Gödel que se requieren para hacer el 'trabajo'?

¿En qué sentido de "estructura" hacer grupo homomorphisms "preservar la estructura"?

Números complejos no estándar y categoricidad

¿Cuáles son los posibles mínima acl-dimensiones fuertemente mínima modelos?

Es Zermelo la teoría de conjuntos finitely axiomatizable?

Eslóganes estructuralistas

¿Existe el concepto de conjunto finito que sólo puede tener una "interpretación"?

¿Puede haber un grupo abeliano $G$ donde $\bigcap_{n\in\mathbb N} nG$ no es divisible?

¿Por qué se puede observar cualquier tipo?

Una sentencia de primer orden tal que el espectro finito de esa sentencia son los números primos

nociones generales de la "base" de la teoría de álgebra / modelo

Detección de comparabilidad en submodelo primaria contable

Axiomas de atomless boleanas

Demostrando que una declaración es absoluta.

¿Lo que ' s el nombre de este operador?

Álgebras booleanas sin átomos

Aparece un modelo salvaje de $\mathcal{T}(\mathbb{N})$...

¿Por qué la hipótesis del continuo implica el sistema única hyperreal, ${}^{\ast}{\Bbb R}$?

¿Qué axiomas hay que añadir a la ZFC de segundo orden para que tenga un modelo único (hasta el isomorfismo)?

Lenguaje semiformal - El universo tiene al menos tres elementos

$T\vDash\psi$ equivalencias

Definibilidad en campos exponenciales asumiendo la cuasiminalidad

Relaciones definibles

¿Implica la algebraicidad dividir (teoría de modelos)

Hereda topología lógica piedra ' espacios s.

Yo don ' t realmente entender qué modelo es.

Etiquetas mas usadas

i-Ciencias.com

Powered by: