A stationary-tower-free proof of the derived model theorem

Autor:	J. R. Steel
Rok vydání:	2007
Zdroj:	Advances in Logic. :1-8
ISSN:	1098-3627 0271-4132
DOI:	10.1090/conm/425/08113
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0a675e448a6097b1d8eddca7a7c40272 https://doi.org/10.1090/conm/425/08113 Zobrazit plný text záznamu