A generalization of the Łoś-Tarski preservation theorem

DOI10.1016/j.apal.2015.11.001zbMath1353.03019arXiv1302.4350MaRDI QIDQ904143

Supratik Chakraborty, Abhisekh Sankaran, Bharat Adsul

Publication date: 12 January 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.4350

zbMATH Keywords

first-order logic; Łoś-Tarski preservation theorem

Mathematics Subject Classification ID

03C13: Model theory of finite structures

03C52: Properties of classes of models

03C40: Interpolation, preservation, definability

03C75: Other infinitary logic