Library Catalog
Amazon cover image
Image from Amazon.com

Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics / ed. by Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces.

Contributor(s): Material type: TextTextSeries: Ontos Mathematical Logic ; 5Publisher: Berlin ; Boston : De Gruyter, [2015]Copyright date: ©2015Description: 1 online resource (422 p.)Content type:
Media type:
Carrier type:
ISBN:
  • 9781614517726
  • 9781614519324
  • 9781614516873
Subject(s): Other classification:
  • online - DeGruyter
Online resources: Available additional physical forms:
  • Issued also in print.
Contents:
Frontmatter -- 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
Summary: 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 development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.
Holdings
Item type Current library Call number URL Status Notes Barcode
eBook eBook Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Nuvola online online - DeGruyter (Browse shelf(Opens below)) Online access Not for loan (Accesso limitato) Accesso per gli utenti autorizzati / Access for authorized users (dgr)9781614516873

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

restricted access online access with authorization star

http://purl.org/coar/access_right/c_16ec

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 development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.

Issued also in print.

Mode of access: Internet via World Wide Web.

In English.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)