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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Brunner General Structures and Dependent Choice

  • Mihai Turinici

摘要

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.