|By Subject > Science and Mathematics > General and Popular Mathematics > 7 > Models and Ultraproducts : An Introduction|
In this text for first-year graduate students, the authors provide an elementary exposition of some of the basic concepts of model theory--focusing particularly on the ultraproduct construction and the areas in which it is most useful. The book, which assumes only that its readers are acquainted with the rudiments of set theory, starts by developing the notions of Boolean algebra, propositional calculus, and predicate calculus.
|Models and Ultraproducts : An Introduction|
|Author:||A. B. Slomson, J. L. Bell|
|Contents:||Click to View|
|Dimensions:||5 3/8 x 8 1/2|
Model theory proper begins in the fourth chapter, followed by an introduction to ultraproduct construction, which includes a detailed look at its theoretic properties. An overview of elementary equivalence provides algebraic descriptions of the elementary classes. Discussions of completeness follow, along with surveys of the work of Jónsson and of Morley and Vaught on homogeneous universal models, and the results of Keisler in connection with the notion of a saturated structure. Additional topics include classical results of Gödel and Skolem, and extensions of classical first-order logic in terms of generalized quantifiers and infinitary languages. Numerous exercises appear throughout the text.
Unabridged republication of the third revised printing published by North-Holland Publishing Company, Amsterdam, 1974.
|Ready to Buy?|
Add this to your cart
(you can always remove it later.)
Shopping here is Guaranteed Safe!
|Here's a sample of other Dover titles that may interest your customers.|
|A Profile of Mathematical Logic|
by Howard DeLong
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.
by Stephen Cole Kleene
Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more. read more
by Raymond M. Smullyan
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus is on the tableau point of view. Includes 144 illustrations. read more
|Foundations of Mathematical Logic|
by Haskell B. Curry
Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. read more
by R. L. Goodstein
This text by a master in the field covers recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition. read more
|Boolean Algebra and Its Applications|
by J. Eldon Whitesitt
Introductory treatment begins with set theory and fundamentals of Boolean algebra, proceeding to concise accounts of applications to symbolic logic, switching circuits, relay circuits, binary arithmetic, and probability theory. 1961 edition. read more
|Abstract and Concrete Categories: The Joy of Cats|
by George E Strecker
This up-to-date introductory treatment employs category theory to explore the theory of structures. Its unique approach stresses concrete categories and presents a systematic view of factorization structures. Numerous examples. 1990 edition, updated 2004. read more
|The Philosophy of Mathematics: An Introductory Essay|
by Stephan Körner
A distinguished philosopher surveys the mathematical views and influence of Plato, Aristotle, Leibniz, and Kant. He also examines the relationship between mathematical theories, empirical data, and philosophical presuppositions. 1968 edition. read more
|Logic for Mathematicians|
by J. Barkley Rosser
Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulletin of the American Mathematical Society. 1978 edition. read more
|Toposes and Local Set Theories: An Introduction|
by J. L. Bell
This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. 1988 edition. read more