-
Combinatorial and model-theoretic properties of groups
Our work here relates to certain routes for the construction of new groups, and in particular, of counter-examples to the Cherlin-Zilber conjecture. We managed to find... -
Qu'est-ce qu'une constante logique?
Thèse de doctorat : Philosophie : Paris 1 : 2006 -
Abstract Model Theory Results in the Framework of the Institutions: Towards l...
The importance of Craig interpolation for structuration and modularity of axiomatic style specifications have been shown by many works. In order to give sufficient... -
Numéro Spécial à l’occasion du Workshop Homotopie, 20-21 octobre 2011, Instit...
This dataset has no description
