1. Forum
  2. Usenet
  3. SCI.LOGIC

  • Re: Zorn's Lemma, how formalize it in DC Proof

    From Mild Shock@21:1/5 to Mostowski Collapse on Tue Feb 20 20:32:15 2024
    Cohen Forcing is just another application of Zorn's Lemma.
    When will we see Zorn's Lemma in DC Proof?

    The existence of a maximal antichain follows from Zorn's Lemma. https://en.wikipedia.org/wiki/Forcing_(mathematics)#The_countable_chain_condition

    LoL

    Mostowski Collapse schrieb:
    How about a proof of Zorns Lemma in DC Proof?
    Lets make a:
    - sudo apt update
    - sudo apt upgrade
    For DC Proof, and prove it.

    Mostowski Collapse schrieb am Mittwoch, 23. September 2020 um 02:46:01 UTC+2:
    So whats the plan for proving Zorn's Lemma
    in DC Proof? Translate FOL to DC Proof?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)