scientific article; zbMATH DE number 3539212

MaRDI QIDQ4115145zbMATHFDO

Authors Wilfrid Hodges

Publication date 1975

Mathematics Subject Classification ID

Other model constructions (03C30) Model-theoretic algebra (03C60) Free algebras (08B20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Other infinitary logic (03C75) Varieties (08B99)

Cited in

(4)

• Preservation theorems for limits of structures and global sections of sheaves of structures
• The meaning of specifications I: Domains and initial models
• Omega-categoricity, relative categoricity and coordinatisation
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4115145)