2 articles
General
Embeddings and elementary maps between model-theoretic structures
In model theory, an elementary map between two structures preserves and reflects the truth of every first-order formula; every isomorphism is elementary, but elementary embeddings need not be surjective.
General
Interpretation of theories and interpretability strength
An interpretation of a theory T in a theory S is a syntactic translation under which S proves every translated theorem of T, enabling comparison of logical strength.