Slow growing versus fast growing

DOI10.2307/2274873MaRDI QIDQ3478403zbMATH OpenOpenAlexFDO

Authors Stanley S. Wainer

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274873

zbMATH Keywords

fast-growing hierarchyfinite interaction of an inductive definitionslow growing hierarchy

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
• A slow growing analogue to Buchholz' proof
• Slow versus fast growing
• scientific article; zbMATH DE number 2152691
• The slow-growing and the Graegorczyk hierarchies

Cites work

• Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
• The slow-growing and the Graegorczyk hierarchies
• Π12-logic, Part 1: Dilators

Cited in

(9)

• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• Ordinal complexity of recursive definitions
• Equational derivation vs. computation
• Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
• Do small plants grow faster? Evidence from the Taiwan electronics industry
• scientific article; zbMATH DE number 1972779 (Why is no real title available?)
• The hierarchy of terminating recursive programs over N
• Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
• Term rewriting theory for the primitive recursive functions

This page was built for publication: Slow growing versus fast growing

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