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

DOI10.1093/logcom/exl006zbMath1123.03058OpenAlexW2104108562MaRDI QIDQ3431971

Andrei Popescu, Daniel Găină

Publication date: 13 April 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exl006

zbMATH Keywords

first-order logicelementary homomorphismcategorical abstract model theoryinstitution-independent model theoryelementary chain theorem

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Related Items

Ultraproducts and possible worlds semantics in institutions, Stratified institutions and elementary homomorphisms, Logical systems. I: Internal calculi., An institution-independent proof of the Robinson consistency theorem, Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally, Saturated models in institutions

Uses Software

• CafeOBJ