An elementary definability theorem for first order logic

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

Keywords

@article{e8fa86cf00444c2a801cdfa03fc2919d,

title = "An elementary definability theorem for first order logic",

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

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

year = "1999",

language = "Undefined/Unknown",

volume = "64",

pages = "1028--1036",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}

TY - JOUR

T1 - An elementary definability theorem for first order logic

AU - Butz, C.H.E.

AU - Moerdijk, I.

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

IS - 3

ER -