Logic Colloquium 76, Proceedings of a conference PDF Download

Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080954960
Category : Mathematics
Languages : en
Pages : 623

View

Book Description
Logic Colloquium 76, Proceedings of a conference

Author: John Martin Elliott Hyland
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 638

View

Book Description

Author: Gerhard Jäger
Publisher: Springer
ISBN: 3319633341
Category : Mathematics
Languages : en
Pages : 617

View

Book Description
This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic (namely model theory, set theory, proof theory and computability theory), but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.

Author: Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653

View

Book Description
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.

Author: Leonid A. Bokut'
Publisher: American Mathematical Soc.
ISBN: 0821851381
Category : Algebra
Languages : en
Pages : 696

View

Book Description

Author: Tomek Bartoszyński
Publisher: American Mathematical Soc.
ISBN: 0821803069
Category : Mathematics
Languages : en
Pages : 200

View

Book Description
This book consists of papers presented at the first three meetings of the Boise Extravaganza in Set Theory (BEST) at Boise State University, Idaho, in 1992, 1993, and 1994. Articles in this volume present recent results in several areas of set theory.

Author: Library of Congress. Copyright Office
Publisher: Copyright Office, Library of Congress
ISBN:
Category : Copyright
Languages : en
Pages : 1610

View

Book Description

Author: Bruno Buchberger
Publisher: Springer Science & Business Media
ISBN: 9783540159834
Category : Computer science
Languages : en
Pages : 244

View

Book Description

Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080955053
Category : Computers
Languages : en
Pages : 445

View

Book Description
Logic Colloquium '78, Proceedings of the colloquium held in Mons

Author: Alexander S. Kechris
Publisher: Cambridge University Press
ISBN: 1316873633
Category : Mathematics
Languages : en
Pages : 318

View

Book Description
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Large Cardinals, Determinacy and Other Topics is the final volume in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. This final volume contains Parts VII and VIII of the series. Part VII focuses on 'Extensions of AD, models with choice', while Part VIII ('Other topics') collects material important to the Cabal that does not fit neatly into one of its main themes. These four volumes will be a necessary part of the book collection of every set theorist.