Fibred and Indexed Categories for Abstract Model Theory

DOI10.1093/jigpal/jzm045zbMath1133.03015OpenAlexW2117557111MaRDI QIDQ5436999

Alfio Martini, Edward Hermann Haeusler, U. E. Wolter

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0b1cb28a24858666f4f5464d0882ea5a4b8545ad

zbMATH Keywords

institutionsindexed categorieslogical systemsfibred categoriesGrothendieck constructionsfibred framesindexed frames

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Fibered categories (18D30) Abstract model theory (03C95)

Related Items (2)

Indexed and fibered structures for partial and total correctness assertions ⋮ Indexed and fibred structures for Hoare logic

This page was built for publication: Fibred and Indexed Categories for Abstract Model Theory