default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Without Borders 2015
- Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces:
Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Ontos Mathematical Logic 5, De Gruyter 2015, ISBN 978-1-61451-687-3 - Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces:
From the editors. VII-VIII - Juliette Kennedy:
On the "Logic without Borders" Point of View. 1-14 - Samson Abramsky
:
Arrow's Theorem by Arrow Theory. 15-30 - John T. Baldwin:
How Big Should the Monster Model Be? 31-50 - John P. Burgess:
Modal Logic in the Modal Sense of Modality. 51-72 - Xavier Caicedo:
Lindström's Theorem for Positive Logics, a Topological View. 73-90 - Zoé Chatzidakis:
Model Theory of Fields With Operators - a Survey. 91-114 - Carlos Augusto Di Prisco:
Some Aspects of the Ramsey Theory of Real Numbers. 115-138 - Mirna Dzamonja:
The Singular World of Singular Cardinals. 139-146 - Curtis Franks:
Logical Nihilism. 147-166 - Pietro Galliani:
The Doxastic Interpretation of Team Semantics. 167-192 - Lauri Hella, Jouko Väänänen:
The Size of a Formula as a Measure of Complexity. 193-214 - Wilfrid Hodges:
Notes on the History of Scope. 215-240 - Jan Hubicka, Jaroslav Nesetril:
Universal Structures with Forbidden Homomorphisms. 241-264 - Tapani Hyttinen:
Counting Measure and Forking in Finite Models. 265-280 - Richard Kaye, Tin Lok Wong:
The Model Theory of Generic Cuts. 281-296 - Juha Kontinen:
On Natural Deduction in Dependence Logic. 297-304 - Steven Lindell, Henry Towsner, Scott Weinstein:
Infinitary Methods in Finite Model Theory. 305-318 - Maryanthe Malliaris, Saharon Shelah:
Saturating the Random Graph with an Independent Family of Small Range. 319-338 - Ilkka Niiniluoto:
Constructive Realism in Mathematics. 339-354 - Jeff B. Paris, Alena Vencovská:
The Twin Continua of Inductive Methods. 355-366 - Saharon Shelah:
A.E.C. with Not Too Many Models. 367-402 - Jouko Väänänen:
Pursuing Logic without Borders. 403-416
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.
last updated on 2024-12-02 21:28 CET 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:
