BLAST — cawrewence New MERIEO Swany $-9, 2018. JOEL pAVID HAMEINS CITY UNWERS ITY OF NEW YoRIc TUTORIAL ON BOOLEAN ULTRAPOWEES See MY PREPRINT ALTICLE “yeu-romen gooveAn urteacowens AF Fp. newness, DE. SeAGHD, Lanse canoisae Exnbe00INGS” SHow oF HANDS FoR FAMILIARITY WITH? abana ro, 40S THEO [eae wat chadsrehs. Gerace NOT on, pamiviAeiry wiTH Merdop oF FORCING IN ser THEORY exAssieat, Sidinl ipGA, Gedeaauee “wet yuren mine Cancner Pew YoTRAR TEES ON: A Povbe-ar ro vereAntonier oll AN ARNIAEY, COMRETE goorean ALbEseA. cuassicAL UuTRAPNER — ~~ BONNER veraarower joounaw _UuTanrwe! verearivree USB verearivrer U ow aseT = cr ere ON COMPLETE BOOLEAN measvanG svBs615 oF I Bown veraarowee VM%y avcesed B uurearowee wae pV VI constavet Gooey 9 eege verearonee VEY, BOOLEAN ULTRAPOWER a Two EQUWALENT PRESENTATIONS, mar \:V> Va BUT FUNDAWENTALY THE SAME ¥ x9 (ky. ALGEsPAIC/ MopeL-THERETC APPROACH SIMILAR To powee SET UETRAPOWERS MaNsereve, OWeHAwo, Rose, CANTARBLAST 2015 paMmenS . CU pencinb-THEORETIC APPROACH CONNEC TES TO BOOLEAN, VALVED MODELS up FORCING [vores SovovaY, Sort, BELL SHows Eveny pookau VeTanpowse 15 Accomemien BY A CaNOMcAL GENCE OBTECT. REMARK --BooLEAN- VALUED MopeLS AE WIDELY RNOWN ger THe FooEAM ULTRAPOWER MVEH LESS 5° tevnuto maokes Boobies VTC wAeNIIly “Maney RESEARCHERS WRUOECLEG OE ARE NOT Awhee oF THe BOLEAN VLTRAROWER, gor ASSUME THEY Kow ALL ABovT IT, WHEN IN FACT THEY KDW any THE BooL BAN -VALVED Move APPeCACH TO FORCING. qvroriAy_goAv © PRESENT THE BASIC THEORY DF BOOLEAN ULTRAPOWEeS: © Arent THe why VeELOP The BooLemuvAveD AMPRIFCH 7? pooeinb INCWOINIG THE NATVEAUST Accor of FoREING - @ roevs preerraeey OM THE WELL-FovNDED BooLeA) VATRARDWERS My AUh wate BE INTEGRATE, COMCEPTYAL UDERSMDING « THEME Weu-FOUNOED BooLtAy ULTRAPOWERS UNIFY TWO CEMTEAL CONCERNS IM SET THEORY : REVES FoRCING AND LARLE CAOINAS To BE Two ASPECT. oF A SINGLE LNDEDTING CON STRVETION « FoR ESHADoWIAIL bee PROBLEMA WITH FoRciAty over Vv: Fee NONTROMAL P, THERE ARE NO NEVERTHELESS, y-vencere verparierees| aneomean For Exee7 FePcinll NOTION F THEGE 15 A DEFMAGE exes MOREL SATSPYINL BFC EvERY srmteweur FoRceo oven V BY I. moter, Teer 1s VAVEV(G], 6 o Y-ceweme rm FP. vielBOOLEAN virRArowees BAST ow HAMEIAS 12 START WITH A Quick RENEW OF CLASSICAL .ULTRAROWER CONSTRUCTION Ler WL Be Any ge Fiasi-onoee SToveTRE U verearivten ow Z, so USPCE). ra oO ene Fram beeen Cregg {eee J cig, =u — fi ( 3 fiex | ieee ayle)] eu pate, sted fF f REO R ce Jao feex [Merang eu oe VU o) Wh heey ce {rex lk reget —ruese fae TeTH VALvES Form Qvoneur WZ, Srevervee. te 25 THERON Wi BO(CeI,) ure {i [MAF eCeLaDp eH Lecce) EU [itaveren one m P(Z). Uiranrowen ne JM OW rote CASE runs 1s aw Gusmbarhey Eneboonl « 1s AeeAuceD *Ce dy As A Mattee oF periuon! Boolean! COMBS. "Ul Ta” Ee Facery Aen can i oom grovcrumé AO incontradte an veraapovte (WS) (Wy 7 Yh ye reaAran, CAEDICKES, wn Goverme 6 066d, wnt NOT SiMALY Tare ULsRAPONER Te TA BU TIRE SET THERE C OMNEOR Vo V%e ‘ris. Aaoauts 10 AADING fe POSIBKE Erna sTaVETvae. irs commany sno rity yuraagovens MEA Sete SEE vereanheonss grevermes WM; for bed. Ra fo MD Frew - Bor LSAT? VUTRAPROPLETS ARE A ‘yeah. Choe gf YATRAGOUEDS * By, 6 Me [ay le) we wie ViBOOLEAN ULTRAPOWERS | @) BAST 2015 WAMeinS * BOOLEAN -VALbo moves FUNUANONTASLY, A MMOp6L- THe REMC cxnpRMATAN mOTION NOT MecESeqRKY CONNECTED with FonKING o# Ser THEM ONE Cam HAE BocEsW-VAWED GRAPHS, GrOVeS, RiNbs, pAaTIAL 8808S, ETC Compuere Boousée! ALUEBAA B. MA 198A Gencenuze THE/emse 70 TeTH vawes wy B. No Lente Wive CRIs coMcErT oF Porn op Possiee opseeTs M, 6 5 pETEAMneD BY GENEOAL SET-UP! p Fiegt-oRrce LANGUAGE x E ee robin “unmnes” the gevmven raver Tne TReTd vawees af arom FoRMvits? (s +], qe), fy FG) eB < INSIST ON GOVASTY LAWS (= 5]2 Gmase compeiearon Fon FuNeTION oe Je ft ‘SYMBnS? Dae (4) gsee)agy-rn) é frre) Ls aca) <0 MD VGted) ea (eo) 0 go) [474d bs crc ase moshan Viuan eit FE ie bcaieiog Cent): O90 [ov)< fe) [3% rood = V veo (se ceunaseuess or B Het) 2 pee Mk ig eo we Jt St Lax Pos J* Leles) - Funes 15 A Kno OF CHeIcE PawnciPte 05. CrAssich VuTeAROWEA CAE UL vunAneTEA om ZT Bee (x) Powea-ser Arceed — males > fF Lees ance. (neo) Gar diez | ar veeeos foe Feaness ANTS TO? a; hax ery fli). Find Foeron ts. We BGR LH), 40)loves vereArowees \(8) Beast Bole enews FGOOLEn-vArveD mores of SET THEORY Fix iB A COMPETE Boover PbERRA cucey Bis ASSoUAMBO wink A caourch, B-whubd S6r-THepeEne VMEE Pinst, we DerMe THE Maes B= tases of Bones, t IFA Bie ie tis A Senor fame wrene o 15 A Bewane Aw bel THe IEA: Co,b>e T Mees we mT THe cBsecr MAME? BY O re we sby6er Naweo by T warn Bowen VA AT veasr b. ia ower mnt c HARACTERIS TS pemcrions Wwstere OP ses IMRome GOING ser THeoey Aur wiTH Cl cob et Cir 668 1 ter Ficee, Om Ore vatedefrmteis | Eee) Derine THE ATOMIC BOOLEAN waves + (eeod= V Leeudeh ape esed= AC greed? tree) org bans yerwte qeesge Ceede ged CHEee THE EQUMATY aAnoms foro] i : te, peed e(or7) fe-wegeeogadcend * Ten ExTeno To Ale Feneawens feayd> feo 0d 77d > 7Ce) gar ee) vet Yea) - Tey Ths ConsTRUeTS THE BootSAU-VAWED UMVEASE ye. exuesion or NAMES: qeeodBust 2015 HAMKINS MisING KEMIAA yp ASE ws AY AricHinl & arr Ty ASIN pewines ro ach TWN Qt wink tet )2e frau ack Pnoor: ver u={ B Fuviness LEMIAA V5 is eves. (ax ton)= J ecey) seme T aa ie reser: ver be (3x voo)= Vile) c 50 J awnennas ASB with be VA st Waeh aff ¥Tal) some T . Ateey Mixiny To GET t virh ae CteTe) 50 feo) > V Ce= ta) (rlea) 2 VAz bas sn B an rancin TiconsiA even! Avie af are UNE bomen ve tm VE, (serena) Peoeg: (SrETCH) fextesamaury] (ven ereren gerd RCteseqrteed 20779) a Byeede AG: geen te?) (rmem) = [vn a2 * ver ge feo At center) nD {semaner) + (Wx de V7 (ye8 > vera FO" ¢ i tte gas uge eLHyia | FeO, LTT veil} outer wanes 2 for ym me evens) concerto] pave & waar To vrer de PU) recs peng cmsectod | aBOOLEAN ViLTRAPOwERS @ BLAST 2015 HAMwINS + conser pow V Sirs sit VE ease’ wanes X= {05/1 | yey (were: vAL(K,6) 2% AMY prerte 0.) Pernt tev ]* VEe¥) Kev rts ae ww. tow nce peetged cow ve PeRP eC) Mee “supeaposiTionN oF vALES” - Fact VE ofr xe) ee ee Fendt be Pare pak NS “Taw mn oomarns #7 ae Me ein 0 nk i saomudons ap eT) gy saprenae at aM 7 xe sun arvit poor. comannans no Q/ACITES ras Dene oo Cx ey feet J? Cares # ke ND ey RO) enmee oF * ag SV Dv FO) ea up gn eer des GIN dacs men eae oe RANE CO “seueme fe Trausponming [B-vaweo Manes unto AeTVAL est -oh pee srevcreeS- suppose M 1S A BVA AAoDEN Use ts Aw ueTRARLTER NO Neep Fo Ure Be Gencele IN ANY SENSE. NOTE THERE 'S foam wwe avorear Me guitar comeuivanen smh Fonerionh, -aninies> econ Sra ine 5-4) CH ro tor ve fuld) vers = Ryl3) FF (rgd eu win (te GO) eH paces 7 RENES kos THA je M5 Fett, THEN mye (CA CAe) ree Lelie yoy eu - Paes quer vive cuasict, £25 THA. Aree tA56 67 DeFW. BooLEAN COMBINATIONS FoLrow Sue 1s An veTRAFuLTEe. ns nin ae ASBeast 2015 HAF PINS ve use. Ini vk Ser-THEsRENG CASE Oat ee Gone) ex ewnaeanl ms is wer TH sme a) Tet we Foret qeu vance aye veeo BQUAUTY AYOUS GNGUEE TAT Sy 15 A cowbBwence WAT Eu Ey 18 WELL-OFF NED oN THE GveTIENT. Muvor 195UE sown cag} 15 rsecar A feoten CASS 2 aedtevt Ii $eorTs TRICE OF REDUCED CLASS sree ag wart Saeed Ceassieh (oud t oat & tM ore non. Pee FoRM quoniest Vi, 0s THM OBSERVATIONS FoR An iis, Ger couserency RESTS” Foren > V%E e(cee) we Eecadet uw ype wee ew Geyeo chu Fe ey. Je aedes despre * is Aw inteanh BFC cous eveTtOn: e ont 0 2 ee oxen ANY rannes SESE TO FOR: eae eecen eae conmaxe OPES, eoncersuiTy” ov = te 5 Foucenbee = pe = “es necessary” iw A pEFrNAbee orion GWES RSE TO Be qy)P-1. ( rome oF iB. Mopac. L0Gte VE OT A>) oF ropes Srepyine THESE " : 5 New TYPES oF FORCING AHOM' Moda. OPERATORS: ej. Mmeimbary prancbie ODE > ¥ MOPS? Saes pases rwkr ye You ch Fob ew suc A Ay AT 17 Blcontes TO 1s Ae FACIE 0 Hs Tew ir 15 Aeaehey ee. fir Lemos vo bw poceadoes este eee, Br PhOT oF THE mULTWERSE FERSPECTE IN THe PiiLosoPHty oF ser THEY 4sSensi woanenren BLAST 2015 HAMEINS ceseoune) we consmrcten VEL, witaorr mewroninll Awt oF THe Fousvinl > THe Gésenic OBJECT Genenre Furee Awe oF A NAME pense SETS Fomeynb RELATION spore of THE Géucec obsecr im VE Chnouche NAME Foe THE ooueere OBIE 15 6 {2- Prove ® Vey eb LvveB bec » bef AtSeaDeLH8D © a. Peru (ee aes eee peep eceee) Gist ay wn ee eae iwoverion Baz ed] * (Geel Fe) oF. @ ervons reo OO: g * TAKING THE QUOTIENT Vy Z{ Cy | CTD eo} = THE lomo moe. oF ve THEREIN (VY, 15 TRANSITIVE If RELATIE 70 vBy © tr G2Lé), THe Gis V-tewene roe Ad ce. ® vie Sule) PF: D Fonows FRom CY 15 reamsine) =1. _ Cue Leet, men Crerevpeu so Irevjou aveBOOLEAN ULTEAHOWERS \(.9) * THE BOOLEAN ULTRAPOWER DEFINITION THE BooLeeW ViTRAPOWER oF V By USB THE sraverveg Mart ta, | acewg ev}, with aevaTion Ey, Atcoweaniey ey THe Goovln veTBAPIWEA MAP 5209 Vig ANo AccoMPANIEO BY THE CANONICAL eet Ca FORCING EXTENSION Vv = vy » un orpusion VCD = 7 #06) 309M THEOREM THE booLtAN vLrnApoWER mae jV2N, 1% AM getmnenrde7 CMB Prowes Ye Lye he) ire Gayo et ee Yb e(Gohyfkh) Jos 50%) TUBOREA. FRE, Fae WiNG (Ale pmeaieeier Poke Any UO TE® uck © UIs V-Gememc. @ me Goorern vireprowex pve ts Aw seman eis sree geese VOD eM Proce: 2) we U 1s V>GeNERC & Cede Vu nev gersyee THe 15 A MAPIMAL ANTIesth BELOW Qeev], © 2 THY, (t)yrJ0) - ©) pssme jis sageerve: ver ASB Ot manrine aasnethed ; G j aged bee ines Chale GA. ERRRBRE aC eMS cespys zVvAr4. 5 (BeVu- © Ix jor Du (eesg eu ir must be FACA Be QerdJe a. so Ue Meee AB CONCLUSION — MoN-gengRie (5 THE RIGHT GengaduehToN oF Non -PRAN CAL cranrertas Seine) sone contin CASING noe PeiNcPAL ULTRA ELS None eNarAt wo! GENER & NON -OEER C.sete sere 1G) BLAST 201s HAMeINs (Boneme vernarotss by centone vernarnetas MMe Ths PRINCIPAL UiTAAPL TERS ARE AcTAAT GENES on fowee SET ALGEBRAS. Lee Bers), THEW USB 6 sentmse Pe Wis Peautfac- NON GeNeric = Nen—PRtectPAL THEOREM Ie USE 15 Aw veTeAFeTER, 5: V—>%y 16 coeetsrounms BooreAY Te. THEN suAwesT oROIVAL Move? 67 j = S12 OF sheALLésT AahriMde op) auricta missep 67 A. PRoor: SYore U MISSES flardra,. $0 (ack p= Viaex) = VArt- ue wer Jarpeael so Ca), 9 ome wor jlo) Muy Kee BIS ess THI j(e)- $05 piscouTmves Ar K- vas (ye CalecLiedy Aue [er], a manana Ae soon (ackgen- g Arla | anf, 67 mind, Gor a wird covenscet, Ff SOME (dy Tite WU misses {oe e THe NATURALIST ACCOUNT OF FORCING How 16 1F Ther we war 70 USE Foaciay? Wwe ARE In A SEr-THE@ETe conTbeT, CI we Hert pe Fonctthy NeTON we winer 19 ROOT Me Now ser-THeoter A Vor Pure GSB Avo Now UNI The papruaneagr AcceOUNT of FoRcIn> snows TH IS me tr Vo ve conrenT, m wthett THERE (S mvense 1s VOG]- Aes Ts LEGITIMATE. SYNTACTIC VERSION stieaebin pou any! coupe, bonbive danke B, Tips Fount Titee? MS A She (schene) Mores. cwnoe: € ee pecoene-srusec V jen O6NECT coustats Foe Sul aber G pers new cosh: 57 prions eee " ay mvt mnovtne Meee OF BFC, COMTAANIG Ht onouins @ ee) ve vla wows Ome vavense 1s Vi6} Tet oukeicton B-men trurel ie Proof: 7s THeeny eas B-vALWe t. B THis 15 How we ¥5E fomcine. (IN 4 cowrent V. 2 SKI, “eer CSB se voeUent, Anoe w veo] Ths 6 feecserT To mvors THE THELEN. SEMANILC VERSION Fon Any IB, THERE Is A Cons mover (WV, 2) ‘Aww an erenenranr suceoom (v,€) x (Gj8) Svert THAT WY THene 4 V-beneae meree GOB ve 7296). v. THE ENTIRE EXTENSION ae ty feces THis 1s BrACTEY waa THE 1S A we] oF UNPEESTANDING wreassuas cher wnow 71s wt eonaecren warn tAnee FO] ws A caass va TNE onsbavl: 20" rrne pooveay yeTrarones. PROMES B Foner ove Vo WITT Lean V. FouNneD » cAtomuhe guabee me? Oo weUL-FoMngo BecLEM! VETRARwERS. Maan cypvesb Wy. WeNes THA ROTO ST anes, eee ty rae gorse versArower. iy 19 wont OES? (eo: Ju @ THE fooled VETeAPONER Yu ais AN wo-mooet a Aunennns ASB cm V- “ein [nenpev & bre => Abe @ U meers Ave covnthbe mann wnrabey COMPETE over VME pata Lon (AED EV 3 PRMD Abn F2- @us @ UW is wearer CoMNTABY COMPLETE LE peor: O7@~ \ or mirinh, Gore wire DOr An some. 50 Gell O-@ Fx Arfaelney 4 50 (7 lu 0 tex] -VA~ alee fan| nenfu] aby ala cnc hatts Bat wee Web ae’ s Sb ane V5 Mama, Annet 6ELW bo = er abl. 50 nee @-Ov @O-0 Ctnely lta ter bar Ltn e toed “3 beAbn#O- LET ae {M jee perme T ee [x] veel sl), « NA 7 aig wesceramne tne onousinte op Vu S % Uff Pel CDe) wr Cecoy ew ter j(eta)) € ve mise eC on vette PALLEBRAIC PRESEATATION OF THE BooLeAW ULTRAPOWER Og No KNowLEobe of FoReiNG PEACH? NovTSe SET THENY Genepruearon oF CiASsicAL YLTRARWERS FACM Pawn ser AGEBRMS “To Aagireany compere Booey ALvebeAs Ler M Be ANY PiesT-oepee STRHCTVAE Cuagsica. vernaroven: 7 ULTaArUTER ON FE, ue P@) APPLLCACT&ONS we enerions PM Seuq co free | tay-9l7} OM RUC? grerl ececany eo Corer evwneer Mt NOW, HAYE COMPETE BooLEAY ALGEBEA B, curnarcute use. Nore 1 ASB v5 mAwuae Auncil, rev P(A) = B iB xe Ve Gp esBoovesw vereapowers \(\4) Bist 2015 HMAeIS ex M, Use SEFNE —MinING ENT «FAM, ASB u 4 MAMMAL Autcciat. we gram THEN Fag Ire Vf aed | Feareglah eu cea CEA 15 A RerMEMeT } age yeee gard iw e perc (FLC)(e)= Fa) apasan peeeneur Anecttens owen Pram, 9 2 emp A commen veprnenneur CEA, cee. vere Fang iF GOGO 4 vrs pes wor econo on cneice oF Sims Pat, o| re pWB = concer oF HHL Fewverees R(Ce)) we VALE wy = me: M Ta vonent 4 Fe 1 goowsin veranrouen MAP SM 7'" 4 es xr (er) , q fi ek me A THEOREA THE Two PRESENTATIONS OF THE Boobaw UeraAcnee Ane BRUNET 4 vA Ve wl] (te \ tH fAeV. L meeps THe VAWES OF Fla) in naricatas A VA {le> Fea) ee aT 1s WEN-DEFINED Aun E-pRestinin- ais Sazecrve. Gwar Aer (t),e%u OF Pose viets rhe) wine It>X) "2° B Ger mie Ac ASEete otanrset | BLAST 2015 Wamnerus *Poweaser FACTORS Ie ASB is A manuhe Auricitn, iw (AE, B, perne verentoten Up 67: Kel, wt xShu vee Since we mar Associkré KSA wine VRE Heswein i THs sirvsnie, we He voy, i, Pty a ce ines Fl) aw A Wy (t,e fin) 24: kis wone-verite Ano Gremen HEY. rows VN, Be LF]y) {ack | vee (fale vee \({acal ve vcealf ey le [Oca eu we Yr e(Ced- B Mone GeMénpdeT THeovem ie BEA Rome's, WEN Have coMmvTAnié OInAAM de y PANG Nu < be 7 Cy [edeh, ye Wy 8 a ae n ei iy iy? (404, (Du Ja 5 by Cy [teu Fanseneasionn, bn Gudiaiie en Ty pout ad joer tag ae PE, ev, contusion THe Goovely veTeAtence ye VM I PUCErY THE grecr LIMIT OF THE System oF Vy, rn pineerés Ser oF humeians nee oe fortaser verentoe? eMenTBooreAn VereAponees \ (\6), seo Extreme cAses Us VeGeneme. IN THE CASE, Boba Uy 15 PemerPAe 50 eater ly am saomonrnise, Mer cuir oF igo ends WAN [sononeHtesin B2PIA). we ras cas, A rte Metoneeincn ANTICHAM thy arenas per j= $0 pinestes S7sTém * EATENDEE RemesenTAron “Theesten yp G:V-2) 1s deevean viraaronee by WE sien V4 teraed jc») | BOY we jleP. came VeAjterta) | PAY, HACE mse a} om OG iN Fact, 4s, sf eau pes GeV mas Le) TE) yel CdD) O CoMMUSON oF BO>LEAW YLTAARDWERS ys. CLASSICAL vermAPorees sien Ted FeVT as boon. verearmwen By WEE: THEOREM svevese. poweeser verpatores #7 O jNAT 5 somppme TO & Cubssiche Uredercen Uf OM & SEC E- © Us yecemeae Revanwe 10 A MAMMAL Came uteUy , 2A). parecer AEE wo A we eA pee USB 1s yebenous Peckmit SS wey é Vv SA pacoe: OAD svlrae if \ tee? 7 UE It ene 5 ee 2 ey - Se Hye) wire NB. HOT yest e 1 CEA, 1esFig Toya 2H? tome ey 2 Mya (0200) * acre Um bate ile rete H el j,(0050)- 5° ETc Cag OEM, tH Tye » 00 Niue » Rot v0 A CURT. > My C4.) foe FPA am