On first-order expressibility of satisfiability in submodels

DOI10.1007/978-3-662-59533-6_35OpenAlexW2954509193MaRDI QIDQ2303618

Denis I. Saveliev

Publication date: 4 March 2020

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

zbMATH Keywords

ultraproductlarge cardinalinfinitary languagelogic of submodelsmodel-theoretic languagesatisfiability in submodels

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

On modal logics of model-theoretic relations

This page was built for publication: On first-order expressibility of satisfiability in submodels