No escape from Vardanyan's theorem

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	539-554
Journal	Archive for Mathematical Logic
Volume	45
Issue number	5
DOIs	https://doi.org/10.1007/s00153-006-0328-0
Publication status	Published - Jul 2006

Keywords

@article{c7a2dea6a5fd47f8bfd2c8a0ca0d5e49,

title = "No escape from Vardanyan's theorem",

keywords = "Predicate Provability Logic",

author = "Albert Visser and \{de Jonge\}, Maartje",

year = "2006",

month = jul,

doi = "10.1007/s00153-006-0328-0",

language = "English",

volume = "45",

pages = "539--554",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "5",

}