Cargando…

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Hirvonen, Åsa (Editor ), Kontinen, Juha (Editor ), Kossak, Roman, 1953- (Editor ), Villaveces, Andrés (Mathematics professor) (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston : De Gruyter, [2015]
Colección:Ontos mathematical logic ; 5.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • From the editor; 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 HomomorphismsCounting 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