Recursive objects in all finite types » A. Gracgereayh (Warsaw) 41. The definition and general lemmas. ‘The notion of re camino ca bo extned to all Site fonction type fa the follow Ing way. Let the natural nuusbee 0 be the typeset the lower ype enti of natural numbers If a and fare peindere,_ thn (aa) 719942) he typed ofall fnetons mapping te eye ate the type f. Hence every nataral number is typeindes, and the ex reaon: the objet A Delonge tothe type wil Be abbreviated to: Lea ‘Tn the following contraction me thll age the notion of apples Hon: (sy) IE Xe (apy Feo, then (X,Y) i the vale of the fue tion X forthe argument ¥ aa (X,Y) 8). Darnmox or mzcvenranss (ot the eas 2 ofthe reais objet ‘ot tute types. Ee he tall sae mtying tro conditions: Lele Les, Feo, Xe (ap) and Tea, then (X, 1) e% 3. he clas contains the following elements: ‘the number O-of type 0 (00), te faneton 8 (0) fenesesor a amen, for ovary « tho element Pe (aa)(Mentifieator) each that for ovary ee) a we far every and fhe element (aif) (cancalatar) such that for every wea and yeh cy (eanboe Seca meester noe SE ere oes ‘lef, B.0,0.A. een in tu flowing be crear fe ame ss Petesfor eve f 7, 8th element (49) compan sue ut troy ah, ty) and #7 oy {2s ade vfoa} ~ (es toeal) for every 7,8 the element €* « (/8(y8)}{p(84))} (permatator) ‘such that for evry se (B(yd)), eA) Bey ° {Wess eo9) = teva foe ory w and fhe clement £4 (lata) ican such Wat for every «fafa and ye ® (0,2) a= (sh ah 1 fe every te aan (ann) Garton) sa Sats oyy Bea Baad eo) {0.0.4.0}, (485 018,08) = 4, (tse) We sia dal with the das 9 of polynmits Dale of the fuse (cy) ppietion and of fate sqm ay 8 bot blog ing to aah tyes. We tall ay tat thee ants yay teint in the polynomial ia sbpolynomint of Bit a Be an here exits Glee? wach tha B= Otol (it we want to ditngwth an chet inthe polynomial W, we wite Wap) IA, B,O are te ‘hpolynonils of «polynomial Wat C= (4y By thn for seven! {pes ean f: Alo), Bey and Oe. This rte af courte tote stemente yen in the pean sce thy ae oa siroma ” (SESS Sacaoa aur SSeS nine ise Yt ery « Go decrat #4 ((tl(10})}00)) aah dah for every 40) 4 ome, 8.) = (8.0.0), sa) Be mc of ene ue aby c.The pen probe whe a sein ofthe dh tH may td ye sn pre Bet a fe pee ew nt th falling oman 11,4) We) tre pln alge met yxy oe en tae cl oe ea anno ad pe Suet ete We) aint em so one Se Po Stes mE and A cat le ey o rons root by india 2) ips tat te sateen stan (6) Soe a at fn usted bys pagal We) ‘Gata pps Wey wing te spon oo ima ay ieee 2 ie ame ° Fe=lren, w Wie =(@,Wie), wins 009 and dc ot ott he ment Ta the ae ard eo) aad 8) eee Wile) = (A a} (10, Ads Goa) 1 the ev scrtig to 08 (8) we Bare We) = (@,(4, 2) = (8,0), 4) ‘has We) al sales the ler. “2 Were peal omega x bay ay tina a Ep ae ‘Peta anes wnsd ig Wi ed ire fo ¢ ond toe dene naue PA ant ie ey root hy idan Hor he plyonish contingent ences arm Sew ms tn th ma i fr ey Sopaaal Soaiog ihe amc se tan » Soe 4 pap Wey uang te tement eins hah fre: = 0, 01 wes he al Ge) sna eset han ny tu ‘Rishon tppntn: i) = (a) ana (= (Bene We) (= A a = ce) os) = (0 c20,8.2) PumoME 15.1) Whey oy 34) ¢P whe syns ae al lomente onal fn Woy) tery many Himes nd dred an ark trary ny, thon thre erate object Fe (bull from the elsnents of the nequoas 74% 2", 0°) uch at ® Wie, (OF, 2hroot by indus with rape to the number 8. Hor = 2 ie ‘enunn 12, Mow apps 0) ttm We ball rove our tsa frm I wtey saree then by Means of Pemma 12 there eos 2 Ween ys}e8 Mle dow ae "cotin the Tavis yr and fea fl a Wego = (U2 ea For W we be (9) By the nduaon hypothe; from (9) and (26 ‘re oialn() fr 0) 1] Wer end laments etinln W are ho te ete ow Toot Yrom Conon 1 of the dation of season aon 1. (on Iedtnabilt). Tf We and yy 9m nay se eet conn in Wy yn £8, Bo ay yan We ‘root By ‘Toanwn 13 thee extn an BC. auch that W = (Bri 0-s49).2) ya). Henoo according to the meaning of opaata F = (B, 9), 039) = Bor ‘Thus F498 according to 14 43 (On recursion with a parameter). 6 a ane at (09,4) ~0050 co {454 (85m) = (0s smh ts, 9). Proot, For WO, 1,)= ((¥s 0; a) (e 0) By means of 3.8 thee cc Era aM Dene) ° aay {Us Meo 8) = (ess A] cot i sea » = 0 eR Seeing (pom e a (8m) = (opm teem) Renn ascering (8) fr a) (4,9,0)= (04 snd by (12) (08) (69589) =f (85) = (les (vse (095 (2,9) ¢) = (0,0, 9} 9 (28) and 24) Have {Tine in ot oman Dhan son Ca a Yt eo je ae yee " 23 (om pure tration). 1f a, DR, tw Gare ete ge5R such hat (G50) =a and (8, m)) = 0s (a): 1,8} actonting to (8) and (7) sates the 28. Bor exuy = tare snot am °K (pare trator) ewok tat W «(alone if ea and (as) hoe (U9. t0) =a, (er 0) 2) (8,09) = (0 [5 0) Bem root, 1 i ew fr (2 (84). Tunoxsae 24. For eeery primi reoriv fmcton fof one saree ere ents om objec PR eh a as) Fm) 10) Proot. Pit ws shall find the %2-bjets conesponding to sane svodalserilary fenton: P {pede ty yy YB (esaymo ant (Peed) lune sm) to). Henn by (7) P= (M0). (4,0) m4 amd (+, (8, )} = (8, 8), (+,0)) = (Hs (8 8), ) (bes theatre + = [05 (8) by Tou (4,9), a) a ety Sty (2, O) =F and (oy (8, mh = (li @. Pia), wane by = = (05 618 PI) aed (rei ma= 60) = 0 Fa) = (8 2) a) Iwecase (ym af = (4s Kos deaf w) = [((@s sss gh 3} = (0, (0-5, 6-5 9)fex) as (7) =m (0) (8s BY, +9) tnd (6y8),3)— ay. Tat we yy tiny, Pot ~ (8 (86) (6 (1 066,» then (Po) 9) =. We pata — [8 (Bot, 2 8) and A= (0,8),B; hen (ya) = HHL, Hence: Y= 0 and VOSA = [/09-4} =m) + V=([+(=68m) Ba VR) Va} According fo 1 there exits an J, oul tha (mt =((( 0% Benes YER) = (Fh, Va) and Y= (0) Fy) Blo 2 Ve (Pot, 2), (y-yaiy aft thea scording to 15 thee extn an ‘at (9) =)Accra to B: Me Robin (9 the dis of piitve seave uncon ftatrl one fe tho malo cu containing 8, and lvl ede operpstony aon and tert. Wo havo ou ira {er Seat Bow stpon at stain (1) an snry (0m) =p hen (= (6) ~ (82) of) +40 (Pym Gs yn) or vn He secnding 10 155 and (0) = (0), 7) 9 Soong te 25 ‘monn 2.3. For erry pride erie fein vu sth ryote or site an Be eh at om 8 tse) =e 99 root. Yor thay exits» yinilive swonive fneiong with ow segue sch at an Hy) =A os Bas mols sar Poe, 9) = 241) hen Pata 9) = (2) (Bots 92) (8 (2a) “Hance by 1.5 thar exists 6 Pa eR such tat a8) (2,3) = Pale,» Accordag to 2.4 thee exith aR enc that a9) (m= H10) From (TH) wo cba a 9 9) = [0 (0 my oy (Bay meas al. ins (flow fan Ls 2. Patrng functions and slultancous reeueslon. Now we ‘0a tin the pg net Pa an the convene feetons Po Sd Sat tying he gun (Fer E09, 9)=2 soe se, yeh, (Set, (0e%,0) a} fr nea, yep Pint we define mata fein (e090) ® 1) cued tat for sea, yep ions ee it a nee ” ence th Sgps ol thn shnnts wl be the foowngs Po olpote il), ay et plo, Bay Sad e(pla We pur #100 23) 10,0) =a, B28) = (ra, 7B 8) int we nod the constant function for every type yo, Ogie0, for every 26a, ‘and the paling fonctions for nataral amber: Put =Pa (dena in (18), ai] ‘Thay belong to 2 according to 25 and say (20) and (21). Now we ete the indie ‘Beery type a ean Be represented in the form ‘sua = = fst) at td (PH Ue Bes) gy Ba PO ts lo at =i", Bly Bad iit Ath 806 (Yu lh Bat = eon AB ey - s Saat — Aen On Bly Pur — day Ay gn (Pa, (, (ERE, 2) fy (804), at —dasunnen [PH (y (, 0), 0), Bnd — Saini a, (00% 09) TR eR A 4 erm «nh Oa He md me) 23)o ‘tunoni $1, The elements Pa, Bet ond Sad Bong 1 5% ond satajy (20) and (3) ‘Proot, Tt is evident that thos elements satiety (21) and by 15 ‘thoy beng to" Tt renin to prove (20). Tho proot Is induetive. For pat of type 00 the faa property of ating Fanetion. New ‘we caine th pair Ox and a: ae, fee) 1) = [et (CPW, 04s ay ny Bal) = {Bat (Pa 3] =A Aid [OPN fer 9 ll ig Hts Bo) 4 a) (ewe a) =a a 0 Ae Mf Ya 1 Ha) = fos (en (e196, "0 ‘Then supp that (20) tue forthe pie ay an ds we shall ) tek fo the pal (8): rate, (Pa 0) o sells) = tae (so OH i 08 (8% 0), pe (om). a 0 0) = ae, (04) = alas) =, (ome, (a snl) = tat, iP fe ME, 2) oa), (B40) (es 6) 84% 0" 9) = Ha, (Ba, (2, (95 a) = dag, ~ 9. ‘(8 ofr al pis of. te et te pee a SumoR 9.2 fon simultaneous reumles). Tf ay ny eR and ret Pies Bee E and Boel laced el} ta yoy gee and 15100) ire ve fine aI (41,9) 44, (40 18,8) (4 2) Proof. We define by menus af pare ierton 4 fantion y: (6,0) = [Po 5» (Pay ses (68,8) ~ 0B, 7.) (Bay asl ve (le sets), me tl), 84, S08 A) iy 22 and 82 ge and (a2) = (Pam), (4) — om id + eas = (Pa, (do 0 8) I) (a8) = (80a, (84 1g) }) 4 Am equtvatent definition, Te sls ‘2 may be charactecand ‘ baying only 0, 8 and 7" ay geratrs and being oleed node ei penton, "Tuponoc 4. 2 6 the ama dats containing 0, 8, and I for ery typo and loved under he fllocing operations ‘a Peay Mon there eos a @eTb eich a Jor ery 268 es) y=; by Pex lpi) hw Bow ete 8 G8 flys) ed fet for ony Bas yeBeeey (20) M202) = (Pradesh & for evoy 3 8 (8) and 058 (af) her ets a TEAR (88) such ta for every a and 98 ‘an (2, 2), 9) =(F, (213i). A Greg A for ur <8 (ay) Mare eee wD eR fat) and ft for ewry Bee ad Ve (2, 2), 9) = (OP, as sho) for exry PAR (of) and C052 (a0) ere ent as He fol0P) eh ha for any Cea ond (a, 9,9)= 09, (2518, m) = (44 8) fl 09 eo £ for eury Pen (0) ad GR (Fs 6) eR. Proot, Yom 18 jl i fll imately tht sho cae sates tho conic act Overly arin tom Act we can ex ‘oe he samen #0, 27 7 nad Brom fli ht fst exe 8 ach tb 8 {eC he 2h wh) = [ls ahs} 2] = Ul od) 1 bam he prtting ely a 3 Kloet esta) = (Us) (0, 9h a) = (6s, (9-9) = (ats 9). 21,9} = [Gs 90-2} 04} > (es. 9} =((ershsha), te = (6,8) 4 From a, we infer that for here oats 8 aaeh that (9) = HU =Hssb ah ((C.A,ah 9} leah y) tor Hote) 2. Brom ai falls Eat for F theo exits & # nach Hat (258) 9)= (Use abea] =e 9h A. Yr every the sleneat may be ont in the flowing ‘ray. ot it ono that sing ema (9) we ca aba al ve ‘eanive fio on mast oumbers Tham slo Pe, Rat, ant Sad Henco by meant of the preceding rie Invelving 1. wo fist {hat fur evry Sype a and J the elements Pa, Hw", Sad dina 4m 3) belong to. According to 8 or the tyer a and f= [Oe rina scuire ete sant tae MO He Reon te tte ee ns fhe oman Pa, Sal sty (0, and 2), impintat fe Pome" tnd =n” the tan an Hee seating ‘om (0) an (0) flows tnt er ovay bea aad oe ae (0, (es, ),4),0)=0, (8,9) 850) = (ms 69a) Hens ting 8 wo porn nti tha the lent =, 2 2), P) ‘tte (Boon (0, 010} = (es @, 20), 9c} = 0,274, 0) 6 = (es, ¢).0) 4, Recursee functionals taking nataral values. Now we suai coder hat of rosmive teenie Ploy ri) of many ‘Srgamens araning cry satan noms at vie, Tho tyes ea Sidered wil be the folowing: Othe pe of atual notin fiery te Np then Gyn) Ue gp os unos me ‘ron muppitytbe oat snes natal numbers We sal {eine the reurive foetal Zor al Thwe type 34 (Whe dtnn) Th clam Reef he tales as which cow ‘tains 0, O(s) = 0, S(a)— +2, and for every type T= Cty ay ty the ‘Seen Por wash 0) Hy Say) Bd sd cone sader the flowing conan: SitPeterne and t= Gyo), ted Oe oxate 8 Ge Ree sua iat fr vey #9 ad Be fe Gu oy 16,95 9) =POiy =e it PeRacrs and FG; ep0ytn on %@) then thre ita 4 Gee mah tat eyo) gon) hal far al een 95 tease ele Dee oy 056,984 86) Fy 09 ‘his conion cmp the cae inwhich F has only thee aguante = Gy e,o) fot 82) then neues Ee or ey Besa 9) = Fees ys 0 tial ie sane) tl fe entation pes sro of Wn ney ng peg natn4 A. Grvagoroere tr ovry FeBse 904 CeRe00 (0040400), ye ony) tad “ae esendy toon there exitbe an He Tem Ge gy rym ach thet So al elton of auto pee (85) ey any 0) Ps en 9924 9B My ‘a condition cami ako the sao fa WHER © = (0) oF Be dy 0) fd = 0; thin giver fe epi cases oo Ho, 9) = 0) 955)» 3") Hey oH) = LBL Hy as a sry Hie,s) = (Ole, 9) tr evny F «Tee 6 0,647) ) theme late a He Ree Gai estiennt) teh hat ay Hey 0 8a) = F105 96 YB this comition cormpsies alo the eas in whlch has only Cen gy fuente Fee 8) wey Heyy) Fleyy 9); fr overy Fe en 9 Gy ay) Ad Tee 9 0) Gs DY ‘hare exit am Be RO (Dyan) A Sa (LB yon) FUE sy Ht 901) oe 9828 ‘his condition compe aso the cas in whieh F has only one angumest ec; han seer (85) has the form: HU,0) =P, iw) =O, Wm) 01 tor every Peet (nyt yt) and Ge Rane there ext Heme Gyny te) sed Be (0) Bey ny 8) FCB, tyes ‘hin condtonscompies sto tho tava a fm which ik faneion fone argument P (=) and Hie nataeal numer: (3 H=7@) as) es) {71 een te din fh da nit semive fanaa tera tesod tt tagsng tf Sasion to me ony ep ote aa ena nel aa ~ eine tet ate ee co omark. Wo do not nied to apelfy caain other special cae, which are natal with sopand to the expected atalogy with the char: ‘eteveation of tho cass 38 In 44. (Ths analogy wil be the object of ‘orem 6:2.) All naturel special caste folow fom those mentioned in ‘the dtnion, Hart the fonction Pa) ~a may be defines by wang (80, (86) and (31: namely 2) = 10m) whore 11,0) = 000 He m4) ~ Blt 0,16 2) seh m9) =i 9) ~ scoring to “hpi onan wif O chan in Sin sna fae tins ter k But every Gray be deed seg Oe) (8) snd (8), Of eo Ee) = B40, whee ise) ~ S| Os) a8 As regards condtion b. it may be remarked thst in order to per ‘mute the later arguments (aot oxy the seond with tho tidy 6 ale Ime hy (3)) we iat fst dine the pang fnesonn aang tos join the preceding arguments in one. Te may be remarked also Unt the fenction 1) = a8 wall af the other peaitive recusve functions of natural nombeny many be obtained hy ualag achama (85) withoat wang the simplified form (35°) Fence without (35) we can obtain the pring fonctions and we can Slow tant (85) may be raced to (3) aeordng tothe following en: Ieee by (8) then In) — In 0) where: HT 0,8) = BO), sod Hiya, a) = Ge, F(a as ow eo shall compare the present notan with the previous one ‘We ahll show that they ae aomorphic. Fis ts enay to sce shat there felts 8 onetowne comespondenon between all fmotons of many ‘ngunentssaruning natal valves which re are considering and all faneione of one angoment considered in the preoling setons. Fist sve estaeh s onetovone corerpondence Delwean the types H0)=0, 1 a fe (eg) ahem ee) = Cans > (ay yn WT BO “yom deveibed a Seti i). "For n<0-wr pat Pls) = Mow, if/ i «function of ono argument, Je according to the aotation of Seaton 1 and «— [u(0e0) ly then the corenpondig eameat (81) PUNT pss Kel = (le Pandy ‘amie 62. f «92 = «Resroot We an he definition of given by 4.1. The mapping ¥ ransfome the liga slomenta 0,8, of the clas into the inal cio 0,8, ofthe ca ce. fv i eident that 0 ~ (0) and STC. he toma PO = 1 talons fom (3), (9) an (0) PUNE Keay i =F Las 4s [Ly PAA) = PUP Tas ag) Zeal 1 Leg) = Pn Kons 9 Le) “Now wo al prove that an cleat Mf 88 obuind rom and @ vy mans of on a tho oprsion at mentioned fn 4H and ony it ‘YU is obtained fom ‘PUP and (6) by mens of tho comming Gpoinn eck mated a 6 ‘TU «Sve and PU «es Deades ste (25) and 0 sti fa (31) wth he bation FPR), thes @ = ¥(0) Tod, i (a(t thn 2) (31) and (81 sy hat (65) 9] (Py onde] = PELE os Pl) = (PO, sony Md srhece hy Gt) @ = HO) 2 TER «Ralf, 9 (ll, PR) cae, @ asin (2) a matt (62) ith he sotto, then @ = 40), hed, (26, (7) and (32) Kap that ( (2 aha vm) (sats ab ts) = PUMP 9, PE), loo los = AYR (a) Bis, PU), PlsH) 5 Pll)» vise senting fo (01) 0” = P0. o. HF eR (7), Ge Prfalfy)}, H sutisfios (27), 6 = (8.(&0))}, (9B, Whe a and te (wit nbtiai P and G)F(G), than 2° PU). Wot It we note hat (3) lis the uliton (2 0529 oo) as 20) = (( eft 2 sha) 0) oo = (69) 9, 9), ns UE) = PONP, PY), Biss 2 He RESO) HD), 9) ny Ll i oy Bas ese oie et oe pes a ance (98) (a All, 2, 9} ) 10, Ig BGP), PVD Bas ms ow it ‘the equalities inlet) the formula (2) (7), (8) and (9) nig (tea, (es (2 aoa) nr) = (rm 2a(@s 20 tas e))o) oo) = very, A 2), ey ot FO HO) ey I ay By Bs Pos PE = Eo) Fi) Fs 5 tos = ¥4aN by (80 4 tt PeSe-alPr)p ¥=fnlelsOi} POR eRe, D saison (29) ana aati (94) withthe onbaiaton H/F), then HF = PD) (29), (30) no (34) imply Wat sabato) [lta sh ah ome) = HEIL, PE PEs Bly HU =H), Pi), Pods vehene fod I= #10). fF ero, GR (olOKB)} = (Bil-Kbt Hatton (20), V8) «ec, #0} «Racy sad HY sas (99) with te sboittion PnP man 2G, then HP. Kadod, tom (20), (8) (88) and {de} we ost te sgualies (at, 0) ny) = msn) PRN lod a) = I, By Uy (ae). 48, 90) 8h oo a) = (0s 2 moma)(ota sn 9 homo = #100, 0), i a (9 oa al) Wy laa) = PUG, Pm, AU, AU PADI 9) Tay Da) my = #169 ( 5m A AVe AE, 9), WHT oy AAU), anes suporng tat 89) (2.9, 9), ony ne) 240, PH), we ota (at, 943}, a) = POEs WAT AURAL my Uy oy Dy Cds ny Pea) HEI 9, Eo ls hus by Indusion we find Lat esi (8) i tue for every we; ‘this means that 2 = ¥(H), ches * EM PER AU Ge n05F —[flo(bO), WOR) eRe, PO) ee aH psn (0) with the wabetation 707) sad GF, {ben H'= (2,0), Taeed (37 at (6 ily that (Gm), mo} = FUNCT), Pim), = (4) 003 + #lo ence 3 = YF, which completes the indneive poot (he special cnt fr n= 0 or b= art evident) at pracialy tho reste ejecta of Seetlon ‘aay be ented with ch rerio fasetionsls defined in Section $e presentation of Bectin 5 ls mre convenieat to eompaty ou notion ‘with other notions of reeueveuer (2S in pint em ft a vst Tits 86 salons of fheorom 8 orth pane secure bjt Seed eon cea ions re hai ate pee ot KE be the elas of pinion seamive funciona tne by ie (5 ei vient that 83. KRE Rec root, ho ony itiuky fe comacted wi the pony of yr sauttion ot aogunets Lat bon pensation ot Ihe Met Seument 12 y() blogs to Be hey ine take ¥y)aeaning to thre extn anf 8 ame ne (Fyn (9 Bon sree byway 8 permnlation of or a0 etepeding te th por Tatsuo of W avo Hence by Bat FEO = vy ‘us renank Immedlaaly shows that Ihe ate Ra ein S18 of lee) “hu there eno rsd convene indus. Aten the dla of tustons on nal number fhe cat oan thn Ky bens i conti fenetons tied by eae ofthe male eras chan ‘othe clan KR onal only ene recive funn ona Taber. Tet @ be to fonsion Uoed hy dtl tecuun by MMe ovine in © €0,9~ 400, wo) 8) 68,0) ~0, (i) 6,83) ~ Gn, Ble, G80, =, vse a ase some primitive rcasve facto 02. GeReo end Ge ER Prot Ms wes part of 62 flor rm Klos Theron VEE «(Sh tenner not pnts Tearve a was Brewed By BM ‘ote in (8 "Wo wont futon Gi the flowing was: Wo stk by Han) = at. Using (1, (38), and (3) we obtain Pra Wat (ay ‘hen Dy means of 83") wo obtain J ste tant «a Hees 9,9) =14B(@, 95 ‘we permate the argomonta nthe same way as in (At), and we abla g ch that 3) Wye, 9) =P, 6) Pe, 2, 0) Pe; a2) —He,2) =a, lay ay 9)= fens (PKR ar lo yin secure he te ira ovina nt ‘aay St tle neat ypeo Aan tw by fhe Fada sete (857) we Mi 27 snc cat Hla, 0) = Ne) = 040, 0) = OE, «) = Of, 2-0, eB) = ale) 70 les) ovals (63)(44) imply Ha) = 0, He, 8x) = eae, a). ot, ssng (SI), we abtan Hsueh that BG 9, 2,4) 1, 2) a a 0) oy "The moat ements the following dition yma of (83): 04,042) = A',2) = AC), 4,2) — HP sm 9) 8} IRA, 2 9 ‘hen wo can prove that (0, 2) = 60, wa) sitios (40. () is evident, (i) follows imnaedatly om (85)-(47). 6 prow (i) from (47) ad 48} ve obtain an (48) 180,83) = His, 31,83) 12010, 0, (8,10, , 2), 3)) = 0. [x[s, 112000,» 2) =o, Ble, 122040, 9,03), (i oto fom (7) ad (4) On the other handy ths class SB of sesame objects may be. com: sidered at identical with the lat ef rouse fonctonal mentions 2y Ghd (3) andrei! (0. (hey also remarod that the fonctions recursive ahem (ior notation (11) inlade “ll ordinal roemve frnedonla of rdet 9)+(l9--r1 pn)» fon troa)-ato ved so nol to maka the towing property of co ath {5 (Ganon tna) 1) 1549) eR fo el (oP) 80 loo), an She eit 80 Bea of) aed tat Misa nt) whem — (If, 4s ey th Nias Ds ye) whom —(Ujy Hide yaa} HO ‘nus popes sete fom Land 25 to lowing way. Zab = (8 Lo}; then (62) tmplce shat ™ (hd, npl afoot] — {lt 2i oy ame) (A(t sa + (yas af orn (R= (oso eos 26 and 8 imply that.) oo sy Taso te gra nel opt the aon th la ct a hwo Sop, fe 38 ical ar at al ie pe s ea] HB: ates ta Foyt Sse ing nd he fom (3) Kiet Oe vn rsh wi nate Braun i ie Sd ‘pnt Da Set 18 tp ab a (4) Ciena, On te teen of antic sinker Bry, aa ot smal ote 8 (94) pp. cela a nt tion te, Tans 4 an pe an. (0) Prin ew feng, Ball Ane Math, Sou 5 19T p.S.2, opt print te 7.181868