论文标题
量词完成，选择原理和应用程序
Quantifier completions, choice principles and applications
论文作者
论文摘要
我们通过使用学说的语言来为量词的完成及其应用做出贡献。这种代数呈现使我们能够正确分析存在和普遍量化器的行为。我们希望传达以下几点：首先是，这些完成保留了晶格结构和纤维的分布晶格结构，这些假设也被保存得多。第二个涉及申请，特别是辩证构造；第三个是这些自由结构具有一些相关选择原则。
We contribute to the knowledge of the quantifier completions and their applications by using the language of doctrines. This algebraic presentation allows us to properly analyse the behaviour of the existential and universal quantifiers. We wish to convey the following points: the first is that these completions preserve the lattice structure and the distributive lattice structure of the fibres under opportune hypotheses which turn out to be preserved as well; the second regards the applications, in particular to the dialectica construction; the third is that these free constructions carry on some relevant choice principles.
