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 (6)

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

This page was built for publication: An Institution-independent Generalization of Tarski's Elementary Chain Theorem