On inverse γ-systems and the number of L∞λ-equivalent, non-isomorphic models for λ singular

DOI10.2307/2586536MaRDI QIDQ4953219zbMATH OpenOpenAlexFDO

Authors S. Shelah, Pauli Väisänen

Publication date 8 October 2000

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9807181

zbMATH Keywords

Abelian groupsinfinitary logicinverse \(\gamma\)-systemnumber of modelssingular cardinal

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other infinitary logic (03C75) Abelian groups (20K99)

Abstract: Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In [Sh:189] inverse kappa-systems A of abelian groups and their certain kind of quotient limits Gr(A)/Fact(A) were considered. It was proved that for every cardinal mu there exists an inverse kappa-system A such that A consists of abelian groups having cardinality at most mu^kappa and card(Gr(A)/Fact(A))= mu. In [Sh:228] a strict connection between inverse kappa-systems and possible values of No was proved. In this paper we show: for every nonzero mu <= lambda^kappa there is an inverse kappa-system A of abelian groups having cardinality < lambda such that card(Gr(A)/Fact(A))= mu (under the assumptions 2^kappa < lambda and theta^{< kappa}< lambda for all theta < lambda when mu > lambda), with the obvious new consequence concerning the possible value of No. Specifically, the case No(M)= lambda is possible when theta^kappa < lambda for every theta < lambda.

Recommendations

• On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• A pair of nonisomorphic \(\equiv _{\infty \lambda}\) models of power \(\lambda\) for \(\lambda\) singular with \(\lambda ^{\omega}=\lambda\)
• The number of L_∞κ-equivalent nonisomorphic models for κ weakly compact
• On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A

Cites work

• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• Number of models in \(L_{\infty,\omega_1}\) theories. II
• On the number of nonisomorphic models in L//(infinity,k) when k is weakly compact
• On the number of nonisomorphic models of cardinality lambda L(infinity,lambda)-equivalent to a fixed model
• On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular

Cited in

(3)

• On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• On the number of \(L_{\infty\omega_1}\)-equivalent non-isomorphic models

This page was built for publication: On inverse γ-systems and the number of L_∞λ-equivalent, non-isomorphic models for λ singular

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953219)