A generalized Łoś ultraproduct theorem
A method for constructing some endomorphic universes
A minimal model for strong analysis
A Note On Elementary And Extension
A note on elementary end extension.
A partial order where all monotone maps are definable
It is consistent that there is a partial order (P,≤) of size such that every monotone function f:P → P is first order definable in (P,≤).
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.