2 search results for "author:"Ce Zhang""

Showing 1 - 2
  1. coq-mk-choice-axiom-and-equivalent-propositions

    No documentation

    Machine-Proof-of-the-Axiom-of-Choice-and-Its-Equivalent-Propositions
    keyword:set theory keyword:choice axiom keyword:Morse-Kelley keyword:MK category:Mathematics/Logic/Set theory date:2025-02-28 logpath:MKACs
    Wensheng Yu Tianyu Sun Yaoshun Fu Sheng Yan Si Chen et al.
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    28 Feb 2025
  2. coq-mk-real-number-completeness

    No documentation

    Proof of the equivalence of the real number completeness theorems based on Morse-Kelley axiomatic set theory
    keyword:set theory keyword:real number completeness keyword:Morse-Kelley keyword:MK category:Mathematics/Logic/Set theory date:2026-03-09 logpath:MKRC
    Ce Zhang Guowei Dou Wensheng Yu
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    09 Mar 2026