[PDF] Ultraproducts And Their Applications eBook

Author : Amanda Purcell
Publisher :
Page : 59 pages
File Size : 18,34 MB
Release : 2013
Category : First-order logic
ISBN : 9781303604058

GET BOOK

An ultraproduct is a mathematical construction used primarily in abstract algebra and model theory to create a new structure by reducing a product of a family of existing structures using a class of objects referred to as filters. This thesis provides a rigorous construction of ultraproducts and investigates some of their applications in the fields of mathematical logic, nonstandard analysis, and complex analysis. An introduction to basic set theory is included and used as a foundation for the ultraproduct construction. It is shown how to use this method on a family of models of first order logic to construct a new model of first order logic, with which one can produce a proof of the Compactness Theorem that is both elegant and robust. Next, an ultraproduct is used to offer a bridge between intuition and the formalization of nonstandard analysis by providing concrete infinite and infinitesimal elements. Finally, a proof of the Ax-Grothendieck Theorem is provided in which the ultraproduct and other previous results play a critical role. Rather than examining one in depth application, this text features ultraproducts as tools to solve problems across various disciplines.

Author : Hans Schoutens
Publisher : Springer Science & Business Media
Page : 215 pages
File Size : 16,39 MB
Release : 2010-07-31
Category : Mathematics
ISBN : 3642133673

GET BOOK

Exploring ultraproducts of Noetherian local rings from an algebraic perspective, this volume illustrates the many ways they can be used in commutative algebra. The text includes an introduction to tight closure in characteristic zero, a survey of flatness criteria, and more.

Author : John Lane Bell
Publisher : Courier Corporation
Page : 338 pages
File Size : 37,86 MB
Release : 2006-01-01
Category : Mathematics
ISBN : 0486449793

GET BOOK

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

Author : J. Barwise
Publisher : Elsevier
Page : 1179 pages
File Size : 41,97 MB
Release : 1982-03-01
Category : Computers
ISBN : 0080933645

GET BOOK

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.

Author : Marco Fontana
Publisher : Walter de Gruyter
Page : 395 pages
File Size : 13,4 MB
Release : 2009-09-04
Category : Mathematics
ISBN : 3110213184

GET BOOK

This volume contains selected refereed papers based on lectures presented at the ‘Fifth International Fez Conference on Commutative Algebra and Applications’ that was held in Fez, Morocco in June 2008. The volume represents new trends and areas of classical research within the field, with contributions from many different countries. In addition, the volume has as a special focus the research and influence of Alain Bouvier on commutative algebra over the past thirty years.

Author : Vitaly Bergelson
Publisher : American Mathematical Soc.
Page : 214 pages
File Size : 45,65 MB
Release : 2010
Category : Mathematics
ISBN : 082184833X

GET BOOK

Presents the state-of-the-art of applications in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. It contains two general surveys on ultrafilters in set theory and on the ultraproduct construction, as well as papers that cover additive and combinatorial number theory, nonstandard methods and stochastic differential equations, measure theory, dynamics, Ramsey theory, algebra in the space of ultrafilters, and large cardinals.

Author : Hans Schoutens
Publisher : Springer
Page : 215 pages
File Size : 49,55 MB
Release : 2010-07-16
Category : Mathematics
ISBN : 3642133681

GET BOOK

In spite of some recent applications of ultraproducts in algebra, they remain largely unknown to commutative algebraists, in part because they do not preserve basic properties such as Noetherianity. This work wants to make a strong case against these prejudices. More precisely, it studies ultraproducts of Noetherian local rings from a purely algebraic perspective, as well as how they can be used to transfer results between the positive and zero characteristics, to derive uniform bounds, to define tight closure in characteristic zero, and to prove asymptotic versions of homological conjectures in mixed characteristic. Some of these results are obtained using variants called chromatic products, which are often even Noetherian. This book, neither assuming nor using any logical formalism, is intended for algebraists and geometers, in the hope of popularizing ultraproducts and their applications in algebra.