Record:   Prev Next
作者 Hirvonen, Åsa
書名 Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics
出版項 Boston : De Gruyter, Inc., 2015
國際標準書號 9781614516873 (electronic bk.)
book jacket
說明 1 online resource (438 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
系列 Ontos Mathematical Logic Ser. ; v.5
Ontos Mathematical Logic Ser
附註 Intro -- 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 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
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic
Description based on publisher supplied metadata and other sources
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2020. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries
鏈接 Print version: Hirvonen, Åsa Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics Boston : De Gruyter, Inc.,c2015 9781614517726
主題 Väänänen, J. -- (Jouko), -- 1950-;Logic, Symbolic and mathematical.;Set theory.;Model theory.;Mathematics -- Philosophy
Electronic books
Alt Author Kontinen, Juha
Kossak, Roman
Villaveces, Andrés
Record:   Prev Next