Abstract:This course introduces the fruitful links between model theory and a combinatoric of sets given by independence relations. An independence relation on a set is a ternary relation between subsets. Chapter 1 should be considered as an introductory chapter. It does not mention first-order theories or formulas. It introduces independence relations in a naive set theory framework. Its goal is to get the reader familiar with basic axioms of independence relations (which do not need an ambient theory to be stated) as well as introduce closure operators and pregeometries. Chapter 2 introduces the model-theoretic context. The two main examples (algebraically closed fields and the random graph) are described as well as independence relations in those examples. Chapter 3 gives the axioms of independence relations in a model-theoretic context. It introduces the general toolbox of the model-theorists (indiscernible sequences, Ramsey/Erdos-Rado and compactness) and the independence relations of heirs/coheirs with two main applications: Adler's theorem of symmetry (how symmetry emerges from a weaker set of axioms, which is rooted in the work of Kim and Pillay) and a criterion for NSOP4 using stationary independence relations in the style of Conant. Independence relations satisfying Adler's theorem of symmetry are here called 'Adler independence relations' or AIR. Chapter 4 treats forking and dividing. It is proved that dividing independence is always stronger than any AIR (even though it is not an AIR in general) a connection between the independence theorem and forking independence, which holds in all generality and is based on Kim-Pillay's approach. Then, simplicity is defined and the interesting direction of the Kim-Pillay theorem (namely that the existence of an Adler independence relation satisfying the independence theorem yields simplicity) is deduced from earlier results.

Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs

Explanation of Independence

Independence of Essential Sets in Finite Implication Bases

Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions

Infinities within Finitely Supported Structures

Axiomatic Theory of Independence Relations in Model Theory

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees

Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus

Finite Sets—What Kind of Finite?

A representation theorem for end spaces of infinite graphs

Complete independence of an axiom system for central translations

A finite algebraic presentation of Lawvere theories in the object-classifier topos

Incompleteness of boundedly axiomatizable theories

Locally finite graphs and their localization numbers

First-Order Logic Axiomatization of Metric Graph Theory

Deciding dependence in logic and algebra

Finitely Supported Sets Containing Infinite Uniformly Supported Subsets

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms

Variations of Independence in Boolean Algebras

Finite two-dimensional proof systems for non-finitely axiomatizable logics

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice