A definability theorem for first order logic

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

Keywords

@article{11339beb741f4b4f9d876b7838bbfdb6,

title = "A definability theorem for first order logic",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "I. Moerdijk and C.H.E. Butz",

year = "1999",

language = "Undefined/Unknown",

volume = "64",

pages = "1028--1036",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - A definability theorem for first order logic

AU - Moerdijk, I.

AU - Butz, C.H.E.

PY - 1999

Y1 - 1999

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Article

SN - 0022-4812

VL - 64

SP - 1028

EP - 1036

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

ER -