Pages that link to "Item:Q5855752"

The following pages link to INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752):

Displaying 7 items.

• The notion of exhaustiveness and Ascoli-type theorems (Q929997) (← links)
• Infinitary first-order categorical logic (Q1625589) (← links)
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos (Q2254569) (← links)
• The Role of Completeness in the Type Problem for Infinitely Sheeted Planes (Q4820443) (← links)
• A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
• (Q5809945) (← links)
• A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \) (Q6614041) (← links)