scientific article; zbMATH DE number 1104447
From MaRDI portal
Publication:4370351
zbMath0890.18002MaRDI QIDQ4370351
Publication date: 14 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal functorsrecursive path orderingsanalytic functorsdivisibility orderingssyntactic presentations
Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03) Preorders, orders, domains and lattices (viewed as categories) (18B35) Ordered structures (06F99)
Related Items (4)
Minimal bad sequences are necessary for a uniform Kruskal theorem ⋮ Bachmann-Howard derivatives ⋮ Two applications of analytic functors ⋮ From Kruskal’s theorem to Friedman’s gap condition
This page was built for publication:
