Concepedia
Publication | Closed Access
Model-companions and definability in existentially complete structures
43
Citations
29
References
1976
Year
Automated ReasoningModel TheoryFormal SystemFinite Model TheoryComplete Structures
Page 1