19 titles from eBooks.com

Cambridge University Press (1993)

CA$122.00

An up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians.

An up-to-date and integrated introduction to model theory, designed to be used for graduate courses...

Cambridge University Press (2007)

CA$42.12

This book presents research in model theory and its applications to valued fields.

This book presents research in model theory and its applications to valued fields.

Cambridge University Press (1987)

CA$63.77

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC.

Forcing is a powerful tool from logic which is used to prove that certain propositions of...

Cambridge University Press (1988)

CA$85.96

In recent years the interplay between model theory and other branches of mathematics has led to many deep and intriguing results. In this, the first book on the topic, the theme is the interplay between model theory and the theory of modules. The book is intended to be a self-contained introduction to the subject and introduces the requisite model...

In recent years the interplay between model theory and other branches of mathematics has led to many...

Cambridge University Press (1997)

CA$53.61

Surveys recent interactions between model theory and other branches of mathematics, notably group theory.

Surveys recent interactions between model theory and other branches of mathematics, notably group...

Elsevier Science (1990)

CA$415.00

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

In this research monograph, the author's work on classification and related topics are presented....

Elsevier Science (1990)

CA$81.00

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

Since the second edition of this book (1977), Model Theory has changed radically, and is now...

Elsevier Science (2000)

CA$304.00

Provability, Computability and Reflection

Provability, Computability and Reflection

Princeton University Press (2009)

CA$122.84

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems are well understood, this is not the case with...

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the...

Springer Berlin Heidelberg (2005)

CA$180.49

Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the...

Finite model theory, the model theory of finite structures, has roots in clas sical model theory;...