Logic Without Borders : : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / / ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces.
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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 |
---|---|
MitwirkendeR: | |
HerausgeberIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2015] ©2015 |
Year of Publication: | 2015 |
Language: | English |
Series: | Ontos Mathematical Logic ,
5 |
Online Access: | |
Physical Description: | 1 online resource (422 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9781614516873 |
---|---|
ctrlnum |
(DE-B1597)426656 (OCoLC)948655365 |
collection |
bib_alma |
record_format |
marc |
spelling |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces. Berlin ; Boston : De Gruyter, [2015] ©2015 1 online resource (422 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Ontos Mathematical Logic , 2198-2341 ; 5 Frontmatter -- From the editors -- 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 -- Universal Structures with Forbidden Homomorphisms -- Counting 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 restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Issued also in print. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) Mathematics Philosophy. Vaananen, J (Jouko) 1950. Mathematical logic. Väänänen. PHILOSOPHY / Logic. bisacsh mathematical logic. Abramsky, Samson, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Baldwin, John T., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Burgess, John P., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Caicedo, Xavier, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Chatzidakis, Zoé, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Di Prisco, Carlos Augusto, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Džamonja, Mirna, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Franks, Curtis, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Galliani, Pietro, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hella, Lauri, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hirvonen, Åsa, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hirvonen, Åsa, editor. edt http://id.loc.gov/vocabulary/relators/edt Hodges, Wilfrid, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hubicka, Jan, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Hyttinen, Tapani, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kaye, Richard, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kennedy, Juliette, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kontinen, Juha, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kontinen, Juha, editor. edt http://id.loc.gov/vocabulary/relators/edt Kossak, Roman, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Kossak, Roman, editor. edt http://id.loc.gov/vocabulary/relators/edt Lindell, Steven, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Malliaris, Maryanthe, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Nešetril, Jaroslav, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Niiniluoto, Ilkka, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Paris, Jeff B., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Shelah, Saharon, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Towsner, Henry, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Vencovská, Alena, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Villaveces, Andrés, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Villaveces, Andrés, editor. edt http://id.loc.gov/vocabulary/relators/edt Väänänen, Jouko, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Weinstein, Scott, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Wong, Tin Lok, contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 9783110762518 Title is part of eBook package: De Gruyter DG Plus eBook-Package 2015 9783110700985 Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2015 9783110439687 ZDB-23-DGG Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2015 9783110438680 ZDB-23-DPH EPUB 9781614519324 print 9781614517726 https://doi.org/10.1515/9781614516873 https://www.degruyter.com/isbn/9781614516873 Cover https://www.degruyter.com/document/cover/isbn/9781614516873/original |
language |
English |
format |
eBook |
author2 |
Abramsky, Samson, Abramsky, Samson, Baldwin, John T., Baldwin, John T., Burgess, John P., Burgess, John P., Caicedo, Xavier, Caicedo, Xavier, Chatzidakis, Zoé, Chatzidakis, Zoé, Di Prisco, Carlos Augusto, Di Prisco, Carlos Augusto, Džamonja, Mirna, Džamonja, Mirna, Franks, Curtis, Franks, Curtis, Galliani, Pietro, Galliani, Pietro, Hella, Lauri, Hella, Lauri, Hirvonen, Åsa, Hirvonen, Åsa, Hirvonen, Åsa, Hirvonen, Åsa, Hodges, Wilfrid, Hodges, Wilfrid, Hubicka, Jan, Hubicka, Jan, Hyttinen, Tapani, Hyttinen, Tapani, Kaye, Richard, Kaye, Richard, Kennedy, Juliette, Kennedy, Juliette, Kontinen, Juha, Kontinen, Juha, Kontinen, Juha, Kontinen, Juha, Kossak, Roman, Kossak, Roman, Kossak, Roman, Kossak, Roman, Lindell, Steven, Lindell, Steven, Malliaris, Maryanthe, Malliaris, Maryanthe, Nešetril, Jaroslav, Nešetril, Jaroslav, Niiniluoto, Ilkka, Niiniluoto, Ilkka, Paris, Jeff B., Paris, Jeff B., Shelah, Saharon, Shelah, Saharon, Towsner, Henry, Towsner, Henry, Vencovská, Alena, Vencovská, Alena, Villaveces, Andrés, Villaveces, Andrés, Villaveces, Andrés, Villaveces, Andrés, Väänänen, Jouko, Väänänen, Jouko, Weinstein, Scott, Weinstein, Scott, Wong, Tin Lok, Wong, Tin Lok, |
author_facet |
Abramsky, Samson, Abramsky, Samson, Baldwin, John T., Baldwin, John T., Burgess, John P., Burgess, John P., Caicedo, Xavier, Caicedo, Xavier, Chatzidakis, Zoé, Chatzidakis, Zoé, Di Prisco, Carlos Augusto, Di Prisco, Carlos Augusto, Džamonja, Mirna, Džamonja, Mirna, Franks, Curtis, Franks, Curtis, Galliani, Pietro, Galliani, Pietro, Hella, Lauri, Hella, Lauri, Hirvonen, Åsa, Hirvonen, Åsa, Hirvonen, Åsa, Hirvonen, Åsa, Hodges, Wilfrid, Hodges, Wilfrid, Hubicka, Jan, Hubicka, Jan, Hyttinen, Tapani, Hyttinen, Tapani, Kaye, Richard, Kaye, Richard, Kennedy, Juliette, Kennedy, Juliette, Kontinen, Juha, Kontinen, Juha, Kontinen, Juha, Kontinen, Juha, Kossak, Roman, Kossak, Roman, Kossak, Roman, Kossak, Roman, Lindell, Steven, Lindell, Steven, Malliaris, Maryanthe, Malliaris, Maryanthe, Nešetril, Jaroslav, Nešetril, Jaroslav, Niiniluoto, Ilkka, Niiniluoto, Ilkka, Paris, Jeff B., Paris, Jeff B., Shelah, Saharon, Shelah, Saharon, Towsner, Henry, Towsner, Henry, Vencovská, Alena, Vencovská, Alena, Villaveces, Andrés, Villaveces, Andrés, Villaveces, Andrés, Villaveces, Andrés, Väänänen, Jouko, Väänänen, Jouko, Weinstein, Scott, Weinstein, Scott, Wong, Tin Lok, Wong, Tin Lok, |
author2_variant |
s a sa s a sa j t b jt jtb j t b jt jtb j p b jp jpb j p b jp jpb x c xc x c xc z c zc z c zc p c a d pca pcad p c a d pca pcad m d md m d md c f cf c f cf p g pg p g pg l h lh l h lh å h åh å h åh å h åh å h åh w h wh w h wh j h jh j h jh t h th t h th r k rk r k rk j k jk j k jk j k jk j k jk j k jk j k jk r k rk r k rk r k rk r k rk s l sl s l sl m m mm m m mm j n jn j n jn i n in i n in j b p jb jbp j b p jb jbp s s ss s s ss h t ht h t ht a v av a v av a v av a v av a v av a v av j v jv j v jv s w sw s w sw t l w tl tlw t l w tl tlw |
author2_role |
MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR HerausgeberIn HerausgeberIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR |
author_sort |
Abramsky, Samson, |
title |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / |
spellingShingle |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / Ontos Mathematical Logic , Frontmatter -- From the editors -- 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 -- Universal Structures with Forbidden Homomorphisms -- Counting 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 |
title_sub |
Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / |
title_full |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces. |
title_fullStr |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces. |
title_full_unstemmed |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces. |
title_auth |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / |
title_alt |
Frontmatter -- From the editors -- 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 -- Universal Structures with Forbidden Homomorphisms -- Counting 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 |
title_new |
Logic Without Borders : |
title_sort |
logic without borders : essays on set theory, model theory, philosophical logic and philosophy of mathematics / |
series |
Ontos Mathematical Logic , |
series2 |
Ontos Mathematical Logic , |
publisher |
De Gruyter, |
publishDate |
2015 |
physical |
1 online resource (422 p.) Issued also in print. |
contents |
Frontmatter -- From the editors -- 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 -- Universal Structures with Forbidden Homomorphisms -- Counting 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 |
isbn |
9781614516873 9783110762518 9783110700985 9783110439687 9783110438680 9781614519324 9781614517726 |
issn |
2198-2341 ; |
genre_facet |
Philosophy. (Jouko) 1950. |
url |
https://doi.org/10.1515/9781614516873 https://www.degruyter.com/isbn/9781614516873 https://www.degruyter.com/document/cover/isbn/9781614516873/original |
illustrated |
Not Illustrated |
doi_str_mv |
10.1515/9781614516873 |
oclc_num |
948655365 |
work_keys_str_mv |
AT abramskysamson logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT baldwinjohnt logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT burgessjohnp logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT caicedoxavier logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT chatzidakiszoe logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT dipriscocarlosaugusto logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT dzamonjamirna logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT frankscurtis logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT gallianipietro logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT hellalauri logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT hirvonenasa logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT hodgeswilfrid logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT hubickajan logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT hyttinentapani logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT kayerichard logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT kennedyjuliette logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT kontinenjuha logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT kossakroman logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT lindellsteven logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT malliarismaryanthe logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT nesetriljaroslav logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT niiniluotoilkka logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT parisjeffb logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT shelahsaharon logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT towsnerhenry logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT vencovskaalena logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT villavecesandres logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT vaananenjouko logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT weinsteinscott logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics AT wongtinlok logicwithoutbordersessaysonsettheorymodeltheoryphilosophicallogicandphilosophyofmathematics |
status_str |
n |
ids_txt_mv |
(DE-B1597)426656 (OCoLC)948655365 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 Title is part of eBook package: De Gruyter DG Plus eBook-Package 2015 Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2015 Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2015 |
is_hierarchy_title |
Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / |
container_title |
Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1806143996994519040 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>07968nam a22012135i 4500</leader><controlfield tag="001">9781614516873</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20152015gw fo d z eng d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)951149549</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614516873</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781614516873</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)426656</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)948655365</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic Without Borders :</subfield><subfield code="b">Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics /</subfield><subfield code="c">ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (422 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Ontos Mathematical Logic ,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">5</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">From the editors -- </subfield><subfield code="t">Preface – Unity and Diversity of Logic -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">On the “Logic without Borders” Point of View -- </subfield><subfield code="t">Arrow’s Theorem by Arrow Theory -- </subfield><subfield code="t">How Big Should the Monster Model Be? -- </subfield><subfield code="t">Modal Logic in the Modal Sense of Modality -- </subfield><subfield code="t">Lindström’s Theorem for Positive Logics, a Topological View -- </subfield><subfield code="t">Model Theory of Fields With Operators – a Survey -- </subfield><subfield code="t">Some Aspects of the Ramsey Theory of Real Numbers -- </subfield><subfield code="t">The Singular World of Singular Cardinals -- </subfield><subfield code="t">Logical Nihilism -- </subfield><subfield code="t">The Doxastic Interpretation of Team Semantics -- </subfield><subfield code="t">The Size of a Formula as a Measure of Complexity -- </subfield><subfield code="t">Notes on the History of Scope -- </subfield><subfield code="t">Universal Structures with Forbidden Homomorphisms -- </subfield><subfield code="t">Counting Measure and Forking in Finite Models -- </subfield><subfield code="t">The Model Theory of Generic Cuts -- </subfield><subfield code="t">On Natural Deduction in Dependence Logic -- </subfield><subfield code="t">Infinitary Methods in Finite Model Theory -- </subfield><subfield code="t">Saturating the Random Graph with an Independent Family of Small Range -- </subfield><subfield code="t">Constructive Realism in Mathematics -- </subfield><subfield code="t">The Twin Continua of Inductive Methods -- </subfield><subfield code="t">A.E.C. with Not Too Many Models -- </subfield><subfield code="t">Pursuing Logic without Borders -- </subfield><subfield code="t">A Radio Interview with Jouko Väänänen</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield><subfield code="v">Philosophy.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Vaananen, J</subfield><subfield code="v">(Jouko)</subfield><subfield code="v">1950.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Väänänen.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Väänänen.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">mathematical logic.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abramsky, Samson, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baldwin, John T., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Burgess, John P., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Caicedo, Xavier, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chatzidakis, Zoé, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Di Prisco, Carlos Augusto, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Džamonja, Mirna, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Franks, Curtis, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Galliani, Pietro, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hella, Lauri, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hirvonen, Åsa, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hirvonen, Åsa, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hodges, Wilfrid, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hubicka, Jan, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hyttinen, Tapani, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaye, Richard, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kennedy, Juliette, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kontinen, Juha, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kontinen, Juha, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kossak, Roman, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kossak, Roman, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lindell, Steven, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Malliaris, Maryanthe, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nešetril, Jaroslav, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Niiniluoto, Ilkka, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Paris, Jeff B., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shelah, Saharon, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Towsner, Henry, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vencovská, Alena, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Villaveces, Andrés, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Villaveces, Andrés, </subfield><subfield code="e">editor.</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Väänänen, Jouko, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Weinstein, Scott, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wong, Tin Lok, </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus DeG Package 2015 Part 1</subfield><subfield code="z">9783110762518</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus eBook-Package 2015</subfield><subfield code="z">9783110700985</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE COMPLETE 2015</subfield><subfield code="z">9783110439687</subfield><subfield code="o">ZDB-23-DGG</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE Philosophy 2015</subfield><subfield code="z">9783110438680</subfield><subfield code="o">ZDB-23-DPH</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">EPUB</subfield><subfield code="z">9781614519324</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9781614517726</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781614516873</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781614516873</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781614516873/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-070098-5 DG Plus eBook-Package 2015</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-076251-8 DG Plus DeG Package 2015 Part 1</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DPH</subfield><subfield code="b">2015</subfield></datafield></record></collection> |