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:	03b70 monadic second-order logic definability choice function
Online Access:	https://doi.org/10.2478/s11533-010-0046-z

Internet