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

Article View: fj.sci.math

Article #14131

#14131

From: Ryu katsuaki
Date: Thu, 02 Jun 1994 16:54

27 lines
1829 bytes

$@3^!J$j$e$&!K$H$$$&$b$N$G$9!#$3(J$@$s$K$A$O!#(J

In article <miha0008-290594232646@dialup-1-74.gw.umn.edu> 
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?  
$@?'!9N,!"(J
> In my proof, I believe that I didn't
> use Zorn's lemma. 

$@$F!"$3$H$O$5!#(J

$@Nc$($P!"(J
$@!z$9$Y$F$N>&IJ$K2A3J$,$D$$$F$$$k$K$b4X$o$i$:!"(J
$@!z$9$Y$F$N2A3J$rF1;~$KHf(J$@$Y$k$3$H$O$G$-$J$$!*(J
$@$H$$$&$h$&$J<R2q$G$b@.$jN)$DDjM}$J$N!)(J

$@$=$l$H$b!"!X$9$Y$F!YM-8B$NHO0O$G$d$C$F$$(J$@$k!)(J
$@$@$C$?$i!"(JZorn's lemma $@$J$s$F:G=i!"%C$+$i4X(J
$@78$J$$$7$#!#(J

$@$^$"CG8@$O$G$-$J$$$1$I!"(J Zorn's lemma $@$/$i(J
$@$$$O;H$C$F$k$s$8$c$J%9$+!#(J


$@$G$O!#(J

Technical Details

Message-ID: <RYU.94Jun2165439@csosf10.kyoto-su.ac.jp>

Path:

arc1-ca.pugleaf.net!bga.com!news.sprintlink.net!hookup!yeshua.marcam.com!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!newsserver.jvnc.net!news.caren.net!news.join.ad.jp!wnoc-tyo-news!sh.wide!wnoc-snd-ss2!sakunami!kudpc!news.nca5.ad.jp!cc2000.kyoto-su.ac.jp!cc2000!ryu

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

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 10cc56,1b46a901ab84c10e
X-Google-Attributes: gid10cc56,public
X-Google-Thread: f4956,1b46a901ab84c10e
X-Google-Attributes: gidf4956,public
X-Google-ArrivalTime: 1994-06-02 03:52:56 PST
Path: arc1-ca.pugleaf.net!bga.com!news.sprintlink.net!hookup!yeshua.marcam.com!MathWorks.Com!europa.eng.gtefsd.com!howland.reston.ans.net!newsserver.jvnc.net!news.caren.net!news.join.ad.jp!wnoc-tyo-news!sh.wide!wnoc-snd-ss2!sakunami!kudpc!news.nca5.ad.jp!cc2000.kyoto-su.ac.jp!cc2000!ryu
From: ryu@cc.kyoto-su.ac.jp (Ryu katsuaki)
Newsgroups: fj.sci.math,sci.logic
Subject: Re: ---HOW to prove that Axiom of CHOICE is not used in a proof
Followup-To: fj.sci.math,sci.logic
Date: 2 Jun 94 16:54:39
Organization: Kyoto-sangyo University
Lines: 29
Message-ID: <RYU.94Jun2165439@csosf10.kyoto-su.ac.jp>
References: <miha0008-290594232646@dialup-1-74.gw.umn.edu>
NNTP-Posting-Host: csosf10.kyoto-su.ac.jp
In-reply-to: miha0008@gold.tc.umn.edu's message of Mon, 30 May 1994 04:56:45 GMT

Reply to Parent Message