资源描述：
《Institution-independent Model Theory》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、StudiesinUniversalLogicSeriesEditorJean-YvesBeziau(UniversitédeNeuchâtel,Switzerland)EditorialBoardMembersHajnalAndréka(HungarianAcademyofSciences,Hungary)MarkBurgin(UniversityofCaliforniaatLosAngeles,USA)RazvanDiaconescuº(RomanianAcademy,Romania)JosepMariaFont(UniversityofBarcelona,
2、Spain)AndreasHerzig(CdmsqdN`shnm`kcdk`Rdbgdqbgdˇbhdmsh½ptd,Fq`mbd)ArnoldKoslow(CityUniversityofNewYork,USA)Jui-LinLee(NationalChung-ChengUniversity,Taiwan)LarissaMaksimova(RussianAcademyofSciences,Russia)GrzegorzMalinowski(UniversityofLodz,Poland)DarkoSarenac(StanfordUniversity,USA)P
3、eterSchröder-Heister(UniversityTübingen,Germany)VladimirVasyukov(AcademyofSciences,Russia)Thisseriesisdevotedtotheuniversalapproachtologicandthedevelopmentofageneraltheoryoflogics.Itcoverstopicssuchasglobalset-upsforfunda-mentaltheoremsoflogicandframeworksforthestudyoflogics,inpartic
4、ularlogicalmatrices,Kripkestructures,combinationoflogics,categoricallogic,abstractprooftheory,consequenceoperators,andalgebraiclogic.Itincludesalsobookswithhistoricalandphilosophicaldiscussionsaboutthenatureandscopeoflogic.Threetypesofbookswillappearintheseries:graduatetext-books,res
5、earchmonographs,andvolumeswithcontributedpapers.RazvanDiaconescuºInstitution-independentModelTheoryBirkhäuserBasel·Boston·BerlinAuthor:RazvanDiaconescu×InstituteofMathematics„SimionStoilow“CaleaGrivitei21¸Bucuresti010702¸RomaniaEmail:razvan.diaconescu@imar.ro2000MathematicalSubjectCl
6、assi½cation:03-02,03B99,03C20,03C52,03C95LibraryofCongressControlNumber:2008924875BibliographicinformationpublishedbyDieDeutscheBibliothekDieDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliogra½e;detailedbibliographicdataisavailableintheInternetat.I
7、SBN978-3-7643-8707-5BirkhäuserVerlagAG,BaselÀBostonÀBerlinThisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,speci½callytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,reproductiononmicro½lmsorinotherways,an
8、dstorageinda
