Choice functions and well-orderings over the infinite binary tree

Bibliographic Details
Main Authors: Carayol Arnaud, Löding Christof, Niwinski Damian, Walukiewicz Igor
Format: Article
Language:English
Published: De Gruyter 2010-08-01
Series:Open Mathematics
Subjects:
Online Access:https://doi.org/10.2478/s11533-010-0046-z