The following pages link to Christian Espíndola (Q286707):
Displaying 5 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics'' (Q509612) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
