The Largest Countable Inductive Set is a Mouse Set

Autor:	Rudominer, Mitch
Zdroj:	The Journal of Symbolic Logic, 1999 Jun 01. 64(2), 443-459.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2586477 Zobrazit plný text záznamu