scientific article; zbMATH DE number 4089568

MaRDI QIDQ3818328zbMATH OpenFDO

Authors Martin Loebl

Publication date 1988

Full work available at URL https://eudml.org/doc/17599

zbMATH Keywords

gamerooted trees

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Trees (05C05) Game theory (91A99)

Recommendations

• scientific article; zbMATH DE number 35094
• A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
• A direct independence proof of Buchholz's Hydra Game on finite labeled trees
• The Hydra battle and Cichon's principle
• Hydra Games and Tree Ordinals

Cited in

(8)

• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Die another day
• The Hydra Battle Revisited
• Hydra Games and Tree Ordinals
• scientific article; zbMATH DE number 4031661 (Why is no real title available?)
• scientific article; zbMATH DE number 35094 (Why is no real title available?)
• Hydras: complexity on general graphs and a subclass of trees
• Die Another Day

This page was built for publication:

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