scientific article; zbMATH DE number 7450013

MaRDI QIDQ5018496

Mitsuhiro Okada, Yuta Takahashi

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1902.02012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Termination of rewriting
• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
• A direct independence proof of Buchholz's Hydra Game on finite labeled trees
• On ordinal diagrams
• Corrigendum to: ``Inductive-data-type systems
• Hydra Games and Tree Ordinals
• Gap Embedding for Well-Quasi-Orderings
• Inductive-data-type systems

This page was built for publication: