Realisability in weak systems of explicit mathematics
From MaRDI portal
Publication:3107339
DOI10.1002/malq.201020064zbMath1267.03057MaRDI QIDQ3107339
Publication date: 23 December 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201020064
proof theory; realizability; applicative theories; Feferman's explicit mathematics; feasible operations
03D15: Complexity of computation (including implicit computational complexity)
03F50: Metamathematics of constructive systems
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Admissible closures of polynomial time computable arithmetic, The provably terminating operations of the subsystem PETJ of explicit mathematics, A feasible theory of truth over combinatory algebra
Cites Work
- The provably terminating operations of the subsystem PETJ of explicit mathematics
- A proof-theoretic characterization of the basic feasible functionals
- Polytime, combinatory logic and positive safe induction
- Theories with self-application and computational complexity.
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- Elementary explicit types and polynomial time operations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item