Pages that link to "Item:Q964451"
From MaRDI portal
The following pages link to Provably recursive functions of constructive and relatively constructive theories (Q964451):
Displaying 14 items.
- A semantic approach to conservativity (Q284219) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Productive sets and constructively nonpartial-recursive functions (Q1105589) (← links)
- A proof-theoretical analysis of semiconstructive intermediate theories (Q1868239) (← links)
- Fragments of HA based on \(\Sigma_ 1\)-induction (Q1920237) (← links)
- Inner constructivizability of functional structures (Q2165606) (← links)
- Interpreting classical theories in constructive ones (Q2710607) (← links)
- (Q3336725) (← links)
- (Q3675549) (← links)
- Axiomatic recursion theory and the continuous functionals (Q3717039) (← links)
- On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders (Q3800020) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394417) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)
