7/30/2019 Adrian Rezus - On a Theorem of Tarski - Note 20121127

1/2

@jrf`d _mx}w

Ofoafbir`|nfg`a! nfwzbrfg`a .`dj gb}dzmr#k`gz}`a& rmc`rew bd8 Bd ` znmbrmc bk Z`rwef !06>? U\rm|rfdz ??9! C`znmc`zfwgn Fdwzfz}}z! ]zrmgnz5 bdafdm8 Db{mcomr ??5 `gz}`aav j`zmj8 6 Bgzbomr06>0 7= ||$& fw fjmdzfg`a yfzn znm |}oafwnmj {mrwfbd .fd8 Afomrz`w C`znmc zfg` rmjfifz Gbdwz`dzfd Gbrj}dm`d}_bc`df`d @cmrfg`d @g`jmcv bk @rzw `dj Wgfmdgmw @rafdizbd Zm~`w zbc}w FF 06>? ||$ ;7##69& m~gm|z kbr znmkbaabyfdi kb}r#afdm dbzm jjmj fd |rfdz bd |rbbk#rm`jfdi8

@jjmj fd |rbbk .Wm|zmcomr ; 06>?&$ J`{fj Cmrmjfzn dbzfgmj fd gbrrmw|bdjmdgm zn`z znm kbrc}a h 83GG|GGppG|GpG|p k`awfkfmw b}r Gbdhmgz}rm ?=$Znfw w}iimwzw zn`z_ #4 U3 znm fc|afg`zfbd`a kr`icmdz bk _ S c`v|bwwmww `~fbc`zfx`zfbdw w`zfwkvfdi znm nv|bznmwmw bk Znmbrmc 06 `dj " br Gbrbaa`rv ?< o}z jbmwdbz `azmr znmgbdzmdz bk b}r jfwg}wwfbd fd: $

Znm |rbbk bk Z`rw efwGa`fc .06?=& ` w|mgf`a g`wm bk b}rZnmbrmc 0? 5 gk$ `awb_mc`re 07 fw gbdz`fdmj fd `|rm{fb}w |rm|rfdz bk znm w`cm Jm|`rzcmdz . Dr$ 0=< bd Wfdiamzbd o`wmw kbr znm wmz bk gabwmj a`coj`#E#zmrcwUmzg$S j`zmj @|rfa 066< gk$ znm rmkmrmdgm U06S fd znm zm~z ` |`|mr yrfzzmd `gz}`aav fd Imdm{` wbcmzfcm j}rfdi0696 dj jfwg`rjmj a`zmr&$

Bznmryfwm znm `ri}cmdz rmp}frmj fd brjmr zb |rb{m znmbrfifd`a Z`rwef#wz`zmcmdz fw ` cmrm m~mrgfwm fda`coj`#g`ag}a}w `dj bgg}|fmw amww zn`d | im fd |rfdz$

Fdgfjmdz`aav znfw cfinz om `awb znm kfrwz m~`c|am bk `||afg`zfbd bk .|}rm& a`coj`#g`ag}a}w cmznbjw zb .ga`wwfg`a&abifg fd znm w|frfz bk `dj omvbdj znm wb#g`aamj G}rrv #Nby`rj gbrrmw|bdjmdgm $.Wmm dby cv Omvbdj ONE !0660 rm{$ 0667 bdafdm L mp}f{`amdgmw$bri }djmrjfzfbdw " c`znmwfw$&

@{`dz a` amzzrm cbrm br amww fd `w k`r Z`rwef fw gbdgmrdmj omg`}wm znm a`coj`#g`ag}a}w y`w dbz vmz fd{mdzmj `w bk 06?= `dj m~gm|z kbr N`wemaa O$ G}rrv `dj |bwwfoav Wgndkfdemaw krfmdj `dj gbaa`obr`zbr!\`}a Omrd`vw dbobjv |`vmj `zzmdzfbd zb Wgndkfdemaw |`|mr .06?:& bd gbcofd`zbrw `z znm zfcm$ M{md @abdxb Gn}rgn gbdkfrcmja`zmr gfrg` 06>< fd gbrrmw|bdjmdgm zn`z nm y`w dbz `y`rm bk Wgndkfdemaw kfdjfdi ynfamo}wv yfzn yrfzfdi }|nfw a`coj`#|`|mrw j}rfdi znm a`zm zymdzfmw `dj znm m`rav znfrzfmw$ @d `c`xfdi nfwzbrfg`a jmz`fa fd rmzrbw|mgz wfdgm `w G}rrv bdgm rmcmcomrmj Gn}rgn y`w `awb ` {fwfzbr wgnba`r `z @}i}wz fd Izzfdimd `rb}dj 06?9 06?>$ M{mdybrwm! Gn}rgn ga`fcmj .fd gbrrmw|bdjmdgm yfzn wbcm bznmr |mb|am& nm jfj dbz rm`j Krmimw Ir}djmimwmzxm . O`dj 0 0>67 mzg$& mfznmr5 ` |a`gm ynmrmkrbc nm gb}aj n`{m gmrz`fdav m~zr`gzmj znm |}rm a`coj`#Uomz`S#g`ag}a}w p}fzm `ynfam omkbrm m{md `w `d }djmrir`j}`zm wz}jmdz$ Znm fjm` bgg}rrmj `gz}`aav zb znm vb}di _}wwmaa .afemav znm bdavrm`jmr bk Krmimw 0>67 `z znm zfcm& ov znm z}rd bk znm |rm{fb}w gmdz}rv wfdgm fd zyb wc`aa c`d}wgrf|zw yrfzzmd fdC`v 06

7/30/2019 Adrian Rezus - On a Theorem of Tarski - Note 20121127

2/2

a`coj`#g`ag}a}w `w ym edby fz fw `gz}`aav obrd fd 067=$ @w ` c`zzmr bk k`gz G}rrvw wb#g`aamj K}dgzfbd`afzvZnmbrv znm kfrwz wb}rgm kbr G}rrv#Nby`rj mcmrimj `rb}dj 067: 067= zbb$ YnmdgmZ`rwefwbrfifd`a y`v bk |rb{fdi nfw Ga`fc .06?=& yfznb}z a`coj`#g`ag}a}w dj " br gbcofd`zbrw zn}w abbew fd rmzrbw|mgz ` ofz fdzrfi}fdi$Bd znfw wmm `awb cv dbzm Z`rwefw ga`fc! znfrzv vm`rw a`zmr ! \rm|rfdz! Dfhcmimd! Bgzbomr 0! ?