Preguntas ciencias de model-teoría010

5

1Resp

151Vistas

Evaluación de puntos de un funcional lineal sobre un Ultrapower

Resuelta

Preguntado el 8 de Julio, 2013 por margold

7

3Resp

243Vistas

Las "constantes" de una estructura (teoría modelo)

Abierta

Preguntado el 30 de Noviembre, 2017 por Robert K

7

1Resp

164Vistas

Un modelo que tiene sólo un elemento indefinible sobre un lenguaje con sólo un número finito de símbolos

Resuelta

Preguntado el 24 de Junio, 2014 por Hanul Jeon

8

2Resp

211Vistas

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

Resuelta

Preguntado el 27 de Abril, 2013 por John O

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

5

1Resp

277Vistas

¿Por qué hay al parecer no es la idea general de la estructura homomorphism?

Resuelta

Preguntado el 17 de Junio, 2013 por Dominik

6

1Resp

363Vistas

¿Cómo encuentro el modelo de mi báscula?

Resuelta

Preguntado el 31 de Agosto, 2012 por aleksandar

9

2Resp

222Vistas

Comparación de teoría modelo y teoría de la categoría Máster de ' s tesis.

Abierta

Preguntado el 21 de Abril, 2015 por Jonathan Seet ZQ

4

1Resp

113Vistas

Obligado para los No-estándar del Modelo de PA

Abierta

Preguntado el 9 de Mayo, 2017 por user368804

9

2Resp

147Vistas

Relación entre el análisis no estándar y no estándar de los modelos de la aritmética

Resuelta

Preguntado el 6 de Noviembre, 2017 por Christoph Sachse

9

1Resp

214Vistas

¿Es coherente la siguiente teoría?

Resuelta

Preguntado el 4 de Noviembre, 2017 por Yanior Weg

5

1Resp

145Vistas

Teorías O mínimo con orden no denso tipo

Resuelta

Preguntado el 19 de Octubre, 2014 por Kyle Gannon

5

2Resp

177Vistas

Operadas coloreadas como teoría algebraica de esencia finita.

Abierta

Preguntado el 23 de Octubre, 2014 por Robert Thomas

6

3Resp

381Vistas

Mostrando que la clase de Aren de grupos cíclicos ' t Axiomatizable

Resuelta

Preguntado el 24 de Octubre, 2013 por Phaedrus

7

1Resp

152Vistas

Cómo Aprender la Teoría de la Estabilidad

Resuelta

Preguntado el 15 de Septiembre, 2017 por Allen Bauer

6

1Resp

151Vistas

Mostrar un homomorphism existe iff existen homomorphisms de cada finitely generado subestructura

Resuelta

Preguntado el 1 de Noviembre, 2017 por Adrian Lee

6

4Resp

916Vistas

Es la teoría de la incidencia de la geometría completa?

Resuelta

Preguntado el 18 de Diciembre, 2009 por Scott Kramer

7

1Resp

159Vistas

Si $X=\beta\mathbb{N}$ $M$ es contable, a continuación, $X_M$ es un espacio métrico. (Primaria submodelos)

Resuelta

Preguntado el 30 de Octubre, 2017 por MingusMingusMingusMingus

9

2Resp

160Vistas

¿Cómo pueden ser útiles las teorías completas de las estructuras en el estudio de sus teorías ecuacionales?

Resuelta

Preguntado el 29 de Octubre, 2017 por Allen Bauer

11

2Resp

1163Vistas

¿Por qué tienen idiomas orden primeros a lo más contable muchos símbolos?

Resuelta

Preguntado el 26 de Octubre, 2017 por Sid Caroline

5

1Resp

186Vistas

$dcl(A)=\{x \in M : x$ definible de $A \}$, Mostrar $dcl(dcl(A)=A$

Resuelta

Preguntado el 4 de Agosto, 2013 por Dávid Tóth

5

1Resp

143Vistas

Simetría de bifurcación

Abierta

Preguntado el 18 de Febrero, 2016 por Peter Jaric

5

1Resp

168Vistas

Equivalencia de la teorías $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ y $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le) $

Abierta

Preguntado el 15 de Noviembre, 2015 por frogeyedpeas

4

1Resp

168Vistas

Sistema de axiomas que viola el teorema de Incompletitud de Godel

Abierta

Preguntado el 10 de Abril, 2017 por DaggerOfMesogrecia

4

1Resp

241Vistas

¿Puede haber un modelo transitivo contable que satisfaga la misma teoría$MK$ como$V$?

Resuelta

Preguntado el 21 de Noviembre, 2015 por Rick

8

2Resp

186Vistas

Ninguna proposición$\chi$ tal que$\mathscr{M}\models\chi\iff\mathscr{M}$ es infinita

Resuelta

Preguntado el 31 de Enero, 2015 por Self-teachingDavide

12

1Resp

187Vistas

Exponenciales sobreyectivas para campos algebraicamente cerrados

Abierta

Preguntado el 24 de Abril, 2016 por Captain Lama

7

1Resp

409Vistas

Submodelos elementales en teoría de conjuntos

Resuelta

Preguntado el 17 de Diciembre, 2013 por Savant Degrees

6

1Resp

158Vistas

El tipo de orden de los modelos de la aritmética de Peano

Abierta

Preguntado el 2 de Octubre, 2017 por tseeling

4

1Resp

362Vistas

¿La mejor manera de formalizar propuestas sufren de "problemas de tamaño"?

Abierta

Preguntado el 11 de Enero, 2014 por goblin

Preguntas ciencias model-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Evaluación de puntos de un funcional lineal sobre un Ultrapower

Las "constantes" de una estructura (teoría modelo)

Un modelo que tiene sólo un elemento indefinible sobre un lenguaje con sólo un número finito de símbolos

¿Qué lógica es más fuerte? SOL o $\frak{L}_{\infty,\infty}$ ?

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

¿Por qué hay al parecer no es la idea general de la estructura homomorphism?

¿Cómo encuentro el modelo de mi báscula?

Comparación de teoría modelo y teoría de la categoría Máster de ' s tesis.

Obligado para los No-estándar del Modelo de PA

Relación entre el análisis no estándar y no estándar de los modelos de la aritmética

¿Es coherente la siguiente teoría?

Teorías O mínimo con orden no denso tipo

Operadas coloreadas como teoría algebraica de esencia finita.

Mostrando que la clase de Aren de grupos cíclicos ' t Axiomatizable

Cómo Aprender la Teoría de la Estabilidad

Mostrar un homomorphism existe iff existen homomorphisms de cada finitely generado subestructura

Es la teoría de la incidencia de la geometría completa?

Si $X=\beta\mathbb{N}$ $M$ es contable, a continuación, $X_M$ es un espacio métrico. (Primaria submodelos)

¿Cómo pueden ser útiles las teorías completas de las estructuras en el estudio de sus teorías ecuacionales?

¿Por qué tienen idiomas orden primeros a lo más contable muchos símbolos?

$dcl(A)=\{x \in M : x$ definible de $A \}$, Mostrar $dcl(dcl(A)=A$

Simetría de bifurcación

Equivalencia de la teorías $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ y $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le) $

Sistema de axiomas que viola el teorema de Incompletitud de Godel

¿Puede haber un modelo transitivo contable que satisfaga la misma teoría$MK$ como$V$?

Ninguna proposición$\chi$ tal que$\mathscr{M}\models\chi\iff\mathscr{M}$ es infinita

Exponenciales sobreyectivas para campos algebraicamente cerrados

Submodelos elementales en teoría de conjuntos

El tipo de orden de los modelos de la aritmética de Peano

¿La mejor manera de formalizar propuestas sufren de "problemas de tamaño"?

Mejores preguntas

Etiquetas mas usadas

i-Ciencias.com

Powered by: