scientific article; zbMATH DE number 4150146

MaRDI QIDQ3480035zbMATH OpenFDO

Authors Andreas Weiermann

Publication date 1991

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)

Recommendations

• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• A new system of proof-theoretic ordinal functions
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• scientific article; zbMATH DE number 193575
• Proof theory and ordinal analysis

Cited in

(3)

• Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
• Proof theory and ordinal analysis
• Ordinal arithmetic with simultaneously defined theta-functions

This page was built for publication:

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