Change search
ReferencesLink to record
Permanent link

Direct link
Homogenizable structures and model completeness
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics.ORCID iD: 0000-0002-4477-4476
2016 (English)In: Archive for mathematical logic, ISSN 0933-5846, E-ISSN 1432-0665, Vol. 55, no 7-8, 977-995 p.Article in journal (Refereed) Published
Abstract [en]

A homogenizable structure M is a structure where we may add a finite amount of new relational symbols to represent some 0-definable relations in order to make the structure homogeneous. In this article we will divide the homogenizable structures into different classes which categorize many known examples and show what makes each class important. We will show that model completeness is vital for the relation between a structure and the amalgamation bases of its age and give a necessary and sufficient condition for an countably categorical model-complete structure to be homogenizable.

Place, publisher, year, edition, pages
2016. Vol. 55, no 7-8, 977-995 p.
Keyword [en]
Homogenizable, Model-complete, Amalgamation class, Quantifier-elimination
National Category
Algebra and Logic
Research subject
Mathematics
Identifiers
URN: urn:nbn:se:uu:diva-303714DOI: 10.1007/s00153-016-0507-6ISI: 000385155700010OAI: oai:DiVA.org:uu-303714DiVA: diva2:973821
Available from: 2016-09-22 Created: 2016-09-22 Last updated: 2016-11-15Bibliographically approved

Open Access in DiVA

fulltext(512 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 512 kBChecksum SHA-512
0770d075e365adb2d6185b1df9e1edcaae23ef5a9fd556892f5943b4e430264895dacd03e55145d688a5eb91c22e7830ccbbb11f4fd56c7981a0b048c6c7a6dc
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Ahlman, Ove
By organisation
Department of Mathematics
In the same journal
Archive for mathematical logic
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 77 hits
ReferencesLink to record
Permanent link

Direct link