Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule
From MaRDI portal
Publication:5937826
DOI10.1305/ndjfl/1039182252zbMath0971.03060MaRDI QIDQ5937826
Publication date: 17 July 2001
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1039182252
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Self-reference and modal logic
- Elementary realizability
- Extension of an effectively generated class of functions by enumeration
- Classifications of Recursive Functions by Means of Hierarchies
- Enumeration and the Grzegorczyk Hierarchy
- Iterated reflection principles and the ω-rule
- On an extremely restricted ω-rule
- Hilbert's program and the omega-rule
- Strictly primitive recursive realizability, I
- Transfinite recursive progressions of axiomatic theories
- Systems of Logic Based on Ordinals†