A proof-theoretical analysis of ptykes

DOI10.1007/BF01275470zbMath0813.03041MaRDI QIDQ1322455

J. R. G. Catlow

Publication date: 7 June 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

relational structures; dilator; \(n\)-ptykes; proof-theoretic analysis; provable well- orderings; ptyx; second-order arithmetic with arithmetical comprehension

Mathematics Subject Classification ID

03F10: Functionals in proof theory

03F35: Second- and higher-order arithmetic and fragments

03F15: Recursive ordinals and ordinal notations

Related Items

Functoroids and ptykoids

Cites Work

• Unnamed Item
• Unnamed Item
• Π12-logic, Part 1: Dilators
• Proof theory