The number of L∞κ-equivalent nonisomorphic models for κ weakly compact

DOI10.4064/FM174-2-1zbMATH Open0998.03030arXivmath/9911232OpenAlexW1483664487MaRDI QIDQ4548838FDOQ4548838

Authors: S. Shelah, Pauli Väisänen 

Publication date: 27 August 2002

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: For a cardinal kappa and a model M of cardinality kappa let No(M) denote the number of non-isomorphic models of cardinality kappa which are L_{infty,kappa}--equivalent to M. In [Sh:133] Shelah established that when kappa is a weakly compact cardinal and mu<=kappa is a nonzero cardinal, there exists a model M of cardinality kappa with No(M)=mu. We prove here that if kappa is a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality kappa is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Sigma^1_1-definable over V_kappa. In math.LO/9911231 we prove that, consistent wise, the possible numbers of equivalence classes of Sigma^1_1-equivalence relations can be completely controlled under the singular cardinal hypothesis. These results settle the problem of the possible values of No(M) for models of weakly compact cardinality, provided that the singular cardinal hypothesis holds.

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

Recommendations

• On the number of \(L_{\infty\omega_1}\)-equivalent non-isomorphic models
• On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular
• Weakly compact cardinals in models of set theory
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A

zbMATH Keywords

infinitary logicnumber of models

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Other infinitary logic (03C75)

Cited In (5)

• A parallel to the null ideal for inaccessible \(\lambda\). I
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• On the number of \(L_{\infty\omega_1}\)-equivalent non-isomorphic models
• Orders of indescribable sets
• On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular

This page was built for publication: The number of L_∞κ-equivalent nonisomorphic models for κ weakly compact

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