Local methods for relational structures and their weak Krasneralgebras

Abstract

<p>In this thesis local methods are made available as a tool to study the<br />unary parts of clones (or, equivalently, the weak Krasner algebras). Using the<br />language of model theory and Galois connections we develop a link between<br />homomorphism-homogeneous relational structures and local methods, via the<br />notion of endolocality. The theoretical results that are obtained are used to develop<br />a systematic theory for the classification of homomorphism-homogeneous<br />relational structures.</p>

<p>U ovoj tezi su razvijene lokalne metode koje se mogu koristiti za izu-<br />ˇcavanje unarnih delova klonova (ili, ekvivalentno, slabih Krasnerovih algebri).<br />Koriˇs&acute;cenjem jezika teorije modela i Galoovih veza uspostavljen je odnos izmedu<br />homomorfizam-homogenih relacionih struktura i lokalnih metoda, preko pojma<br />endolokalnosti. Dobijeni teoretski rezultati su upotrebljeni za razvoj sistematske<br />teorije za klasifikaciju homomorfizam-homogenih struktura.</p>