Prefer a chat interface with context about you and your work?
Preliminaries to Classical First Order Model Theory
Preliminaries to Classical First Order Model TheoryFirst of a series of articles laying down the bases for classical first order model theory. These articles introduce a framework for treating arbitrary languages with equality. This framework is kept as generic and modular as possible: both the language and the derivation rule …