Simplified collapsing functions and their applications

DOI10.1007/BF01387761MaRDI QIDQ687397zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 3914318 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• Ordinal notations based on a weakly Mahlo cardinal
• Proof theory. An introduction
• Proof-theoretic analysis of KPM

Cited in

(1)

• How to characterize provably total functions by local predicativity

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q687397)