Ultrafiltres à la façon de Ramsey
HTML articles powered by AMS MathViewer
- by Maryvonne Daguenet-Teissier PDF
- Trans. Amer. Math. Soc. 250 (1979), 91-120 Request permission
Abstract:
Let $\beta {\text {N}}$ be the set of ultrafilters on N; ${\mathcal {U}} \in \beta {\text {N}}$ is “absolu” [6] (Ramsey [4]) if all its free images by continuous maps $\beta {\text {N}} \to \beta {\text {N}}$ are isomorphic. We study here a weaker Ramsey-like property, which implies the existence of fiber products $\mathcal {D} \otimes {_E}\mathcal {D}\left ( { \otimes _\textbf {E}^k\mathcal {D}} \right )$ extending the usual product ${\mathcal {D}} \otimes {\mathcal {D}}\left ( {{ \otimes ^{k}}{\mathcal {D}}} \right )$. This can be translated in the language of model-theory on the one hand as the existence of repeated almagamated sums and on the other hand by some properties of sets of indiscernibles associated with ultrafilters having this property (§5). We show that the class of ultrafilters we study strictly contains the class of Ramsey ultrafilters (§1) and is (§2) strictly (§3) contained in the class of p-point ultrafilters [9] ("$\delta$-stables” [6]) and contains the free images of its elements (§4). In §2 we also give a characterization of p-point ultrafilters in terms of the product ${ \otimes ^k}{\mathcal {D}}$. In §3 we show the link with weakly Ramsey ultrafilters of Blass [3] and more generally we study ultrafilters ${\mathcal {D}}$ on N having only a finite number $i\left ( {\mathcal {D}} \right )$ of free images up to isomorphism and such that $\# \tau {^{ - 1}}\left ( {{\mathcal {D}},{\mathcal {D}}} \right ) = 2i\left ( {\mathcal {D}} \right ) + 1$, where $\# {\tau ^{ - 1}}\left ( {{\mathcal {D}},{\mathcal {D}}} \right )$ is the number of ultrafilters on ${{\text {N}}^2}$ finer than the filter generated by $\left ( {D \times D} \right )$ with $D \in {\mathcal {D}}$.References
- James E. Baumgartner and Alan D. Taylor, Partition theorems and ultrafilters, Trans. Amer. Math. Soc. 241 (1978), 283–309. MR 491193, DOI 10.1090/S0002-9947-1978-0491193-1 A. Blass, Ordering of ultrafitters, Thesis, Harvard Univ., Cambridge, Mass., 1970.
- Andreas Blass, The intersection of nonstandard models of arithmetic, J. Symbolic Logic 37 (1972), 103–106. MR 323560, DOI 10.2307/2272552
- Andreas Blass, Ultrafilter mappings and their Dedekind cuts, Trans. Amer. Math. Soc. 188 (1974), 327–340. MR 351822, DOI 10.1090/S0002-9947-1974-0351822-6 ’. —, Some initial segments of the Rudin-Keisler ordering (to appear).
- David Booth, Ultrafilters on a countable set, Ann. Math. Logic 2 (1970/71), no. 1, 1–24. MR 277371, DOI 10.1016/0003-4843(70)90005-7
- Gustave Choquet, Construction d’ultrafiltres sur N, Bull. Sci. Math. (2) 92 (1968), 41–48 (French). MR 234405
- Gustave Choquet, Deux classes remarquables d’ultrafiltres sur N, Bull. Sci. Math. (2) 92 (1968), 143–153 (French). MR 236860
- Maryvonne Daguenet, Rapport entre l’ensemble des ultrafiltres admettant un ultrafiltre donné pour image et l’ensemble des images de cet ultrafiltre, Comment. Math. Univ. Carolinae 16 (1975), 99–113 (French). MR 370502 ’. —, Étude combinatoire et topologique des filtres sur N, Thèse, Paris, 1976.
- P. Erdös and G. Szekeres, A combinatorial problem in geometry, Compositio Math. 2 (1935), 463–470. MR 1556929
- Leonard Gillman and Meyer Jerison, Rings of continuous functions, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0116199, DOI 10.1007/978-1-4615-7819-2
- M. Katětov, A theorem on mappings, Comment. Math. Univ. Carolinae 8 (1967), 431–433. MR 229228
- H. Jerome Keisler, Limit ultrapowers, Trans. Amer. Math. Soc. 107 (1963), 382–408. MR 148547, DOI 10.1090/S0002-9947-1963-0148547-1 H. Kenyon, Problem 5077, Amer. Math. Monthly 70 (1963), 216. ’. J. Nešetřil and V. Rödl, A structural generalisation of the Ramsey theorem, Bull. Amer. Math. Soc. 83 (1977), 127-128. F. Ramsey, On a problem of formal logic, Proc. London Math. Soc. 30 (1930), 264-286.
- Mary Ellen Rudin, Partial orders on the types in $\beta N$, Trans. Amer. Math. Soc. 155 (1971), 353–362. MR 273581, DOI 10.1090/S0002-9947-1971-0273581-5
- Gerald E. Sacks, Saturated model theory, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1972. MR 0398817 R. C. Solomon, Ultrafilters and ultraproducts, Dissertation, Bedford College, London, 1972.
- A. A. Zykov, On some properties of linear complexes, Mat. Sbornik N.S. 24(66) (1949), 163–188 (Russian). MR 0035428
Additional Information
- © Copyright 1979 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 250 (1979), 91-120
- MSC: Primary 04A20; Secondary 03C20, 05C55, 54A25
- DOI: https://doi.org/10.1090/S0002-9947-1979-0530045-6
- MathSciNet review: 530045