default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/books/collections/HKKV2015.bht:"
download as .bib file
@incollection{DBLP:books/daglib/p/Abramsky15,
author = {Samson Abramsky},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Arrow's Theorem by Arrow Theory},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {15--30},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.15},
doi = {10.1515/9781614516873.15},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/Abramsky15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Baldwin15,
author = {John T. Baldwin},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {How Big Should the Monster Model Be?},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {31--50},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.31},
doi = {10.1515/9781614516873.31},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Baldwin15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Burgess15,
author = {John P. Burgess},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Modal Logic in the Modal Sense of Modality},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {51--72},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.51},
doi = {10.1515/9781614516873.51},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Burgess15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Caicedo15,
author = {Xavier Caicedo},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Lindstr{\"{o}}m's Theorem for Positive Logics, a Topological
View},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {73--90},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.73},
doi = {10.1515/9781614516873.73},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Caicedo15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Chatzidakis15,
author = {Zo{\'{e}} Chatzidakis},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Model Theory of Fields With Operators - a Survey},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {91--114},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.91},
doi = {10.1515/9781614516873.91},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Chatzidakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Dzamonja15,
author = {Mirna Dzamonja},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {The Singular World of Singular Cardinals},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {139--146},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.139},
doi = {10.1515/9781614516873.139},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Dzamonja15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Franks15,
author = {Curtis Franks},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Logical Nihilism},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {147--166},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.147},
doi = {10.1515/9781614516873.147},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Franks15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Galliani15,
author = {Pietro Galliani},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {The Doxastic Interpretation of Team Semantics},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {167--192},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.167},
doi = {10.1515/9781614516873.167},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Galliani15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HellaV15,
author = {Lauri Hella and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {The Size of a Formula as a Measure of Complexity},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {193--214},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.193},
doi = {10.1515/9781614516873.193},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/HellaV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HirvonenKKV15,
author = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {From the editors},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {VII--VIII},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.vii},
doi = {10.1515/9781614516873.VII},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/HirvonenKKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Hodges15,
author = {Wilfrid Hodges},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Notes on the History of Scope},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {215--240},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.215},
doi = {10.1515/9781614516873.215},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Hodges15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/HubickaN15,
author = {Jan Hubicka and
Jaroslav Nesetril},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Universal Structures with Forbidden Homomorphisms},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {241--264},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.241},
doi = {10.1515/9781614516873.241},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/HubickaN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Hyttinen15,
author = {Tapani Hyttinen},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Counting Measure and Forking in Finite Models},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {265--280},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.265},
doi = {10.1515/9781614516873.265},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/p/Hyttinen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/KayeW15,
author = {Richard Kaye and
Tin Lok Wong},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {The Model Theory of Generic Cuts},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {281--296},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.281},
doi = {10.1515/9781614516873.281},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/KayeW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Kennedy15,
author = {Juliette Kennedy},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {On the "Logic without Borders" Point of View},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {1--14},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.1},
doi = {10.1515/9781614516873.1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Kennedy15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Kontinen15,
author = {Juha Kontinen},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {On Natural Deduction in Dependence Logic},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {297--304},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.297},
doi = {10.1515/9781614516873.297},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Kontinen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/LindellTW15,
author = {Steven Lindell and
Henry Towsner and
Scott Weinstein},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Infinitary Methods in Finite Model Theory},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {305--318},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.305},
doi = {10.1515/9781614516873.305},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/LindellTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MalliarisS15,
author = {Maryanthe Malliaris and
Saharon Shelah},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Saturating the Random Graph with an Independent Family of Small Range},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {319--338},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.319},
doi = {10.1515/9781614516873.319},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/MalliarisS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Niiniluoto15,
author = {Ilkka Niiniluoto},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Constructive Realism in Mathematics},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {339--354},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.339},
doi = {10.1515/9781614516873.339},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Niiniluoto15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/ParisV15,
author = {Jeff B. Paris and
Alena Vencovsk{\'{a}}},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {The Twin Continua of Inductive Methods},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {355--366},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.355},
doi = {10.1515/9781614516873.355},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/ParisV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Prisco15,
author = {Carlos Augusto Di Prisco},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Some Aspects of the Ramsey Theory of Real Numbers},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {115--138},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.115},
doi = {10.1515/9781614516873.115},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Prisco15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Shelah15,
author = {Saharon Shelah},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {{A.E.C.} with Not Too Many Models},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {367--402},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.367},
doi = {10.1515/9781614516873.367},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Shelah15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Vaananen15,
author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Pursuing Logic without Borders},
booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
pages = {403--416},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873.403},
doi = {10.1515/9781614516873.403},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Vaananen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0035342,
editor = {{\AA}sa Hirvonen and
Juha Kontinen and
Roman Kossak and
Andr{\'{e}}s Villaveces},
title = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical
Logic and Philosophy of Mathematics},
series = {Ontos Mathematical Logic},
volume = {5},
publisher = {De Gruyter},
year = {2015},
url = {https://doi.org/10.1515/9781614516873},
doi = {10.1515/9781614516873},
isbn = {978-1-61451-687-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0035342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-04 17:19 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
