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

DOI10.1007/BF02007256zbMATH Open0358.02061OpenAlexW2080021443MaRDI QIDQ4133629FDOQ4133629

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (21)

• Ackermannian Goodstein sequences of intermediate growth
• A NOTE ON BUILT-UPNESS
• Veblen hierarchy
• Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
• Title not available (Why is that?)
• A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP
• Some extensions of built-upness on systems of fundamental sequences
• Trees, ordinals and termination
• A WALK WITH GOODSTEIN
• On bimodal logics of provability
• Natural well-orderings
• Deducibility and independence in Beklemishev's autonomous provability calculus
• Subsystems of true arithmetic and hierarchies of functions
• 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”
• Covering of ordinals
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Title not available (Why is that?)
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Title not available (Why is that?)
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions

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)