Structure of algebraic systems with a complete theory of infinite subsystems.
Structures for a logic with additional generalized quantifier
Structures pseudo-algébriques (1ère partie)
Strutture esistenzialmente complete per certe classi di anelli
Substructures of reduced powers
Suites d'indicernables dans les théories stables
Sums of Darboux and continuous functions
It is shown that for every Darboux function F there is a non-constant continuous function f such that F + f is still Darboux. It is shown to be consistent - the model used is iterated Sacks forcing - that for every Darboux function F there is a nowhere constant continuous function f such that F + f is still Darboux. This answers questions raised in [5] where it is shown that in various models of set theory there are universally bad Darboux functions, Darboux functions whose sum with any nowhere...
Super real closed rings
A super real closed ring is a commutative ring equipped with the operation of all continuous functions ℝⁿ → ℝ. Examples are rings of continuous functions and super real fields attached to z-prime ideals in the sense of Dales and Woodin. We prove that super real closed rings which are fields are an elementary class of real closed fields which carry all o-minimal expansions of the real field in a natural way. The main part of the paper develops the commutative algebra of super real closed rings, by...
Super-De Morgan functions and free De Morgan quasilattices
A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....
Superstability in simple finitary AECs
We continue the study of finitary abstract elementary classes beyond ℵ₀-stability. We suggest a possible notion of superstability for simple finitary AECs, and derive from this notion several good properties for independence. We also study constructible models and the behaviour of Galois types and weak Lascar strong types in this context. We show that superstability is implied by a-categoricity in a suitable cardinal. As an application we prove the following theorem: Assume that is a simple, tame,...
Sur la complexité du principe de Tarski-Seidenberg
Sur la complexité du principe de Tarski-Seidenberg
Sur La Logique De Premier Ordre Et La Théorie Des Catégories.
Sur la théorie élémentaire des groupes libres
Sela a annoncé une solution complète d’un problème de Tarski, qui demanda vers 1945 quels sont les groupes de type fini qui ont la même théorie élémentaire qu’un groupe libre. Nous discuterons des travaux de Remeslennikov, Kharlampovich-Myasnikov, Sela, Champetier-Guirardel et autres sur la structure des groupes limites (les groupes de type fini qui sont “limites”de groupes libres, ou encore, qui ont la même théorie universelle qu’un groupe libre). Nous indiquerons quelques outils utilisés par Sela...
Sur les systèmes déductifs dans la logique -valente
Svenonius sentences and Lindström's theory on preservation theorems
Synthetic compontents of infinite classes of postulates.