scientific article; zbMATH DE number 35094

MaRDI QIDQ3989710zbMATH OpenFDO

Authors Martin Loebl, Jiří Matoušek

Publication date 28 June 1992

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

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

unprovabilityrooted treeHercules and Hydra gameKirby-Paris theorem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4089568
• A direct independence proof of Buchholz's Hydra Game on finite labeled trees
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• scientific article; zbMATH DE number 4031661
• Hydra Games and Tree Ordinals

Cited in

(9)

• scientific article; zbMATH DE number 7730 (Why is no real title available?)
• scientific article; zbMATH DE number 4031662 (Why is no real title available?)
• Epidemiography. II: Games with a dozing yet winning player
• The Hydra Battle Revisited
• Epidemiography with various growth functions
• Upper bounds on positional Paris-Harrington games
• scientific article; zbMATH DE number 4089568 (Why is no real title available?)
• Hydra Games and Tree Ordinals
• scientific article; zbMATH DE number 4031661 (Why is no real title available?)

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 Q3989710)