Simplified collapsing functions and their applications
From MaRDI portal
Publication:687397
DOI10.1007/BF01387761zbMath0774.03033MaRDI QIDQ687397
Publication date: 26 October 1993
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03F35: Second- and higher-order arithmetic and fragments
03F03: Proof theory in general (including proof-theoretic semantics)
03F15: Recursive ordinals and ordinal notations
Related Items
Cites Work