|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996234845103316 |
|
|
Titolo |
Logic without borders / / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boston : , : De Gruyter, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-61451-932-3 |
1-61451-687-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (438 p.) |
|
|
|
|
|
|
Collana |
|
Ontos mathematical logic, , 2198-2341 ; ; volume 5 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Set theory |
Model theory |
Mathematics - Philosophy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- 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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
In recent years, mathematical logic has developed in many directions, |
|
|
|
|