scientific article; zbMATH DE number 35094

zbMATH Open0763.05029MaRDI QIDQ3989710FDOQ3989710

Authors: Martin Loebl, Jiří Matoušek 

Publication date: 28 June 1992

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

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Epidemiography. II: Games with a dozing yet winning player
• Title not available (Why is that?)
• Epidemiography with various growth functions
• The Hydra Battle Revisited
• Upper bounds on positional Paris-Harrington games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hydra Games and Tree Ordinals
• Title not available (Why is that?)

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)