Logic without borders / / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces |
Pubbl/distr/stampa | Boston : , : De Gruyter, , [2015] |
Descrizione fisica | 1 online resource (438 p.) |
Disciplina | 511 |
Collana | Ontos mathematical logic |
Soggetto topico |
Logic, Symbolic and mathematical
Set theory Model theory Mathematics - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN |
1-61451-932-3
1-61451-687-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910464467903321 |
Boston : , : De Gruyter, , [2015] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic without borders / / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces |
Pubbl/distr/stampa | Boston : , : De Gruyter, , [2015] |
Descrizione fisica | 1 online resource (438 p.) |
Disciplina | 511 |
Collana | Ontos mathematical logic |
Soggetto topico |
Logic, Symbolic and mathematical
Set theory Model theory Mathematics - Philosophy |
ISBN |
1-61451-932-3
1-61451-687-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNISA-996234845103316 |
Boston : , : De Gruyter, , [2015] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic without borders / / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces |
Pubbl/distr/stampa | Boston : , : De Gruyter, , [2015] |
Descrizione fisica | 1 online resource (438 p.) |
Disciplina | 511 |
Collana | Ontos mathematical logic |
Soggetto topico |
Logic, Symbolic and mathematical
Set theory Model theory Mathematics - Philosophy |
Soggetto non controllato |
Väänänen
mathematical logic |
ISBN |
1-61451-932-3
1-61451-687-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910788824503321 |
Boston : , : De Gruyter, , [2015] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic without borders / / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces |
Pubbl/distr/stampa | Boston : , : De Gruyter, , [2015] |
Descrizione fisica | 1 online resource (438 p.) |
Disciplina | 511 |
Collana | Ontos mathematical logic |
Soggetto topico |
Logic, Symbolic and mathematical
Set theory Model theory Mathematics - Philosophy |
Soggetto non controllato |
Väänänen
mathematical logic |
ISBN |
1-61451-932-3
1-61451-687-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910816552403321 |
Boston : , : De Gruyter, , [2015] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|