Publication:5702663
From MaRDI portal
zbMath1083.03020MaRDI QIDQ5702663
Publication date: 2 November 2005
03F30: First-order arithmetic and fragments
03D20: Recursive functions and relations, subrecursive hierarchies
03F50: Metamathematics of constructive systems
03B40: Combinatory logic and lambda calculus
Related Items
On the proof theory of type two functionals based on primitive recursive operations, The provably terminating operations of the subsystem PETJ of explicit mathematics, A proof-theoretic characterization of the basic feasible functionals, Primitive recursive selection functions for existential assertions over abstract algebras, Remarks on applicative theories, A feasible theory of truth over combinatory algebra, Realisability in weak systems of explicit mathematics, Elementary explicit types and polynomial time operations