资源描述：
《Large Infinitary Languages of Model Theory 1975》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、STUDIESINLOGICANDTHEFOUNDATIONSOFMATHEMATICSVOLUME83EditorsH.J.KEISLER,MadisonA.MOSTOWSKI,WarszawaA.ROBINSON,NewHavenP.SUPPES,StanfordA.S.TROELSTRA,AmsterdamAdvisoryEditorialBoardY.BAR-HILLEL,JerusalemK.L.DEBOUVERE,SantaClaraH.HERMES,Freiburgi.Br.J.HINTIKKA,HelsinkiJ.C.SH
2、EPHERDSON,BristofE.P.SPECKER,ZurichNORTH-HOLLANDPUBLISHINGCOMPANY-AMSTERDAM.OXFORDAMERICANELSEVIERPUBLISHINGCOMPANY,1NC.-NEWYORKLARGEINFINITARYLANGUAGESMODELTHEORYM.A.DICKMANNC.N.R.S.UniversittdeParisVIIParis,France1975NORTH-HOLLANDPUBLISHINGCOMPANY-AMSTERDAM.OXFORDAMERJC
3、ANELSEVIERPUBLISHINGCOMPANY,1NC.-NEWYORKQNORTH-HOLLANDPUBLISHINGCOMPANY-1975ANrightsreserved.Nopartofthispublicationmaybereproduced,storedinaretrieoalsystem,ortransmitted,inanyformorbyanymeans,electronic,mechanical,photocopying,recordingorotherwise,withoutthepriorpermissi
4、onofthecopyrightowner.LibraryofCongressCatalogCardNumber73-81530North-HollandISBNS07204220000720422817AmericanElsevierISBN0444106227Publishedby:North-HollandPublishingCompany-AmsterdamNorth-HollandPublishingCompany,Ltd.-OxfordSoledistributorsfortheU.S.A.andCanada:American
5、ElsevierPublishingCompany,Inc.52VanderbiltAvenueNewYork,N.Y.10017Amishermanoslatinoamericanos,victimasdeladictaduradelcapital,quecombatenporunanuevasociedadPREFACET6epresentbookgrewoutofmylecturenotes“ModelTheoryofIn-finitaryLanguages”publishedinJanuary1970bytheMathematic
6、sInsti-tuteofAarhusUniversity,Denmark.Indeed,itisathoroughlymodifiedandupdatedversionofthosenotes,whichinitspresentformhasonlyavagueresemblancetotheoriginal.Thisbookpresentsasystematicandlargelyself-containeddevelopmentofthemodeltheoryoftheinfinitarylanguagesL,,andL,,(whe
7、reK,AareinfinitecardinalsandCQ>K>A).ThelanguageL,,admitsconjunctionsanddisjunctionsofsetsofformulasofpowerlessthanKandsimultaneousquantificationsoversetsofvariablesofpowerlessthanA.L,,is,ofcourse,the“union”oftheLKA.ThebasicsemanticnotionsaredefinedinChapter1asdirectgenera
8、lizationsofthoseforfinitary,firstorderlanguages.ThespecialcaseofLo,,isnottreatedhere;theword“lar
