Algebraic theories with definable Skolem functions

Lou van den Dries

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

Online availability

@article{b31e787117c941328cad11845fa90bd3,

title = "Algebraic theories with definable Skolem functions",

author = "{van den Dries}, Lou",

year = "1984",

doi = "10.2307/2274194",

language = "English (US)",

volume = "49",

pages = "625--629",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}