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 structuresdilator\(n\)-ptykesproof-theoretic analysisprovable well- orderingsptyxsecond-order arithmetic with arithmetical comprehension

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Functoroids and ptykoids ⋮ The Π21$\Pi ^1_2$ consequences of a theory

Cites Work

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

This page was built for publication: A proof-theoretical analysis of ptykes