Publication | Closed Access

Model-companions and definability in existentially complete structures

Automated ReasoningModel TheoryFormal SystemFinite Model TheoryComplete Structures