Pages that link to "Item:Q1887656"

The following pages link to Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656):

Displaying 3 items.

• Kripke models for classical logic (Q636371) (← links)
• Maximal ideals in countable rings, constructively (Q2104249) (← links)
• Maximal elements with minimal logic (Q6161463) (← links)