An Institution-independent Generalization of Tarski's Elementary Chain Theorem

@article{Gin2006AnIG,
  title={An Institution-independent Generalization of Tarski's Elementary Chain Theorem},
  author={Daniel G{\^a}in{\^a} and Andrei Popescu},
  journal={J. Log. Comput.},
  year={2006},
  volume={17},
  pages={605}
}
We prove an institutional version of Tarski’s elementary chain theorem applicable to a whole plethora of ‘first-orderaccessible’ logics, which are, roughly speaking, logics whose sentences can be constructed from atomic formulae by means of classical first-order connectives and quantifiers. These include the unconditional equational, positive, ð [ Þ0n and… CONTINUE READING