Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic without borders / / edited by Asa Hirvonen, Juha Kontinen, Roman Kossak and Andres Villaveces
| 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
| 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
| 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
| 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 | ||
| ||