High dimensional Ellentuck spaces and initial chains in the tukey structure of non-p-points

Journal of Symbolic Logic 81 (1):237-263 (2016)
  Copy   BIBTEX


The generic ultrafilter${\cal G}_2 $forced by${\cal P}\left/\left$was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters, but it was left open where exactly in the Tukey order it lies. We prove${\cal G}_2 $that is in fact Tukey minimal over its projected Ramsey ultrafilter. Furthermore, we prove that for each${\cal G}_2 $, the collection of all nonprincipal ultrafilters Tukey reducible to the generic ultrafilter${\cal G}_k $forced by${\cal P}\left/{\rm{Fin}}^{ \otimes k} $forms a chain of lengthk. Essential to the proof is the extraction of a dense subsetεkfrom +which we prove to be a topological Ramsey space. The spacesεk,k≥ 2, form a hierarchy of high dimensional Ellentuck spaces. New Ramsey-classification theorems for equivalence relations on fronts on εkare proved, extending the Pudlák–Rödl Theorem for fronts on the Ellentuck space, which are applied to find the Tukey and Rudin–Keisler structures below${\cal G}_k $.



    Upload a copy of this work     Papers currently archived: 76,264

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Measures on infinite-dimensional orthomodular spaces.Hans A. Keller - 1990 - Foundations of Physics 20 (5):575-604.
A definability result for compact complex spaces.Dale Radin - 2004 - Journal of Symbolic Logic 69 (1):241-254.
Definable Operators on Hilbert Spaces.Isaac Goldbring - 2012 - Notre Dame Journal of Formal Logic 53 (2):193-201.
Model-theory of vector-spaces over unspecified fields.David Pierce - 2009 - Archive for Mathematical Logic 48 (5):421-436.
On Countable Products of Finite Hausdorff Spaces.Horst Herrlich & Kyriakos Keremedis - 2000 - Mathematical Logic Quarterly 46 (4):537-542.


Added to PP

13 (#767,783)

6 months
1 (#449,844)

Historical graph of downloads
How can I increase my downloads?