Categoricity without equality
We study categoricity in power for reduced models of first order logic without equality.
Categories with Ultraproducts
Chaînes de théories universelles
Complete and model-complete theories of monadic algebras
Concerning my note on universal homogeneous models.
Conservative extensions and the two cardinal theorem for stable theories
Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality
Construction of an homology and a cohomology theory associated to a first order formula
Core structures for theories