Model-companions and definability in existentially complete structures (1976)

by William H Wheeler
Venue:hal-00445886, version 1