Transfinite dependent choice and $\omega$-model reflection

TitleTransfinite dependent choice and $\omega$-model reflection
Publication TypeJournal Article
Year of Publication2002
AuthorsRüede, C
JournalThe Journal of Symbolic Logic
Volume67
Pagination1153-1168
URLhttp://www.iam.unibe.ch/ltgpub/2002/rue02.pdf