Journal of Mathematical Logic

ISSN 0219-0613