A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP

DOI10.1002/MALQ.19840302504MaRDI QIDQ3344190zbMATH OpenOpenAlexFDO

Authors Rod McBeth

Publication date 1984

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19840302504

zbMATH Keywords

EPexponential functionsfundamental sequencesnormal form

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• How to characterize provably total functions by local predicativity
• Variations on a theme by Weiermann
• scientific article; zbMATH DE number 4031653
• A normal form for restricted exponential functions

This page was built for publication: A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP

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