Cargando…
Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics /
In 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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
De Gruyter,
[2015]
|
| Colección: | Ontos mathematical logic ;
5. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn907260092 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 141112s2015 mau ob 001 0deng d | ||
| 010 | |a 2014042126 | ||
| 040 | |a OTZ |b eng |e rda |e pn |c OTZ |d OCLCO |d MYG |d E7B |d YDXCP |d IDEBK |d OCLCQ |d DEBBG |d OCLCQ |d OCLCF |d OCLCQ |d MERUC |d ZCU |d ICG |d VT2 |d OCLCQ |d DKC |d GBT |d WYU |d OCLCQ |d OCLCO |d UKAHL |d HS0 |d UAB |d EBLCP |d DEGRU |d LEAUB |d OCLCQ |d NGU |d VLY |d UK7LJ |d UWK |d SXB |d N$T |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 908079311 |a 948655365 |a 995023305 |a 1055354563 |a 1066455920 |a 1155995440 |a 1162551594 |a 1164887812 |a 1166143711 |a 1170976358 |a 1172023552 |a 1180688185 |a 1228600757 | ||
| 020 | |a 9781614517726 |q (hardcover) | ||
| 020 | |a 161451772X |q (hardcover) | ||
| 020 | |a 9781614516873 |q (ebook) | ||
| 020 | |a 1614516871 |q (ebook) | ||
| 020 | |a 1614519323 |q (epub) | ||
| 020 | |a 9781614519324 |q (electronic bk.) | ||
| 024 | 7 | |a 10.1515/9781614516873 |2 doi | |
| 029 | 1 | |a AU@ |b 000062530143 | |
| 029 | 1 | |a DEBBG |b BV042992025 | |
| 029 | 1 | |a DEBBG |b BV044066836 | |
| 029 | 1 | |a AU@ |b 000074355144 | |
| 035 | |a (OCoLC)907260092 |z (OCoLC)908079311 |z (OCoLC)948655365 |z (OCoLC)995023305 |z (OCoLC)1055354563 |z (OCoLC)1066455920 |z (OCoLC)1155995440 |z (OCoLC)1162551594 |z (OCoLC)1164887812 |z (OCoLC)1166143711 |z (OCoLC)1170976358 |z (OCoLC)1172023552 |z (OCoLC)1180688185 |z (OCoLC)1228600757 | ||
| 050 | 4 | |a QA9.7 |b .L66 2015 | |
| 050 | 4 | |a QA9.7 | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511 |2 23 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Logic without borders : |b essays on set theory, model theory, philosophical logic, and philosophy of mathematics / |c edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces. |
| 264 | 1 | |a Boston : |b De Gruyter, |c [2015] | |
| 264 | 4 | |c ©2015 | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Ontos mathematical logic ; |v 5 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a From the editor; Preface -- Unity and Diversity of Logic; Contents; On the "Logic without Borders" Point of View; Arrow's Theorem by Arrow Theory; How Big Should the Monster Model Be?; Modal Logic in the Modal Sense of Modality; Lindström's Theorem for Positive Logics, a Topological View; Model Theory of Fields With Operators -- a Survey; Some Aspects of the Ramsey Theory of Real Numbers; The Singular World of Singular Cardinals; Logical Nihilism; The Doxastic Interpretation of Team Semantics; The Size of a Formula as a Measure of Complexity; Notes on the History of Scope | |
| 505 | 8 | |a Universal Structures with Forbidden HomomorphismsCounting Measure and Forking in Finite Models; The Model Theory of Generic Cuts; On Natural Deduction in Dependence Logic; Infinitary Methods in Finite Model Theory; Saturating the Random Graph with an Independent Family of Small Range; Constructive Realism in Mathematics; The Twin Continua of Inductive Methods; A.E.C. with Not Too Many Models; Pursuing Logic without Borders; A Radio Interview with Jouko Väänänen | |
| 520 | |a In 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. | ||
| 546 | |a In English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 600 | 1 | 0 | |a Väänänen, J. |q (Jouko), |d 1950- |
| 600 | 1 | 7 | |a Väänänen, J. |q (Jouko), |d 1950- |2 fast |1 https://id.oclc.org/worldcat/entity/E39PBJbRh4tWTMPggTwp7BJv73 |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Set theory. | |
| 650 | 0 | |a Model theory. | |
| 650 | 0 | |a Mathematics |x Philosophy. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie des ensembles. | |
| 650 | 6 | |a Théorie des modèles. | |
| 650 | 6 | |a Mathématiques |x Philosophie. | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics |x Philosophy |2 fast | |
| 650 | 7 | |a Model theory |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 650 | 7 | |a Mathematics. |2 hilcc | |
| 650 | 7 | |a Physical Sciences & Mathematics. |2 hilcc | |
| 650 | 7 | |a Mathematical Theory. |2 hilcc | |
| 700 | 1 | |a Hirvonen, Åsa, |e editor. | |
| 700 | 1 | |a Kontinen, Juha, |e editor. | |
| 700 | 1 | |a Kossak, Roman, |d 1953- |e editor. |1 https://id.oclc.org/worldcat/entity/E39PCjw7vppTXtkxxcgVjwJhVy | |
| 700 | 1 | |a Villaveces, Andrés |c (Mathematics professor), |e editor. |1 https://id.oclc.org/worldcat/entity/E39PCjMfMR6wqW4gR9m7vMPPPP | |
| 758 | |i has work: |a Logic without borders (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGHvth8qTKvTqhDVV4YJcK |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |n Druck-Ausgabe |t Logic without borders |
| 830 | 0 | |a Ontos mathematical logic ; |v 5. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1634293 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 984100 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1634293 | ||
| 938 | |a De Gruyter |b DEGR |n 9781614516873 | ||
| 938 | |a YBP Library Services |b YANK |n 11667934 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27563918 | ||
| 938 | |a ebrary |b EBRY |n ebr11049480 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26127184 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26834383 | ||
| 994 | |a 92 |b IZTAP | ||