Pages that link to "Item:Q1812961"
From MaRDI portal
The following pages link to A semantical proof of De Jongh's theorem (Q1812961):
Displaying 4 items.
- Relative and modified relative realizability (Q1849865) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
