Simplified collapsing functions and their applications

DOI10.1007/BF01387761zbMath0774.03033OpenAlexW1977767931MaRDI QIDQ687397

Andreas Weiermann

Publication date: 26 October 1993

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

Full work available at URL: https://doi.org/10.1007/bf01387761

zbMATH Keywords

total collapsing functions for an ordinal notation system

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

How to characterize provably total functions by local predicativity

Cites Work

• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal
• Proof theory. An introduction
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simplified collapsing functions and their applications