Chargement en cours…

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Hirvonen, Åsa (Éditeur intellectuel), Kontinen, Juha (Éditeur intellectuel), Kossak, Roman, 1953- (Éditeur intellectuel), Villaveces, Andrés (Mathematics professor) (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Boston : De Gruyter, [2015]
Collection:Ontos mathematical logic ; 5.
Sujets:
Accès en ligne:Texto completo
Table des matières:
  • 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