Pages that link to "Item:Q1625589"
From MaRDI portal
The following pages link to Infinitary first-order categorical logic (Q1625589):
Displaying 7 items.
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- General facts on the Scott adjunction (Q2139725) (← links)
- Completeness by Forcing (Q3069725) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \) (Q6614041) (← links)