On the number of equivalent nonisomorphic models
Authors:
Saharon Shelah and Pauli Väisänen
Journal:
Trans. Amer. Math. Soc. 353 (2001), 17811817
MSC (2000):
Primary 03C55; Secondary 03C75, 03E05
Published electronically:
December 29, 2000
MathSciNet review:
1707477
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We prove that if is consistent then is consistent with the following statement: There is for every a model of cardinality which is equivalent to exactly nonisomorphic models of cardinality . In order to get this result we introduce ladder systems and colourings different from the ``standard'' counterparts, and prove the following purely combinatorial result: For each prime number and positive integer it is consistent with that there is a ``good'' ladder system having exactly pairwise nonequivalent colourings.
 [Cha68]
The syntax and semantics of infinitary languages, Edited by Jon
Barwise. Lecture Notes in Mathematics, No. 72, SpringerVerlag, BerlinNew
York, 1968. MR
0234827 (38 #3141)
 [Dic85]
J.
Barwise and S.
Feferman (eds.), Modeltheoretic logics, Perspectives in
Mathematical Logic, SpringerVerlag, New York, 1985. MR 819531
(87g:03033)
 [EM90]
Paul
C. Eklof and Alan
H. Mekler, Almost free modules, NorthHolland Mathematical
Library, vol. 46, NorthHolland Publishing Co., Amsterdam, 1990.
Settheoretic methods. MR 1055083
(92e:20001)
 [ES96]
Paul
C. Eklof and Saharon
Shelah, New nonfree Whitehead groups by coloring, Abelian
groups and modules (Colorado Springs, CO, 1995) Lecture Notes in Pure and
Appl. Math., vol. 182, Dekker, New York, 1996, pp. 15–22.
MR
1415620 (98k:20091)
 [Gol93]
Martin
Goldstern, Tools for your forcing construction, Set theory of
the reals (Ramat Gan, 1991) Israel Math. Conf. Proc., vol. 6,
BarIlan Univ., Ramat Gan, 1993, pp. 305–360. MR 1234283
(94h:03102)
 [Pal77a]
E.
A. Paljutin, The number of models of
𝐿_{∞,𝜔₁}theories. II, Algebra i Logika
16 (1977), no. 4, 443–456, 494 (Russian). MR 0505221
(58 #21425b)
 [Pal77b]
E.
A. Paljutin, The number of models of
𝐿_{∞,𝜔₁}theories. II, Algebra i Logika
16 (1977), no. 4, 443–456, 494 (Russian). MR 0505221
(58 #21425b)
 [Sco65]
Dana
Scott, Logic with denumerably long formulas and finite strings of
quantifiers, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley),
NorthHolland, Amsterdam, 1965, pp. 329–341. MR 0200133
(34 #32)
 [She77]
Saharon
Shelah, Whitehead groups may be not free, even assuming CH. I,
Israel J. Math. 28 (1977), no. 3, 193–204. MR 0469757
(57 #9538)
 [She80]
Saharon
Shelah, Whitehead groups may not be free, even assuming CH.
II, Israel J. Math. 35 (1980), no. 4,
257–285. MR
594332 (82h:03055), http://dx.doi.org/10.1007/BF02760652
 [She81a]
Saharon
Shelah, The consistency of
𝐸𝑥𝑡(𝐺,𝑍)=𝑄, Israel J.
Math. 39 (1981), no. 12, 74–82. MR 617291
(82k:03084), http://dx.doi.org/10.1007/BF02762854
 [She81b]
Saharon
Shelah, On the number of nonisomorphic models of cardinality
𝜆\𝐿_{∞𝜆}equivalent to a fixed model,
Notre Dame J. Formal Logic 22 (1981), no. 1,
5–10. MR
603751 (82k:03054)
 [She82a]
Saharon
Shelah, On the number of nonisomorphic models in
𝐿_{∞,𝜅} when 𝜅 is weakly compact, Notre
Dame J. Formal Logic 23 (1982), no. 1, 21–26.
MR 634740
(84h:03093)
 [She82b]
Saharon
Shelah, Proper forcing, Lecture Notes in Mathematics,
vol. 940, SpringerVerlag, BerlinNew York, 1982. MR 675955
(84h:03002)
 [She85]
Saharon
Shelah, On the possible number 𝑛𝑜(𝑀)= the
number of nonisomorphic models 𝐿_{∞,𝜆}equivalent to
𝑀 of power 𝜆, for 𝜆 singular, Notre Dame J.
Formal Logic 26 (1985), no. 1, 36–50. MR 766665
(86h:03072), http://dx.doi.org/10.1305/ndjfl/1093870759
 [She86]
Saharon
Shelah, Around classification theory of models, Lecture Notes
in Mathematics, vol. 1182, SpringerVerlag, Berlin, 1986. MR 850051
(90a:03037)
 [She98]
Saharon
Shelah, Proper and improper forcing, 2nd ed., Perspectives in
Mathematical Logic, SpringerVerlag, Berlin, 1998. MR 1623206
(98m:03002)
 [SV]
Saharon Shelah and Pauli Väisänen, On inverse systems and the number of equivalent, nonisomorphic models for singular, J. Symbolic Logic 65 (2000), 272284.
 [Cha68]
 C. C. Chang, Some remarks on the model theory of infinitary languages, The Syntax and Semantics of Infinitary Languages (J. Barwise, ed.), Lecture Notes in Math., 72, SpringerVerlag, Berlin, 1968, pp. 3663. MR 38:3141
 [Dic85]
 M. A. Dickmann, Larger infinitary languages, Modeltheoretic Logics (J. Barwise and S. Feferman, eds.), Perspect. Math. Logic, SpringerVerlag, New York, 1985, pp. 317363. MR 87g:03033
 [EM90]
 Paul C. Eklof and Alan H. Mekler, Almost free modules, NorthHolland Math. Library, 46, NorthHolland, Amsterdam, 1990. MR 92e:20001
 [ES96]
 Paul C. Eklof and Saharon Shelah, New nonfree Whitehead groups by coloring, Abelian Groups and Modules (Colorado Springs, CO, 1995), Lecture Notes in Pure and Appl. Math., 182, Dekker, New York, 1996, pp. 1522.MR 98k:20091
 [Gol93]
 Martin Goldstern, Tools for your forcing construction, Set Theory of the Reals (Ramat Gan, 1991) (H. Judah, ed.), Israel Math. Conf. Proc., 6, BarIlan Univ., Ramat Gan, 1993, pp. 305360. MR 94h:03102
 [Pal77a]
 E. A. Palyutin, Number of models in theories, II, Algebra i Logika 16 (1977) 443456, English translation, [Pal77b]. MR 58:21425b
 [Pal77b]
 E. A. Palyutin, Number of models in theories, II, Algebra and Logic 16 (1977), 299309. MR 58:21425b
 [Sco65]
 Dana Scott, Logic with denumerably long formulas and finite strings of quantifiers, Theory of Models (Proc. 1963 Internat. Sympos., Berkeley, CA) (J. W. Addison, Leon Henkin, and Alfred Tarski, eds.), NorthHolland, Amsterdam, 1965, pp. 329334. MR 34:32
 [She77]
 Saharon Shelah, Whitehead groups may be not free, even assuming CH, I, Israel J. Math. 28 (1977), 193204. MR 57:9538
 [She80]
 Saharon Shelah, Whitehead groups may not be free even assuming CH, II, Israel J. Math. 35 (1980), 257285. MR 82h:03055
 [She81a]
 Saharon Shelah, The consistency of , Israel J. Math. 39 (1981), 7482. MR 82k:03084
 [She81b]
 Saharon Shelah, On the number of nonisomorphic models of cardinality equivalent to a fixed model, Notre Dame J. Formal Logic 22 (1981), 510. MR 82k:03054
 [She82a]
 Saharon Shelah, On the number of nonisomorphic models in when is weakly compact, Notre Dame J. Formal Logic 23 (1982), 2126.MR 84h:03093
 [She82b]
 Saharon Shelah, Proper forcing, Lecture Notes in Math., 940, SpringerVerlag, BerlinNew York, 1982. MR 84h:03002
 [She85]
 Saharon Shelah, On the possible number the number of nonisomorphic models equivalent to of power , for singular, Notre Dame J. Formal Logic 26 (1985), 3650. MR 86h:03072
 [She86]
 Saharon Shelah, On the for of singular power, Around Classification Theory of Models, Lecture Notes in Math., 1182, SpringerVerlag, Berlin, 1986, pp. 120134. MR 90a:03037
 [She98]
 Saharon Shelah, Proper and improper forcing, second ed., SpringerVerlag, Berlin, 1998. MR 98m:03002
 [SV]
 Saharon Shelah and Pauli Väisänen, On inverse systems and the number of equivalent, nonisomorphic models for singular, J. Symbolic Logic 65 (2000), 272284.
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
03C55,
03C75,
03E05
Retrieve articles in all journals
with MSC (2000):
03C55,
03C75,
03E05
Additional Information
Saharon Shelah
Affiliation:
Institute of Mathematics, The Hebrew University, Jerusalem, Israel and Rutgers University, Hill CtrBusch, New Brunswick, New Jersey 08903
Email:
shelah@math.huji.ac.il
Pauli Väisänen
Affiliation:
Department of Mathematics, P.O. Box 4, 00014 University of Helsinki, Finland
Email:
pauli.vaisanen@helsinki.fi
DOI:
http://dx.doi.org/10.1090/S0002994700026040
PII:
S 00029947(00)026040
Keywords:
Number of models,
ladder system,
uniformization,
infinitary logic,
iterated forcing
Received by editor(s):
April 28, 1997
Published electronically:
December 29, 2000
Additional Notes:
The first author thanks GIF for its support of this research, and also the University of Helsinki for funding a visit of the first author to Helsinki in August 1996. This is his paper number 646.
This paper is the second author’s Licentiate’s thesis. The second author did his share of the paper under the supervision of Tapani Hyttinen.
Article copyright:
© Copyright 2000
American Mathematical Society
