Galvin’s “racing pawns” game and a well-ordering of trees
From MaRDI portal
Publication:5184703
DOI10.1090/memo/0316zbMath0559.90097OpenAlexW1976584681MaRDI QIDQ5184703
Publication date: 1985
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0316
Related Items (2)
Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle ⋮ Control design for magnetic suspension
This page was built for publication: Galvin’s “racing pawns” game and a well-ordering of trees