5

2Resp
138Vistas

Extensión no estándar de una función con un límite

Resuelta

7

1Resp
364Vistas

Malentendido Löwenheim-Skolem

Resuelta

5

4Resp
284Vistas

Teorías y modelos

Abierta

5

1Resp
161Vistas

El sistema de números Hyperreal

Resuelta

6

4Resp
574Vistas

Decidability y "valor de verdad"

Resuelta

5

1Resp
471Vistas

Una lógica que se puede distinguir entre dos estructuras

Abierta
Etiquetas:

7

3Resp
261Vistas

Modelos vs. Estructuras

Resuelta

5

1Resp
123Vistas

Los Reales no son interpretables en los números complejos

Resuelta
Etiquetas:

5

1Resp
102Vistas

Dos estructuras homogéneas, realizar los mismos tipos son isomorfas

Resuelta
Etiquetas:

5

3Resp
113Vistas

Extensiones completas de una teoría consistente

Abierta
Etiquetas:

5

1Resp
121Vistas

Hodges, motete No vos relinquam y indiscernible secuencias.

Abierta
Etiquetas:

5

1Resp
64Vistas

Mutuo Singularidad de las Operaciones en el PA de los modelos

Resuelta
Etiquetas:

5

1Resp
565Vistas

¿Hay una diferencia entre un modelo y una representación?

Resuelta

5

2Resp
506Vistas

No hay infinitamente más pequeño gran primer

Resuelta

5

1Resp
263Vistas

Usando el teorema de la reflexión

Resuelta

5

1Resp
91Vistas

¿Integridad lógica Infinitary?

Abierta

5

2Resp
83Vistas

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

Resuelta
Etiquetas:

5

1Resp
434Vistas

¿Cuántos modelos contables de ZFC hay?

Resuelta

5

2Resp
144Vistas

Ejecución de programas en modelos no estándares de PA

Resuelta

5

1Resp
85Vistas

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

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: