Books in Mathematical logic and foundations

121-130 of 141 results in All results

Classification Theory

• 2nd Edition
• Volume 92
• December 6, 1990
• S. Shelah
• English
• eBook 978-0-08-088024-2

  9 7 8 - 0 - 0 8 - 0 8 8 0 2 4 - 2

In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text.The additional chapters X - XIII present the solution to countable first order T of what the author sees as the main test of the theory. In Chapter X the Dimensional Order Property is introduced and it is shown to be a meaningful dividing line for superstable theories. In Chapter XI there is a proof of the decomposition theorems. Chapter XII is the crux of the matter: there is proof that the negation of the assumption used in Chapter XI implies that in models of T a relation can be defined which orders a large subset of m

Model Theory

• 3rd Edition
• Volume 73
• June 12, 1990
• C.C. Chang + 1 more
• English
• eBook 978-0-08-088007-5

  9 7 8 - 0 - 0 8 - 0 8 8 0 0 7 - 5

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

Logic, Methodology and Philosophy of Science VIII

• 1st Edition
• Volume 126
• August 16, 1989
• J.E. Fenstad + 2 more
• English
• eBook 978-0-08-087989-5

  9 7 8 - 0 - 0 8 - 0 8 7 9 8 9 - 5

Logic, Methodology and Philosophy of Science VIII presents the results of recent research into the foundations of science. The volume contains 37 invited papers presented at the Congress, covering the areas of Logic, Mathematics, Physical Sciences, Biological Sciences and the Humanities.

Logic Colloquium '88

• 1st Edition
• Volume 127
• August 4, 1989
• R. Ferro + 3 more
• English
• eBook 978-0-08-088767-8

  9 7 8 - 0 - 0 8 - 0 8 8 7 6 7 - 8

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today.As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''.

Computability, Complexity, Logic

• 1st Edition
• Volume 128
• July 1, 1989
• E. Börger
• English
• eBook 978-0-08-088704-3

  9 7 8 - 0 - 0 8 - 0 8 8 7 0 4 - 3

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.

Classical Recursion Theory

• 1st Edition
• Volume 125
• January 1, 1989
• P. Odifreddi
• English
• eBook 978-0-08-088659-6

  9 7 8 - 0 - 0 8 - 0 8 8 6 5 9 - 6

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Constructivism in Mathematics, Vol 2

• 1st Edition
• Volume 123
• November 1, 1988
• A.S. Troelstra + 1 more
• English
• Hardback 978-0-444-70358-3

  9 7 8 - 0 - 4 4 4 - 7 0 3 5 8 - 3
• eBook 978-0-08-095510-0

  9 7 8 - 0 - 0 8 - 0 9 5 5 1 0 - 0

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences. The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras. The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic.

Constructivism in Mathematics, Vol 1

• 1st Edition
• Volume 121
• July 1, 1988
• A.S. Troelstra + 1 more
• English
• Hardback 978-0-444-70266-1

  9 7 8 - 0 - 4 4 4 - 7 0 2 6 6 - 1
• eBook 978-0-08-057088-4

  9 7 8 - 0 - 0 8 - 0 5 7 0 8 8 - 4

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

Logic Colloquium '85

• 1st Edition
• Volume 122
• January 1, 1987
• The Paris Logic The Paris Logic Group
• English
• eBook 978-0-444-53582-5

  9 7 8 - 0 - 4 4 4 - 5 3 5 8 2 - 5

The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations.The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics.

Boole's Logic and Probability

• 2nd Edition
• Volume 85
• October 1, 1986
• T. Hailperin
• English
• eBook 978-0-08-088005-1

  9 7 8 - 0 - 0 8 - 0 8 8 0 0 5 - 1

Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by the several conferences on the history of logic, by a journal devoted to the subject, and by an accumulation of new results. This increased activity and the new results - the chief one being that Boole's work in probability is best viewed as a probability logic - were influential circumstances conducive to a new edition.Chapter 1, presenting Boole's ideas on a mathematical treatment of logic, from their emergence in his early 1847 work on through to his immediate successors, has been considerably enlarged. Chapter 2 includes additional discussion of the ``uninterpretable'' notion, both semantically and syntactically. Chapter 3 now includes a revival of Boole's abandoned propositional logic and, also, a discussion of his hitherto unnoticed brush with ancient formal logic. Chapter 5 has an improved explanation of why Boole's probability method works. Chapter 6, Applications and Probability Logic, is a new addition. Changes from the first edition have brought about a three-fold increase in the bibliography.