Pages that link to "Item:Q4692077"
From MaRDI portal
The following pages link to TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077):
Displaying 3 items.
- Formalizing non-termination of recursive programs (Q1349246) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)