Fruitful and helpful ordinal functions

DOI10.1007/S00153-008-0102-6zbMath1180.03053OpenAlexW1978053327MaRDI QIDQ953278

Harold Simmons

Publication date: 17 November 2008

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

Full work available at URL: https://doi.org/10.1007/s00153-008-0102-6

zbMATH Keywords

fixed pointsVeblen functionordinal notation systemsordinal notations from belowordinals, normal functionsSchütte Klammer symbols

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)

Related Items (1)

Robust multiplicity with (transfinitely) vanishing naiveté

Cites Work

• A comparison of two systems of ordinal notations
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Another Proof of the Minimax Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fruitful and helpful ordinal functions