Brunner General Structures and Dependent Choice
摘要
A general class of ordered metrical structures is introduced under the model in Brunner (Zeitschr Math Logik Grundl Math, 33:135–139, 1987). As a by-product of this, we show that the immense majority of all (sequential type) ordering/variational principles is nothing else than an equivalent version of the Bernays–Tarski Dependent Choice Principle.