2 votos

Existencia de modelo para lógicas infinitary

q2astack::content.general.tags :

21 votos

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

Aceptada
q2astack::content.general.tags :

3 votos

El precio es de derecho óptimo juego

q2astack::content.general.tags :

8 votos

La categoría de teoremas y pruebas

q2astack::content.general.tags :

10 votos

Escapando de la prueba de Gödel

Aceptada
q2astack::content.general.tags :

4 votos

La función crece más despacio que $\ln(x)$

q2astack::content.general.tags :

5 votos

¿Qué Gödel del Teorema de la Incompletitud de probar?

q2astack::content.general.tags :

6 votos

Teorema de compacidad / Conjunto de fórmulas de tamaño infinito

Aceptada
q2astack::content.general.tags :

1 votos

Cuando se ultrapowers mejor que "genérico" de la primaria extensiones?

q2astack::content.general.tags :

2 votos

Constantes en una firma

q2astack::content.general.tags :

8 votos

La crítica de este subgrupo de la prueba?

q2astack::content.general.tags :

7 votos

¿Cómo definirías la velocidad de un objeto?

Aceptada
q2astack::content.general.tags :

1 votos

Conjuntos definibles en un $\aleph_0$ -estructuras categóricas y automorfismos.

q2astack::content.general.tags :

3 votos

Definición o axioma para números de menos de verdad

Aceptada
q2astack::content.general.tags :

4 votos

Definible con parámetros (Ejemplo)

Aceptada
q2astack::content.general.tags :

0 votos

Modelos de grupos infinitos y objetos 'grupales'

Aceptada
q2astack::content.general.tags :

0 votos

Pregunta de matemáticas discretas: Inducción

Aceptada

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X