Research output

Chapter (in Edited Book) ()

Structures, homomorphisms, and the needs of model theory

Milne P (2015) Structures, homomorphisms, and the needs of model theory. In: Arazim P, Dancak M (ed.). Logica Yearbook 2014. The Logica Yearbook, London: College Publications, pp. 215-231.

When we look closely at textbooks on model theory, we find that there are three different accounts of what a model or structure is. One of these is highly language dependent, so that the same structure cannot be the interpretation of two different languages or signatures. The other two definitions do not fall foul of that dependence but all textbooks tie the notion of homomorphism so closely to language (signature) that only structures interpreting the same language (signature) are isomorphic. Although this follows the practice in universal algebra, it is highly unnatural. The aim here is to present a notion of homomorphism better consonant with intuition and with what the less cautious authors of textbooks say when they speak informally.

Model theory; structures; homomorphisms

EditorArazim P, Dancak M
AuthorsMilne Peter
Title of seriesThe Logica Yearbook
Publication date2015
PublisherCollege Publications
Place of publicationLondon
ISBN 978-1-84890-177-3
© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
My Portal