Published by De Gruyter 2015

Logic Without Borders

Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Edited by: Åsa Hirvonen , Juha Kontinen , Roman Kossak and Andrés Villaveces

Volume 5 in the series Ontos Mathematical Logic

Overview
Contents

About this book

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.

Author / Editor information

A. Hirvonen and J. Kontinen, Univ. of Helsinki; R. Kossak, CUNY, New York; A. Villaveces, Univ. Nacional de Colombia, Bogota.

Supplementary Materials

Hirvonen_Contents

Topics

Frontmatter Publicly Available Download PDF	I
From the editors Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces Requires Authentication Unlicensed Licensed Download PDF	VII
Preface – Unity and Diversity of Logic Requires Authentication Unlicensed Licensed Download PDF	IX
Contents Publicly Available Download PDF	XV
On the “Logic without Borders” Point of View Juliette Kennedy Requires Authentication Unlicensed Licensed Download PDF	1
Arrow’s Theorem by Arrow Theory Samson Abramsky Requires Authentication Unlicensed Licensed Download PDF	15
How Big Should the Monster Model Be? John T. Baldwin Requires Authentication Unlicensed Licensed Download PDF	31
Modal Logic in the Modal Sense of Modality John P. Burgess Requires Authentication Unlicensed Licensed Download PDF	51
Lindström’s Theorem for Positive Logics, a Topological View Xavier Caicedo Requires Authentication Unlicensed Licensed Download PDF	73
Model Theory of Fields With Operators – a Survey Zoé Chatzidakis Requires Authentication Unlicensed Licensed Download PDF	91
Some Aspects of the Ramsey Theory of Real Numbers Carlos Augusto Di Prisco Requires Authentication Unlicensed Licensed Download PDF	115
The Singular World of Singular Cardinals Mirna Džamonja Requires Authentication Unlicensed Licensed Download PDF	139
Logical Nihilism Curtis Franks Requires Authentication Unlicensed Licensed Download PDF	147
The Doxastic Interpretation of Team Semantics Pietro Galliani Requires Authentication Unlicensed Licensed Download PDF	167
The Size of a Formula as a Measure of Complexity Lauri Hella and Jouko Väänänen Requires Authentication Unlicensed Licensed Download PDF	193
Notes on the History of Scope Wilfrid Hodges Requires Authentication Unlicensed Licensed Download PDF	215
Universal Structures with Forbidden Homomorphisms Jan Hubicka and Jaroslav Nešetril Requires Authentication Unlicensed Licensed Download PDF	241
Counting Measure and Forking in Finite Models Tapani Hyttinen Requires Authentication Unlicensed Licensed Download PDF	265
The Model Theory of Generic Cuts Richard Kaye and Tin Lok Wong Requires Authentication Unlicensed Licensed Download PDF	281
On Natural Deduction in Dependence Logic Juha Kontinen Requires Authentication Unlicensed Licensed Download PDF	297
Infinitary Methods in Finite Model Theory Steven Lindell, Henry Towsner and Scott Weinstein Requires Authentication Unlicensed Licensed Download PDF	305
Saturating the Random Graph with an Independent Family of Small Range Maryanthe Malliaris and Saharon Shelah Requires Authentication Unlicensed Licensed Download PDF	319
Constructive Realism in Mathematics Ilkka Niiniluoto Requires Authentication Unlicensed Licensed Download PDF	339
The Twin Continua of Inductive Methods Jeff B. Paris and Alena Vencovská Requires Authentication Unlicensed Licensed Download PDF	355
A.E.C. with Not Too Many Models Saharon Shelah Requires Authentication Unlicensed Licensed Download PDF	367
Pursuing Logic without Borders Jouko Väänänen Requires Authentication Unlicensed Licensed Download PDF	403
A Radio Interview with Jouko Väänänen Requires Authentication Unlicensed Licensed Download PDF	417

(Deutsch)

Language: English
Publisher: De Gruyter
Audience: Academics, Institutes, Libraries
Pages
- Front matter: 16
- Main content: 422
Keywords: Väänänen; mathematical logic

eBook

Published: March 10, 2015
ISBN: 9781614516873

Hardcover

Published: January 19, 2015
ISBN: 9781614517726