Simplified collapsing functions and their applications

DOI10.1007/BF01387761zbMATH Open0774.03033OpenAlexW1977767931MaRDI QIDQ687397FDOQ687397

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) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Proof theory. An introduction
• Title not available (Why is that?)
• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal
• Title not available (Why is that?)
• Title not available (Why is that?)

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)