Trees, ordinals and termination

DOI10.1007/3-540-56610-4_68MaRDI QIDQ5044740zbMATH OpenOpenAlexFDO

Authors Nachum Dershowitz

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_68

Mathematics Subject Classification ID

Data structures (68P05) Ordinal and cardinal numbers (03E10)

Recommendations

• New Computational Paradigms
• Algorithms for ordinal arithmetic.
• Ordinal arithmetic: Algorithms and mechanization
• Hydra Games and Tree Ordinals
• scientific article; zbMATH DE number 4158596

Cites work

• scientific article; zbMATH DE number 1678386 (Why is no real title available?)
• scientific article; zbMATH DE number 3920456 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Accessible Independence Results for Peano Arithmetic
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
• Orderings for term-rewriting systems
• Proving termination with multiset orderings
• Termination of rewriting
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory

Cited in

(8)

• More problems in rewriting
• Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
• scientific article; zbMATH DE number 4158596 (Why is no real title available?)
• scientific article; zbMATH DE number 4035798 (Why is no real title available?)
• Type-theoretic approaches to ordinals
• scientific article; zbMATH DE number 1746894 (Why is no real title available?)
• Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
• New Computational Paradigms

This page was built for publication: Trees, ordinals and termination

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