The Experts below are selected from a list of 306 Experts worldwide ranked by ideXlab platform
Natasha Dobrinen - One of the best experts on this subject based on the ideXlab platform.
-
Continuous and other finitely generated canonical cofinal maps on Ultrafilters
arXiv: Logic, 2015Co-Authors: Natasha DobrinenAbstract:This paper investigates conditions under which canonical cofinal maps of the following three types exist: continuous, generated by finitary end-extension preserving maps, and generated by finitary maps. The main theorems prove that every monotone cofinal map on an Ultrafilter from a certain class of Ultrafilters is actually canonical when restricted to some cofinal subset. These theorems are then applied to find connections between Tukey, Rudin-Keisler, and Rudin-Blass reducibilities on large classes of Ultrafilters. The main theorems on canonical cofinal maps are the following. Under a mild assumption, basic Tukey reductions are inherited under Tukey reduction. In particular, every Ultrafilter Tukey reducible to a p-point has continuous Tukey reductions. If $\mathcal{U}$ is a Fubini iterate of p-points, then each monotone cofinal map from $\mathcal{U}$ to some other Ultrafilter is generated (on a cofinal subset of $\mathcal{U}$) by a finitary map on the base tree for $\mathcal{U}$ which is monotone and end-extension preserving - the analogue of continuous in this context. Further, every Ultrafilter which is Tukey reducible to some Fubini iterate of p-points has finitely generated cofinal maps. Similar theorems also hold for some other classes of Ultrafilters.
-
Survey on the Tukey theory of Ultrafilters
arXiv: Logic, 2014Co-Authors: Natasha DobrinenAbstract:This article surveys results regarding the Tukey theory of Ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey reducibilities are. We review work on the possible structures of cofinal types and conditions which guarantee that an Ultrafilter is below the Tukey maximum. The known canonical forms for cofinal maps on Ultrafilters are reviewed, as well as their applications to finding which structures embed into the Tukey types of Ultrafilters. With the addition of some Ramsey theory, fine analyses of the structures at the bottom of the Tukey hierarchy are made.
-
a new class of ramsey classification theorems and their applications in the tukey theory of Ultrafilters part 2
Transactions of the American Mathematical Society, 2013Co-Authors: Natasha Dobrinen, Stevo TodorcevicAbstract:Motivated by a Tukey classification problem we develop here a new topological Ramsey space R1 that in its complexity comes immediately after the classical Ellentuck space [8]. Associated with R1 is an Ultrafilter U1 which is weakly Ramsey but not Ramsey. We prove a canonization theorem for equivalence relations on fronts on R1. This extends the Pudlak-Rodl Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our canonization theorem to completely classify all Rudin-Keisler equivalence classes of Ultrafilters which are Tukey reducible to U1: Every Ultrafilter which is Tukey reducible to U1 is isomorphic to a countable iteration of Fubini products of Ultrafilters from among a fixed countable collection of Ultrafilters. Moreover, we show that there is exactly one Tukey type of nonprincipal Ultrafilters strictly below that of U1, namely the Tukey type of a Ramsey Ultrafilter.
-
a new class of ramsey classification theorems and their applications in the tukey theory of Ultrafilters parts 1 and 2
Electronic Notes in Discrete Mathematics, 2013Co-Authors: Natasha Dobrinen, Stevo TodorcevicAbstract:Abstract Motivated by Tukey classification problems, we develop a new hierarchy of topological Ramsey spaces R α , α ω 1 . These spaces form a natural hierarchy of complexity, R 0 being the Ellentuck space [Erik Ellentuck, A new proof that analytic sets are Ramsey, Journal of Symbolic Logic 39 (1974), 163–165], and for each α ω 1 , R α + 1 coming immediately after R α in complexity. Associated with each R α is an Ultrafilter U α , which is Ramsey for R α , and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems for equivalence relations on fronts on R α , 1 ⩽ α ω 1 . These form a hierarchy of extensions of the Pudlak-Rodl Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our Ramsey-classification theorems to completely classify all Rudin-Keisler equivalence classes of Ultrafilters which are Tukey reducible to U α , for each 1 ⩽ α ω 1 : Every nonprincipal Ultrafilter which is Tukey reducible to U α is isomorphic to a countable iteration of Fubini products of Ultrafilters from among a fixed countable collection of rapid p-points. Moreover, we show that the Tukey types of nonprincipal Ultrafilters Tukey reducible to U α form a descending chain of rapid p-points of order type α + 1 .
-
Tukey types of Ultrafilters
Illinois Journal of Mathematics, 2011Co-Authors: Natasha Dobrinen, Stevo TodorcevicAbstract:We investigate the structure of the Tukey types of Ultrafilters on countable sets partially ordered by reverse inclusion. A canonization of cofinal maps from a p-point into another Ultrafilter is obtained. This is used in particular to study the Tukey types of p-points and selective Ultrafilters. Results fall into three main categories: comparison to a basis element for selective Ultrafilters, embeddings of chains and antichains into the Tukey types, and Tukey types generated by block-basic Ultrafilters on FIN.
Stevo Todorcevic - One of the best experts on this subject based on the ideXlab platform.
-
a new class of ramsey classification theorems and their applications in the tukey theory of Ultrafilters part 2
Transactions of the American Mathematical Society, 2013Co-Authors: Natasha Dobrinen, Stevo TodorcevicAbstract:Motivated by a Tukey classification problem we develop here a new topological Ramsey space R1 that in its complexity comes immediately after the classical Ellentuck space [8]. Associated with R1 is an Ultrafilter U1 which is weakly Ramsey but not Ramsey. We prove a canonization theorem for equivalence relations on fronts on R1. This extends the Pudlak-Rodl Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our canonization theorem to completely classify all Rudin-Keisler equivalence classes of Ultrafilters which are Tukey reducible to U1: Every Ultrafilter which is Tukey reducible to U1 is isomorphic to a countable iteration of Fubini products of Ultrafilters from among a fixed countable collection of Ultrafilters. Moreover, we show that there is exactly one Tukey type of nonprincipal Ultrafilters strictly below that of U1, namely the Tukey type of a Ramsey Ultrafilter.
-
a new class of ramsey classification theorems and their applications in the tukey theory of Ultrafilters parts 1 and 2
Electronic Notes in Discrete Mathematics, 2013Co-Authors: Natasha Dobrinen, Stevo TodorcevicAbstract:Abstract Motivated by Tukey classification problems, we develop a new hierarchy of topological Ramsey spaces R α , α ω 1 . These spaces form a natural hierarchy of complexity, R 0 being the Ellentuck space [Erik Ellentuck, A new proof that analytic sets are Ramsey, Journal of Symbolic Logic 39 (1974), 163–165], and for each α ω 1 , R α + 1 coming immediately after R α in complexity. Associated with each R α is an Ultrafilter U α , which is Ramsey for R α , and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems for equivalence relations on fronts on R α , 1 ⩽ α ω 1 . These form a hierarchy of extensions of the Pudlak-Rodl Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our Ramsey-classification theorems to completely classify all Rudin-Keisler equivalence classes of Ultrafilters which are Tukey reducible to U α , for each 1 ⩽ α ω 1 : Every nonprincipal Ultrafilter which is Tukey reducible to U α is isomorphic to a countable iteration of Fubini products of Ultrafilters from among a fixed countable collection of rapid p-points. Moreover, we show that the Tukey types of nonprincipal Ultrafilters Tukey reducible to U α form a descending chain of rapid p-points of order type α + 1 .
-
Cofinal types of Ultrafilters
Annals of Pure and Applied Logic, 2012Co-Authors: Dilip Raghavan, Stevo TodorcevicAbstract:Abstract We study Tukey types of Ultrafilters on ω , focusing on the question of when Tukey reducibility is equivalent to Rudin–Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many Ultrafilters that are Tukey below any basically generated Ultrafilter. The class of basically generated Ultrafilters includes all known Ultrafilters that are not Tukey above [ ω 1 ] ω . We give a complete characterization of all Ultrafilters that are Tukey below a selective. A counterexample showing that Tukey reducibility and RK reducibility can diverge within the class of P-points is also given.
-
Tukey types of Ultrafilters
Illinois Journal of Mathematics, 2011Co-Authors: Natasha Dobrinen, Stevo TodorcevicAbstract:We investigate the structure of the Tukey types of Ultrafilters on countable sets partially ordered by reverse inclusion. A canonization of cofinal maps from a p-point into another Ultrafilter is obtained. This is used in particular to study the Tukey types of p-points and selective Ultrafilters. Results fall into three main categories: comparison to a basis element for selective Ultrafilters, embeddings of chains and antichains into the Tukey types, and Tukey types generated by block-basic Ultrafilters on FIN.
Peter Krautzberger - One of the best experts on this subject based on the ideXlab platform.
-
On rapid idempotent Ultrafilters
Semigroup Forum, 2014Co-Authors: Peter KrautzbergerAbstract:This short note contains the proofs of two small but somewhat surprising results about Ultrafilters on \(\mathbb {N}\): (1) strongly summable Ultrafilters are rapid, (2) every rapid Ultrafilter induces a closed left ideal of rapid Ultrafilters. As a consequence, there will be rapid minimal idempotents in all models of set theory with rapid Ultrafilters. The history of this result has been published as an experiment in mathematical writing on the author’s website (Krautzberger, One Day in Colorado or Strongly Summable Ultrafilters are Rapid, 2012) and (Krautzberger, Rapid Idempotent Ultrafilters, 2012) where you can can also find additional remarks by Blass and Hindman, offering a form of peer-review.
-
On rapid idempotent Ultrafilters
arXiv: Logic, 2013Co-Authors: Peter KrautzbergerAbstract:This short note contains the proofs of two small but somewhat surprising results about Ultrafilters on $\mathbb{N}$: 1. strongly summable Ultrafilters are rapid, 2. every rapid Ultrafilter induces a closed left ideal of rapid Ultrafilters. As a consequence, there will be rapid minimal idempotents in all models of set theory with rapid Ultrafilters.
-
On Union Ultrafilters
Order, 2011Co-Authors: Peter KrautzbergerAbstract:We present some new results on union Ultrafilters. We characterize stability for union Ultrafilters and, as the main result, we construct a new kind of unordered union Ultrafilter.
Saharon Shelah - One of the best experts on this subject based on the ideXlab platform.
-
cofinality spectrum problems the axiomatic approach
Topology and its Applications, 2016Co-Authors: Mary Malliaris, Saharon ShelahAbstract:Abstract Our investigations are framed by two overlapping problems: finding the right axiomatic framework for so-called cofinality spectrum problems, and a 1985 question of Dow on the conjecturally nonempty (in ZFC) region of OK but not good Ultrafilters. We define the lower-cofinality spectrum for a regular Ultrafilter D on λ and show that this spectrum may consist of a strict initial segment of cardinals below λ and also that it may finitely alternate. We define so-called ‘automorphic Ultrafilters’ and prove that the Ultrafilters which are automorphic for some, equivalently every, unstable theory are precisely the good Ultrafilters. We axiomatize a bare-bones framework called “lower cofinality spectrum problems”, consisting essentially of a single tree projecting onto two linear orders. We prove existence of a lower cofinality function in this context and show by example that it holds of certain theories whose model theoretic complexity is bounded.
-
model theoretic properties of Ultrafilters built by independent families of functions
Journal of Symbolic Logic, 2014Co-Authors: Mary Malliaris, Saharon ShelahAbstract:Our results in this paper increase the model-theoretic precision of a widely used method for building Ultrafilters, and so advance the general problem of constructing Ultrafilters whose ultrapowers have a precise degree of saturation. We begin by showing that any flexible regular Ultrafilter makes the product of an unbounded sequence of finite cardinals large, thus saturating any stable theory. We then prove directly that a “bottleneck” in the inductive construction of a regular Ultrafilter on λ (i.e., a point after which all antichains of have cardinality less than λ) essentially prevents any subsequent Ultrafilter from being flexible, thus from saturating any nonlow theory. The constructions are as follows. First, we construct a regular filter on λ so that any Ultrafilter extending fails to -saturate ultrapowers of the random graph, thus of any unstable theory. The proof constructs the omitted random graph type directly. Second, assuming existence of a measurable cardinal κ, we construct a regular Ultrafilter on which is λ-flexible but not -good, improving our previous answer to a question raised in Dow (1985). Third, assuming a weakly compact cardinal κ, we construct an Ultrafilter to show that may be small while all symmetric cuts of cofinality κ are realized. Thus certain families of precuts may be realized while still failing to saturate any unstable theory.
-
model theoretic properties of Ultrafilters built by independent families of functions
arXiv: Logic, 2012Co-Authors: Mary Malliaris, Saharon ShelahAbstract:Our results in this paper increase the model-theoretic precision of a widely used method for building Ultrafilters, and so advance the general problem of constructing Ultrafilters whose ultrapowers have a precise degree of saturation. We begin by showing that any flexible regular Ultrafilter makes the product of an unbounded sequence of finite cardinals large, {thus} saturating any stable theory. We then prove directly that a "bottleneck" in the inductive construction of a regular Ultrafilter on $\lambda$ (i.e. a point after which all antichains of $P(\lambda)/D$ have cardinality less than $\lambda$) essentially prevents any subsequent Ultrafilter from being flexible, {thus} from saturating any non-low theory. The paper's three main constructions are as follows. First, we construct a regular filter $D$ on $\lambda$ so that any Ultrafilter extending $D$ fails to $\lambda^+$-saturate ultrapowers of the random graph, {thus} of any unstable theory. The proof constructs the omitted random graph type directly. Second, assuming existence of a measurable cardinal $\kappa$, we construct a regular Ultrafilter on $\lambda > \kappa$ which is $\lambda$-flexible but not $\kappa^{++}$-good, improving our previous answer to a question raised in Dow 1975. Third, assuming a weakly compact cardinal $\kappa$, we construct an Ultrafilter to show that $\lcf(\aleph_0)$ may be small while all symmetric cuts of cofinality $\kappa$ are realized. Thus certain families of pre-cuts may be realized while still failing to saturate any unstable theory.
-
The spectrum of characters of Ultrafilters on omega
arXiv: Logic, 2006Co-Authors: Saharon ShelahAbstract:We show the consistency of the set of regular cardinals which are the character of some Ultrafilter on omega is not convex. We also deal with the set of pi chi-characters of Ultrafilters on omega.
-
THERE MAY BE NO HAUSDORFF UltrafilterS
arXiv: Logic, 2003Co-Authors: Tomek Bartoszynski, Saharon ShelahAbstract:An Ultrafilter U is Hausdorff if for any two functions f, g 2 ! ! , f(U) = g(U) iff f↾X = g↾X for some X 2 U. We will show that it is consistent that there are no Hausdorff Ultrafilters.
Dobrinen Natasha - One of the best experts on this subject based on the ideXlab platform.
-
Classes of barren extensions
'Cambridge University Press (CUP)', 2020Co-Authors: Dobrinen Natasha, Hathaway DanielAbstract:Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a "barren" extension. Moreover, under an additional assumption, they proved that this generic extension preserves all strong partition cardinals. This forcing thus produces a model $M[\mathcal{U}]$, where $\mathcal{U}$ is a Ramsey Ultrafilter, with many properties of the original model $M$. This begged the question of how important the Ramseyness of $\mathcal{U}$ is for these results. In this paper, we show that several classes of $\sigma$-closed forcings which generate non-Ramsey Ultrafilters have the same properties. Such Ultrafilters include Milliken-Taylor Ultrafilters, a class of rapid p-points of Laflamme, $k$-arrow p-points of Baumgartner and Taylor, and extensions to a class of Ultrafilters constructed by Dobrinen, Mijares and Trujillo. Furthermore, the class of Boolean algebras $\mathcal{P}(\omega^{\alpha})/\mathrm{Fin}^{\otimes \alpha}$, $2\le \alpha
-
Continuous and other finitely generated canonical cofinal maps on Ultrafilters
2019Co-Authors: Dobrinen NatashaAbstract:This paper investigates conditions under which canonical cofinal maps of the following three types exist: continuous, generated by finitary end-extension preserving maps, and generated by finitary maps. The main theorems prove that every monotone cofinal map on an Ultrafilter from a certain class of Ultrafilters is actually canonical when restricted to some cofinal subset. These theorems are then applied to find connections between Tukey, Rudin-Keisler, and Rudin-Blass reducibilities on large classes of Ultrafilters. The main theorems on canonical cofinal maps are the following. Under a mild assumption, basic Tukey reductions are inherited under Tukey reduction. In particular, every Ultrafilter Tukey reducible to a p-point has continuous Tukey reductions. If $\mathcal{U}$ is a Fubini iterate of p-points, then each monotone cofinal map from $\mathcal{U}$ to some other Ultrafilter is generated (on a cofinal subset of $\mathcal{U}$) by a finitary map on the base tree for $\mathcal{U}$ which is monotone and end-extension preserving - the analogue of continuous in this context. Further, every Ultrafilter which is Tukey reducible to some Fubini iterate of p-points has finitely generated cofinal maps. Similar theorems also hold for some other classes of Ultrafilters.Comment: A few typos fixed. To appear in Fundamenta Mathematica
-
Topological Ramsey Spaces Dense in Forcings
2018Co-Authors: Dobrinen NatashaAbstract:Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $\sigma$-closed `almost reduction' relation analogously to the partial ordering of `mod finite' on $[\omega]^{\omega}$. Such forcings add new Ultrafilters satisfying weak partition relations and have complete combinatorics. In cases where a forcing turned out to be equivalent to a topological Ramsey space, the strong Ramsey-theoretic techniques have aided in a fine-tuned analysis of the Rudin-Keisler and Tukey structures associated with the forced Ultrafilter and in discovering new Ultrafilters with complete combinatorics.This expository paper provides an overview of this collection of results and an entry point for those interested in using topological Ramsey space techniques to gain finer insight into Ultrafilters satisfying weak partition relations.Comment: Expository paper submitted to the 2016 SEALS Conference Proceedings. 32 pp. Minor revision