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

被引:0
|
作者
Czelakowski, Janusz [1 ]
机构
[1] Univ Opole, Inst Math & Informat, PL-45052 Opole, Poland
关键词
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 条