Induction Principles for Sets (vol 81, pg 97, 2007)

被引：0
|
作者：
Czelakowski, Janusz [1 ]
机构：
[1] Univ Opole, Inst Math & Informat, PL-45052 Opole, Poland
来源：
FUNDAMENTA INFORMATICAE | 2009年 / 93卷 / 04期
关键词：
coherence principle; ultrafilter property;
D O I：
10.3233/FI-2009-107
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Theorem 3.7 of [1] is corrected. Two coherence principles and the ultrafilter property for partial functions contained in a relation are formulated. The equivalence of the coherent principles with AC and the equivalence of the ultrafilter property with BPI is shown.
引用
收藏
页码：353 / 356
页数：4
相关论文
共 50 条
12345