I would like to have something like a linear order on classes, such that every instantiated predicate of classes has a minimal instance in that order. For my purposes, it is fine to assume V=L for sets.



What is known about global well ordering of classes in Gödel-Bernays?
In the context of models of second-order arithmetic, Mostowski showed that starting with the theory $Z\_2$ (the second-order arithmetic analogue of Kelley-Morse) together with the scheme of dependent choices, one can use forcing to add a well-ordering relation on classes so that the full second-order comprehension scheme continues to hold in the language with the new relation. The argument appeared in his paper "[Models of second order arithmetic with definable Skolem functions](http://matwbn.icm.edu.pl/ksiazki/fm/fm75/fm75125.pdf)" [Fund. Math. 75 (1972), 223–234] and was later corrected in "[Erratum to the paper `Models of second order arithmetic with definable Skolem functions'](http://matwbn.icm.edu.pl/ksiazki/fm/fm84/fm84127.pdf)" [Fund. Math. 84 (1974), 173]. Initially, Mostowski used only the choice scheme to prove the result. 


Mostowski's argument generalizes to the theory Kelley-Morse together with the scheme of dependent choices. The *scheme of dependent choices states* that if a second-order definable relation has no terminal nodes, then it has an $\omega$-chain. The forcing is supposed to be akin to the forcing argument that a global well-ordering class can be added to a model of ZFC, but in this case the condition are classes, and so we have a hyperclass forcing (in Sy Friedman's terminology). I only know about this construction from conversations with Ali Enayat, who will probably give many more details when he is around. 


