The Theory of Ultrafilters

The Theory of Ultrafilters PDF

Author: W.W. Comfort

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 494

ISBN-13: 364265780X

DOWNLOAD EBOOK →

An ultrafilter is a truth-value assignment to the family of subsets of a set, and a method of convergence to infinity. From the first (logical) property arises its connection with two-valued logic and model theory; from the second (convergence) property arises its connection with topology and set theory. Both these descriptions of an ultrafilter are connected with compactness. The model-theoretic property finds its expression in the construction of the ultraproduct and the compactness type of theorem of Los (implying the compactness theorem of first-order logic); and the convergence property leads to the process of completion by the adjunction of an ideal element for every ultrafilter-i. e. , to the Stone-Cech com pactification process (implying the Tychonoff theorem on the compact ness of products). Since these are two ways of describing the same mathematical object, it is reasonable to expect that a study of ultrafilters from these points of view will yield results and methods which can be fruitfully crossbred. This unifying aspect is indeed what we have attempted to emphasize in the present work.

Ultrafilters across Mathematics

Ultrafilters across Mathematics PDF

Author: Vitaly Bergelson

Publisher: American Mathematical Soc.

Published: 2010

Total Pages: 214

ISBN-13: 082184833X

DOWNLOAD EBOOK →

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.

Ultrafilters and Topologies on Groups

Ultrafilters and Topologies on Groups PDF

Author: Yevhen G. Zelenyuk

Publisher: Walter de Gruyter

Published: 2011

Total Pages: 229

ISBN-13: 3110204223

DOWNLOAD EBOOK →

This book presents the relationship between ultrafilters and topologies on groups. It shows how ultrafilters are used in constructing topologies on groups with extremal properties and how topologies on groups serve in deriving algebraic results about ultrafilters. The contents of the book fall naturally into three parts. The first, comprising Chapters 1 through 5, introduces to topological groups and ultrafilters insofar as the semigroup operation on ultrafilters is not required. Constructions of some important topological groups are given. In particular, that of an extremally disconnected topological group based on a Ramsey ultrafilter. Also one shows that every infinite group admits a nondiscrete zero-dimensional topology in which all translations and the inversion are continuous. In the second part, Chapters 6 through 9, the Stone-Cêch compactification βG of a discrete group G is studied. For this, a special technique based on the concepts of a local left group and a local homomorphism is developed. One proves that if G is a countable torsion free group, then βG contains no nontrivial finite groups. Also the ideal structure of βG is investigated. In particular, one shows that for every infinite Abelian group G, βG contains 22G minimal right ideals. In the third part, using the semigroup βG, almost maximal topological and left topological groups are constructed and their ultrafilter semigroups are examined. Projectives in the category of finite semigroups are characterized. Also one shows that every infinite Abelian group with finitely many elements of order 2 is absolutely ω-resolvable, and consequently, can be partitioned into ω subsets such that every coset modulo infinite subgroup meets each subset of the partition. The book concludes with a list of open problems in the field. Some familiarity with set theory, algebra and topology is presupposed. But in general, the book is almost self-contained. It is aimed at graduate students and researchers working in topological algebra and adjacent areas.

Combinatorial Set Theory

Combinatorial Set Theory PDF

Author: Lorenz J. Halbeisen

Publisher: Springer

Published: 2017-12-20

Total Pages: 594

ISBN-13: 3319602314

DOWNLOAD EBOOK →

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent results in set theory without the axiom of choice. The third part explains the sophisticated technique of forcing in great detail, now including a separate chapter on Suslin’s problem. The technique is used to show that certain statements are neither provable nor disprovable from the axioms of set theory. In the final part, some topics of classical set theory are revisited and further developed in light of forcing, with new chapters on Sacks Forcing and Shelah’s astonishing construction of a model with finitely many Ramsey ultrafilters. Written for graduate students in axiomatic set theory, Combinatorial Set Theory will appeal to all researchers interested in the foundations of mathematics. With extensive reference lists and historical remarks at the end of each chapter, this book is suitable for self-study.

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory PDF

Author: Mauro Di Nasso

Publisher: Springer

Published: 2019-05-23

Total Pages: 206

ISBN-13: 3030179567

DOWNLOAD EBOOK →

The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory. It includes both new nonstandard proofs of classical results and recent developments initially obtained in the nonstandard setting. This makes it the first combinatorics-focused account of nonstandard methods to be aimed at a general (graduate-level) mathematical audience. This book will provide a natural starting point for researchers interested in approaching the rapidly growing literature on combinatorial results obtained via nonstandard methods. The primary audience consists of graduate students and specialists in logic and combinatorics who wish to pursue research at the interface between these areas.

The Ultrapower Axiom

The Ultrapower Axiom PDF

Author: Gabriel Goldberg

Publisher: Walter de Gruyter GmbH & Co KG

Published: 2022-03-21

Total Pages: 325

ISBN-13: 3110719738

DOWNLOAD EBOOK →

The book is about strong axioms of infinity (also known as large cardinal axioms) in set theory, and the ongoing search for natural models of these axioms. Assuming the Ultrapower Axiom, we solve various classical problems in set theory (e.g., the Generalized Continuum Hypothesis) and develop a theory of large cardinals that is much clearer than the theory that can be developed using only the standard axioms.

Nonstandard Analysis for the Working Mathematician

Nonstandard Analysis for the Working Mathematician PDF

Author: Peter A. Loeb

Publisher: Springer

Published: 2015-08-26

Total Pages: 481

ISBN-13: 9401773270

DOWNLOAD EBOOK →

Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard analysis is now a well-developed, powerful instrument for solving open problems in almost all disciplines of mathematics; it is often used as a ‘secret weapon’ by those who know the technique. This book illuminates the subject with some of the most striking applications in analysis, topology, functional analysis, probability and stochastic analysis, as well as applications in economics and combinatorial number theory. The first chapter is designed to facilitate the beginner in learning this technique by starting with calculus and basic real analysis. The second chapter provides the reader with the most important tools of nonstandard analysis: the transfer principle, Keisler’s internal definition principle, the spill-over principle, and saturation. The remaining chapters of the book study different fields for applications; each begins with a gentle introduction before then exploring solutions to open problems. All chapters within this second edition have been reworked and updated, with several completely new chapters on compactifications and number theory. Nonstandard Analysis for the Working Mathematician will be accessible to both experts and non-experts, and will ultimately provide many new and helpful insights into the enterprise of mathematics.

Models and Ultraproducts

Models and Ultraproducts PDF

Author: A. B. Slomson

Publisher: Dover Publications

Published: 2013-12-20

Total Pages: 336

ISBN-13: 9780486788630

DOWNLOAD EBOOK →

This first-year graduate text assumes only an acquaintance with set theory to explore homogeneous universal models, saturated structure, extensions of classical first-order logic, and other topics. 1974 edition.