Abstract
We prove, in an axiomatic way, a compactness theorem for singular cardinals. We apply it to prove that, for singular λ, every λ-free algebra is free; and similar compactness results for transversals and colouring numbers. For the general result on free algebras, we develop some filters onS k(A). As an application we conclude thatV=L implies that every Whitehead group is free.
Similar content being viewed by others
References
J. Baumgartner,A new kind of order types (preprint).
C. C. Chang,Some Remarks on the Model Theory of Infinitary Languages; the Syntax and Semantics of Infinitary Languages, ed. Barwise, Springer-Verlag Lecture Notes No. 72, 1968, pp. 36–63.
P. Eklof,Infinitary equivalence of abelian groups, Fund. Math., to appear.
P. Eklof,On the existence of κ-free abelian groups, to appear.
P. Eklof,Theorem of ZFCon abelian groups infinitarily equivalent to free groups, Notices Amer. Math. Soc.20 (1973), A-503.
P. Erdös and A. Hajnal,Unsolved problems in set theory, Proc. Symp. Pure Math. XIII, Part I, Amer. Math. Soc., Providence, R. I., 1971, pp. 17–48.
P. Erdös and A. Hajnal,Unsolved and solved problems in set theory, Proc. Symp. in Honour of Tarski’s 70th Birthday, Berkeley, 1971; Proc. Symp. Pure Math. XXV, Amer. Math. Soc., Providence, R. I., 1974, 269–288.
L. Fuchs,Infinite Abelian Groups, Vol. I, 1970, Vol. II, 1973, Academic Press, N. Y. and London.
W. Hanf,Incompactness in languages with infinitely long expressions, Fund. Math.53 (1963/64), 309–324.
P. Hill,New criteria for freeness in abelian groups, II.
P. Hill,On the freeness of abelian groups: a generalization of Pontryagin’s theorem, Bull. Amer. Math. Soc.76 (1970), 1118–1120.
P. Hill,A special criterion for freeness.
P. Hill,The splitting of modules and abelian groups, Canad. J. Math.
G. Higman,Almost free groups, Proc. London Math. Soc.3, 1, (1951), 284–290.
J. Gregory,Abelian groups infinitarily equivalent to free ones, Notices Amer. Math. Soc.20 (1973), A-500.
P. Griffith, ℵn-free abelian groups, Aarhus University preprint series, 1971/72.
R. L. Jensen,The fine structure of the constructible universe, Ann. Math. Logic4 (1972), 229–308.
A. Kurosch,Teoriya Grup, Moscow-Leningrad, 1944.
A. Kurosch,The Theory of Groups, Chelsea Publ. Co., N. Y., 1960.
D. M. Kueker,Free and almost free algebra, Bull. Amer. Math. Soc., to appear.
E. Milner and S. Shelah,Two theorems on transversals, Proc. Symp. in Honour of Erdös’ 60th Birthday, Hungary, 1973, to appear.
E. Milner and S. Shelah,Sufficiency conditions for the existence of transversals, Canad. J. Math.26 (1974), 948–961.
N. Mirsky,Transversal Theory, Academic Press, New York, 1971.
A. Mekler, Ph. D. thesis, Stanford University, in preparation.
S. Shelah,Notes in partition calculus, Proc. Symp. in Honour of Erdös’ 60th Birthday, Hungary, 1973, to appear.
S. Shelah,Infinite abelian groups—Whitehead problem and some constructions, Israel J. Math.18 (1974), 243–256.
S. Shelah,Compactness in singular cardinalities, Notices Amer. Math. Soc.21 (1974), A-556.
S. Shelah,Stability and Number of Non-isomorphic Models, North Holland Publ. Co., to appear.
S. Shelah,Incompactness in regular cardinals, in preparation.
S. Shelah,Various results in mathematical logic, Notices Amer. Math. Soc.22 (1975), A-23.
S. Shelah,Various results in mathematical logic, Notices Amer. Math. Soc.22 (1975), A-474.
E. Specker,Additive Gruppen von Fongen Ganzer Zahlen, Portugal. Math.9 (1950), 131–140.
Author information
Authors and Affiliations
Additional information
The author would like to acknowledge N.S.F. Grant 43901, by which he was partially supported, and to thank P. Eklof and A. Mekler for stimulating discussions.
Rights and permissions
About this article
Cite this article
Shelah, S. A compactness theorem for singular cardinals, free algebras, Whitehead problem and tranversals. Israel J. Math. 21, 319–349 (1975). https://doi.org/10.1007/BF02757993
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02757993