Pages that link to "Item:Q706620"
From MaRDI portal
The following pages link to A proof-theoretic characterization of the basic feasible functionals (Q706620):
Displaying 3 items.
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
