Ultraproducts and Related Constructions
In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some aspects of the model theory of first-order and secon...
Saved in:
Published in | Mathematics (Basel) Vol. 11; no. 1; p. 70 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
Basel
MDPI AG
01.01.2023
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some aspects of the model theory of first-order and second-order existential logics, finite Ramsey theory and general topology. Special emphasis has been made for producing a uniform treatment and for highlighting interconnections between these different subjects. |
---|---|
ISSN: | 2227-7390 2227-7390 |
DOI: | 10.3390/math11010070 |