6533b831fe1ef96bd12983c9
RESEARCH PRODUCT
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets"
Janusz Czelakowskisubject
Mathematics::LogicAlgebra and Number TheoryComputational Theory and MathematicsPartial functionUltrafilterMathematical analysisMathematics::General TopologyAstrophysics::Cosmology and Extragalactic AstrophysicsEquivalence (formal languages)Information SystemsTheoretical Computer ScienceMathematicsdescription
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2009-01-01 | Fundamenta Informaticae |