The following pages link to (Q4250050):
Displaying 5 items.
- Intermediate logics and the de Jongh property (Q627438) (← links)
- A formal system of negationless arithmetic that is conservative with respect to Heyting arithmetic (Q1064322) (← links)
- Note on extensions of Heyting's arithmetic by adding the ``creative subject'' (Q1306822) (← links)
- Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)