15

2Resp
3482Vistas

¿Hay un bijection entre los reales y naturales?

Resuelta

7

1Resp
75Vistas

Eliminación de cuantificadores para $\exists x\ x^2=y$

Resuelta

5

1Resp
93Vistas

Yo don ' t realmente entender qué modelo es.

Abierta

5

1Resp
74Vistas

¿Por qué sería un $T_1$-espacio?

Resuelta

7

1Resp
32Vistas

¿Por qué tiene cada teoría completa propiedad conjunta de inclusión?

Resuelta
Etiquetas:

5

1Resp
322Vistas

finitud y primeras oraciones de la orden

Resuelta
Etiquetas:

5

1Resp
96Vistas

¿Es lógica infinitary $\mathcal{L}_{\infty\omega}$ una lógica abstracta?

Resuelta
Etiquetas:

5

1Resp
193Vistas

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

Abierta

5

2Resp
75Vistas

Algebraicity hace implica dividir (teoría modelo)

Resuelta

6

2Resp
184Vistas

Relaciones definibles

Abierta
Etiquetas:

5

1Resp
109Vistas

Definibilidad en campos exponenciales asumiendo quasimimalidad

Resuelta
Etiquetas:

5

1Resp
85Vistas

Equivalencias

Resuelta

5

1Resp
74Vistas

Modelos no-isomorfos de PA con isomorfos grupos del Automorphism

Resuelta

5

1Resp
155Vistas

Semi-formal de la lengua - el Universo tiene por lo menos tres elementos

Resuelta

5

1Resp
117Vistas

El ultraproducto$\mathbb{N}^\mathbb{N} / \mathcal{F}$ es incontable

Abierta
Etiquetas:

9

1Resp
110Vistas

¿Hay ningún no trivial ' potencialmente categórico ' primer orden teorías?

Resuelta
Etiquetas:

5

1Resp
70Vistas

La omisión de los Tipos de... de forma recursiva

Resuelta

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: