Author: W.W. Comfort
Publisher: Springer Science & Business Media
ISBN: 364265780X
Category : Mathematics
Languages : en
Pages : 494
Book Description
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.
The Theory of Ultrafilters
Author: W.W. Comfort
Publisher: Springer Science & Business Media
ISBN: 364265780X
Category : Mathematics
Languages : en
Pages : 494
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 364265780X
Category : Mathematics
Languages : en
Pages : 494
Book Description
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 and Topologies on Groups
Author: Yevhen G. Zelenyuk
Publisher: Walter de Gruyter
ISBN: 3110204223
Category : Mathematics
Languages : en
Pages : 229
Book Description
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.
Publisher: Walter de Gruyter
ISBN: 3110204223
Category : Mathematics
Languages : en
Pages : 229
Book Description
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.
Ultrafilters across Mathematics
Author: Vitaly Bergelson
Publisher: American Mathematical Soc.
ISBN: 082184833X
Category : Mathematics
Languages : en
Pages : 214
Book Description
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.
Publisher: American Mathematical Soc.
ISBN: 082184833X
Category : Mathematics
Languages : en
Pages : 214
Book Description
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.
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
Author: Mauro Di Nasso
Publisher: Springer
ISBN: 3030179567
Category : Mathematics
Languages : en
Pages : 211
Book Description
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.
Publisher: Springer
ISBN: 3030179567
Category : Mathematics
Languages : en
Pages : 211
Book Description
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.
Algebra in the Stone-Cech Compactification
Author: Neil Hindman
Publisher: Walter de Gruyter
ISBN: 3110258358
Category : Mathematics
Languages : en
Pages : 610
Book Description
This is the second revised and extended edition of the successful book on the algebraic structure of the Stone-Čech compactification of a discrete semigroup and its combinatorial applications, primarily in the field known as Ramsey Theory. There has been very active research in the subject dealt with by the book in the 12 years which is now included in this edition. This book is a self-contained exposition of the theory of compact right semigroups for discrete semigroups and the algebraic properties of these objects. The methods applied in the book constitute a mosaic of infinite combinatorics, algebra, and topology. The reader will find numerous combinatorial applications of the theory, including the central sets theorem, partition regularity of matrices, multidimensional Ramsey theory, and many more.
Publisher: Walter de Gruyter
ISBN: 3110258358
Category : Mathematics
Languages : en
Pages : 610
Book Description
This is the second revised and extended edition of the successful book on the algebraic structure of the Stone-Čech compactification of a discrete semigroup and its combinatorial applications, primarily in the field known as Ramsey Theory. There has been very active research in the subject dealt with by the book in the 12 years which is now included in this edition. This book is a self-contained exposition of the theory of compact right semigroups for discrete semigroups and the algebraic properties of these objects. The methods applied in the book constitute a mosaic of infinite combinatorics, algebra, and topology. The reader will find numerous combinatorial applications of the theory, including the central sets theorem, partition regularity of matrices, multidimensional Ramsey theory, and many more.
Combinatorial Set Theory
Author: Lorenz J. Halbeisen
Publisher: Springer
ISBN: 3319602314
Category : Mathematics
Languages : en
Pages : 586
Book Description
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.
Publisher: Springer
ISBN: 3319602314
Category : Mathematics
Languages : en
Pages : 586
Book Description
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.
Handbook of the History of General Topology
Author: C.E. Aull
Publisher: Springer Science & Business Media
ISBN: 9401704708
Category : Mathematics
Languages : en
Pages : 418
Book Description
This book is the first one of a work in several volumes, treating the history of the development of topology. The work contains papers which can be classified into 4 main areas. Thus there are contributions dealing with the life and work of individual topologists, with specific schools of topology, with research in topology in various countries, and with the development of topology in different periods. The work is not restricted to topology in the strictest sense but also deals with applications and generalisations in a broad sense. Thus it also treats, e.g., categorical topology, interactions with functional analysis, convergence spaces, and uniform spaces. Written by specialists in the field, it contains a wealth of information which is not available anywhere else.
Publisher: Springer Science & Business Media
ISBN: 9401704708
Category : Mathematics
Languages : en
Pages : 418
Book Description
This book is the first one of a work in several volumes, treating the history of the development of topology. The work contains papers which can be classified into 4 main areas. Thus there are contributions dealing with the life and work of individual topologists, with specific schools of topology, with research in topology in various countries, and with the development of topology in different periods. The work is not restricted to topology in the strictest sense but also deals with applications and generalisations in a broad sense. Thus it also treats, e.g., categorical topology, interactions with functional analysis, convergence spaces, and uniform spaces. Written by specialists in the field, it contains a wealth of information which is not available anywhere else.
Surveys in Set Theory
Author: A. R. D. Mathias
Publisher: Cambridge University Press
ISBN: 0521277337
Category : Mathematics
Languages : en
Pages : 257
Book Description
This book comprises five expository articles and two research papers on topics of current interest in set theory and the foundations of mathematics. Articles by Baumgartner and Devlin introduce the reader to proper forcing. This is a development by Saharon Shelah of Cohen's method which has led to solutions of problems that resisted attack by forcing methods as originally developed in the 1960s. The article by Guaspari is an introduction to descriptive set theory, a subject that has developed dramatically in the last few years. Articles by Kanamori and Stanley discuss one of the most difficult concepts in contemporary set theory, that of the morass, first created by Ronald Jensen in 1971 to solve the gap-two conjecture in model theory, assuming Gödel's axiom of constructibility. The papers by Prikry and Shelah complete the volume by giving the reader the flavour of contemporary research in set theory. This book will be of interest to graduate students and research workers in set theory and mathematical logic.
Publisher: Cambridge University Press
ISBN: 0521277337
Category : Mathematics
Languages : en
Pages : 257
Book Description
This book comprises five expository articles and two research papers on topics of current interest in set theory and the foundations of mathematics. Articles by Baumgartner and Devlin introduce the reader to proper forcing. This is a development by Saharon Shelah of Cohen's method which has led to solutions of problems that resisted attack by forcing methods as originally developed in the 1960s. The article by Guaspari is an introduction to descriptive set theory, a subject that has developed dramatically in the last few years. Articles by Kanamori and Stanley discuss one of the most difficult concepts in contemporary set theory, that of the morass, first created by Ronald Jensen in 1971 to solve the gap-two conjecture in model theory, assuming Gödel's axiom of constructibility. The papers by Prikry and Shelah complete the volume by giving the reader the flavour of contemporary research in set theory. This book will be of interest to graduate students and research workers in set theory and mathematical logic.
Geometric Set Theory
Author: Paul B. Larson
Publisher: American Mathematical Soc.
ISBN: 1470454629
Category : Education
Languages : en
Pages : 345
Book Description
This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. In Part I, the method is applied to isolate new distinctions between Borel equivalence relations. Part II contains applications to independence results in Zermelo–Fraenkel set theory without Axiom of Choice. The method makes it possible to classify in great detail various paradoxical objects obtained using the Axiom of Choice; the classifying criterion is a ZF-provable implication between the existence of such objects. The book considers a broad spectrum of objects from analysis, algebra, and combinatorics: ultrafilters, Hamel bases, transcendence bases, colorings of Borel graphs, discontinuous homomorphisms between Polish groups, and many more. The topic is nearly inexhaustible in its variety, and many directions invite further investigation.
Publisher: American Mathematical Soc.
ISBN: 1470454629
Category : Education
Languages : en
Pages : 345
Book Description
This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. In Part I, the method is applied to isolate new distinctions between Borel equivalence relations. Part II contains applications to independence results in Zermelo–Fraenkel set theory without Axiom of Choice. The method makes it possible to classify in great detail various paradoxical objects obtained using the Axiom of Choice; the classifying criterion is a ZF-provable implication between the existence of such objects. The book considers a broad spectrum of objects from analysis, algebra, and combinatorics: ultrafilters, Hamel bases, transcendence bases, colorings of Borel graphs, discontinuous homomorphisms between Polish groups, and many more. The topic is nearly inexhaustible in its variety, and many directions invite further investigation.
Set Theory
Author: Tomek Bartoszynski
Publisher: CRC Press
ISBN: 1439863466
Category : Mathematics
Languages : en
Pages : 559
Book Description
This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.
Publisher: CRC Press
ISBN: 1439863466
Category : Mathematics
Languages : en
Pages : 559
Book Description
This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.