On the consistency of the definable tree property on N1

A Leshem

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)1204-1214
Number of pages11
JournalThe Journal of Symbolic Logic
Volume65
Issue number3
Publication statusPublished - 2000

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this