Naturality and definability II
We regard an algebraic construction as a set-theoretically defined map taking structures A to structures B which have A as a distinguished part, in such a way that any isomorphism from A to A' lifts to an isomorphism from B to B'. In general the construction defines B up to isomorphism over A. A construction is uniformisable if the set-theoretic definition can be given in a form such that for each A the corresponding B is determined uniquely. A construction is natural if restriction from B to its part A always determines a map from the automorphism group of B to that of A which is a split surjective group homomorphism. We prove that there is no transitive model of ZFC (Zermelo-Fraenkel set theory with Choice) in which the uniformisable constructions are exactly the natural ones. We construct a transitive model of ZFC in which every uniformisable construction (with a restriction on the parameters in the formulas defining the construction) is ‘weakly’ natural. Corollaries are that the construction of algebraic closures of fields and the construction of divisible hulls of abelian groups have no uniformisations definable in ZFC without parameters.
 B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge 1990.
 H. Friedman, ‘On the naturalness of definable operations’, Houston J. Math. 5 (1979) 325– 330.
 W. Hodges, ‘On the effectivity of some field constructions’, Proc. London Math. Soc. (3) 32 (1976) 133–162.
 W. Hodges, ’Definability and automorphism groups’, in Proceedings of International Congress in Logic, Methodology and Philosophy of Science, Oviedo 2003, ed. Petr Hájek et al., King’s College Publications, London 2005, pp. 107–120; ISBN 1-904987-21-4.
 W. Hodges and S. Shelah, ‘Naturality and definability I’, J. London Math. Soc. 33 (1986) 1–12.
 T. Jech, Set theory (Academic Press, New York, 1978).
 G. Melles, ‘Classification theory and generalized recursive functions’, D.Phil. dissertation, University of California at Irvine, 1989.