We present an axiomatization of relational varieties, i.e., classes of relational structures closed under formation of products and retracts, by a certain class of first-order sentences. We apply this result to categorically equivalent algebras and primal algebras. We consider the relational varieties generated by structures with minimal clone, rigid structures and two-element structures.

Ulm, Univ., Diss., 2007.

We present an axiomatization of relational varieties, i.e., classes of relational structures closed under formation of products and retracts, by a certain class of first-order sentences. We apply this result to categorically equivalent algebras and primal algebras. We consider the relational varieties generated by structures with minimal clone, rigid structures and two-element structures.

This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examples. / Diese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert.

This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examples.:1 Introduction 2 Preliminaries and Notation 2.1 Functions, operations and relations 2.2 Algebras and relational structures 2.3 Clones 3 Relational Structure Theory 3.1 Finding suitable subsets for localisation 3.2 Neighbourhoods 3.3 The restricted algebra A|U 3.4 Covers 3.5 Refinement 3.6 Irreducibility notions 3.7 Intrinsic description of non-refinable covers 3.8 Elaborated example 4 Problems and Prospects for Future Research Acknowledgements Index of Notation Index of Terms Bibliography / Diese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert.:1 Introduction 2 Preliminaries and Notation 2.1 Functions, operations and relations 2.2 Algebras and relational structures 2.3 Clones 3 Relational Structure Theory 3.1 Finding suitable subsets for localisation 3.2 Neighbourhoods 3.3 The restricted algebra A|U 3.4 Covers 3.5 Refinement 3.6 Irreducibility notions 3.7 Intrinsic description of non-refinable covers 3.8 Elaborated example 4 Problems and Prospects for Future Research Acknowledgements Index of Notation Index of Terms Bibliography