Re: ---HOW to prove that Axiom of CHOICE is not used in a proof

Article View: fj.sci.math

Article #14126

#14126

From: Jim Walters
Date: Mon, 30 May 1994 19:35

14 lines
1139 bytes

miha0008@gold.tc.umn.edu (H. Reiju Mihara) writes:

>Can somebody out there tell me as intuitively as possible how to prove that
>a proof is free from Zorn's lemma?  Is it difficult to prove that?  Give

[Stuff deleted]

Well, there is the somewhat yucky method of proving the relative consistency
of Theorem+~AC given the consistency of Theorem. On the bright side, you would
be free to use AC in that proof at the meta level.

Jim Walters
jimwa@eskimo.com

Technical Details

Message-ID: <CqMrr5.MKp@eskimo.com>

Path: arc1-ca.pugleaf.net!gmd.de!nntp.gmd.de!Germany.EU.net!EU.net!uunet!nwnexus!jhgrud!eskimo!jimwa

References: <miha0008-290594232646@dialup-1-74.gw.umn.edu>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 10cc56,1b46a901ab84c10e
X-Google-Attributes: gid10cc56,public
X-Google-Thread: f4956,1b46a901ab84c10e
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 1994-05-30 21:22:17 PST
Newsgroups: fj.sci.math,sci.logic
Path: arc1-ca.pugleaf.net!gmd.de!nntp.gmd.de!Germany.EU.net!EU.net!uunet!nwnexus!jhgrud!eskimo!jimwa
From: jimwa@eskimo.com (Jim Walters)
Subject: Re: ---HOW to prove that Axiom of CHOICE is not used in a proof
Message-ID: <CqMrr5.MKp@eskimo.com>
Organization: Eskimo North (206) For-Ever
References: <miha0008-290594232646@dialup-1-74.gw.umn.edu>
Date: Mon, 30 May 1994 19:35:25 GMT
Lines: 15

Reply to Parent Message