LEADER 03836nam 2200757 450 001 9910816552403321 005 20230807210940.0 010 $a1-61451-932-3 010 $a1-61451-687-1 024 7 $a10.1515/9781614516873 035 $a(CKB)3360000000515257 035 $a(EBL)1634293 035 $a(SSID)ssj0001457528 035 $a(PQKBManifestationID)11903457 035 $a(PQKBTitleCode)TC0001457528 035 $a(PQKBWorkID)11441230 035 $a(PQKB)10936230 035 $a(DE-B1597)426656 035 $a(OCoLC)948655365 035 $a(DE-B1597)9781614516873 035 $a(MiAaPQ)EBC1634293 035 $a(Au-PeEL)EBL1634293 035 $a(CaPaEBR)ebr11049480 035 $a(CaONFJC)MIL808045 035 $a(OCoLC)907260092 035 $a(EXLCZ)993360000000515257 100 $a20141112h20152015 uy| 0 101 0 $aeng 135 $aur|nu---|u||u 181 $ctxt 182 $cc 183 $acr 200 00$aLogic without borders /$fedited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces 210 1$aBoston :$cDe Gruyter,$d[2015] 210 4$d©2015 215 $a1 online resource (438 p.) 225 1 $aOntos mathematical logic,$x2198-2341 ;$vvolume 5 300 $aDescription based upon print version of record. 311 $a1-61451-688-X 311 $a1-61451-772-X 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tFrom the editors --$tPreface ? Unity and Diversity of Logic --$tContents --$tOn the ?Logic without Borders? Point of View --$tArrow?s Theorem by Arrow Theory --$tHow Big Should the Monster Model Be? --$tModal Logic in the Modal Sense of Modality --$tLindström?s Theorem for Positive Logics, a Topological View --$tModel Theory of Fields With Operators ? a Survey --$tSome Aspects of the Ramsey Theory of Real Numbers --$tThe Singular World of Singular Cardinals --$tLogical Nihilism --$tThe Doxastic Interpretation of Team Semantics --$tThe Size of a Formula as a Measure of Complexity --$tNotes on the History of Scope --$tUniversal Structures with Forbidden Homomorphisms --$tCounting Measure and Forking in Finite Models --$tThe Model Theory of Generic Cuts --$tOn Natural Deduction in Dependence Logic --$tInfinitary Methods in Finite Model Theory --$tSaturating the Random Graph with an Independent Family of Small Range --$tConstructive Realism in Mathematics --$tThe Twin Continua of Inductive Methods --$tA.E.C. with Not Too Many Models --$tPursuing Logic without Borders --$tA Radio Interview with Jouko Väänänen 330 $aIn recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline. 410 0$aOntos mathematical logic ;$vvolume 5. 606 $aLogic, Symbolic and mathematical 606 $aSet theory 606 $aModel theory 606 $aMathematics$xPhilosophy 610 $aVäänänen. 610 $amathematical logic. 615 0$aLogic, Symbolic and mathematical. 615 0$aSet theory. 615 0$aModel theory. 615 0$aMathematics$xPhilosophy. 676 $a511 702 $aHirvonen$b A?sa 702 $aKontinen$b Juha 702 $aKossak$b Roman$f1953- 702 $aVillaveces$b Andre?s$c(Mathematics professor), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910816552403321 996 $aLogic without borders$92310329 997 $aUNINA