A decomposability criterion for elementary theories.
A normal form for restricted exponential functions
A note of definable skolem functions
A notion of functional completeness for first order structures. II: Quasiprimality.
A notion of functional completeness for first-order structure.
A viewpoint on amalgamation classes
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.