Loading [MathJax]/jax/element/mml/optable/MathOperators.js

1

2Resp
109Vistas

¿Por qué son imposibles los modelos de igualdad?

Resuelta

2

2Resp
85Vistas

Mapeo de problemas simples de primer orden a la teoría de tipos

Resuelta

6

5Resp
347Vistas

¿Biblioteca de posets en GAP?

Resuelta
Etiquetas :

3

2Resp
1078Vistas

Cómo combinar diferentes órdenes parciales (Poset)

Resuelta
Etiquetas :

1

2Resp
774Vistas

¿Cómo ir de Árbol a Pedidos Totales?

Resuelta

5

1Resp
117Vistas

Funciones ordinarias vs. funciones de lenguaje de primer orden

Resuelta

4

1Resp
293Vistas

¿Estos axiomas definen un álgebra booleana?

Resuelta

2

3Resp
389Vistas

Confundido acerca de la preservación de bienórdenes cuasi-buenos

Resuelta
Etiquetas :

2

2Resp
481Vistas

Conjunto de ordenamientos parciales y lema de Zorn

Resuelta
Etiquetas :

38

6Resp
5434Vistas

¿Hay más verdades que pruebas?

Resuelta

1

2Resp
149Vistas

inf y min en orden parcial

Resuelta

64

1Resp
1549Vistas

Cómo encontrar un orden total con comparaciones restringidas

Resuelta

24

4Resp
25519Vistas

qué es el pedido total - explicación, por favor

Resuelta

2

1Resp
114Vistas

Axiomatización de campos completos ordenados

Resuelta

2

1Resp
214Vistas

Ejemplo de una clase bien ordenada que no es correcta

Resuelta
Etiquetas :

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