Jewels of Institution-Independent Model Theory

From MaRDI portal

Revision as of 06:04, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5757924

Jump to:navigation, search

DOI10.1007/11780274_5zbMath1133.03014OpenAlexW2132027927MaRDI QIDQ5757924

Răzvan Diaconescu

Publication date: 7 September 2007

Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780274_5

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items (2)

Ultraproducts and possible worlds semantics in institutions ⋮ Saturated models in institutions

Uses Software

Unnamed Item

This page was built for publication: Jewels of Institution-Independent Model Theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5757924&oldid=30527940"