Built-up systems of fundamental sequences and hierarchies of number-theoretic functions

DOI10.1007/BF02007256MaRDI QIDQ4133629zbMATH OpenOpenAlexFDO

Authors Diana Schmidt

Publication date 1976

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137936

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Recursive functions and relations, subrecursive hierarchies (03D20) Ordinal and cardinal numbers (03E10)

Recommendations

• Some extensions of built-upness on systems of fundamental sequences
• A NOTE ON BUILT-UPNESS
• Publication:3475265
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Fruitful and helpful ordinal functions

Cites work

• -arithmetic and transfinite induction
• Eine Klassifikation der ε₀‐Rekursiven Funktionen
• Hierarchies of number-theoretic functions. I
• Systems of predicative analysis, II: Representations of ordinals

Cited in

(21)

• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• scientific article; zbMATH DE number 3099839 (Why is no real title available?)
• On bimodal logics of provability
• A Height Restricted Generation of a Set of Arithmetic Functions of Order‐Type ε₀
• Postscript to “built-up systems of fundamental sequences and hierarchies of number-theoretic functions”
• Subsystems of true arithmetic and hierarchies of functions
• A WALK WITH GOODSTEIN
• A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP
• scientific article; zbMATH DE number 4143973 (Why is no real title available?)
• Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• Some extensions of built-upness on systems of fundamental sequences
• Covering of ordinals
• Ackermannian Goodstein sequences of intermediate growth
• Natural well-orderings
• A NOTE ON BUILT-UPNESS
• Veblen hierarchy
• Deducibility and independence in Beklemishev's autonomous provability calculus
• scientific article; zbMATH DE number 4103063 (Why is no real title available?)
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Trees, ordinals and termination

This page was built for publication: Built-up systems of fundamental sequences and hierarchies of number-theoretic functions

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