A proof-theoretical analysis of ptykes
From MaRDI portal
Publication:1322455
DOI10.1007/BF01275470zbMath0813.03041MaRDI QIDQ1322455
Publication date: 7 June 1995
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
relational structures; dilator; \(n\)-ptykes; proof-theoretic analysis; provable well- orderings; ptyx; second-order arithmetic with arithmetical comprehension
03F10: Functionals in proof theory
03F35: Second- and higher-order arithmetic and fragments
03F15: Recursive ordinals and ordinal notations
Related Items
Cites Work