Choice functions and well-orderings over the infinite binary tree

Saved in:

Bibliographic Details
Published in:	Open mathematics (Warsaw, Poland) Vol. 8; no. 4; pp. 662 - 682
Main Authors:	Carayol Arnaud, Löding Christof, Niwinski Damian, Walukiewicz Igor
Format:	Journal Article
Language:	English
Published:	De Gruyter 2010
Subjects:	03b70 choice function definability monadic second-order logic
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	2391-5455
DOI:	10.2478/s11533-010-0046-z