|
and elementary end extensions of
Author(s):
Amir
Leshem
Journal:
Proc. Amer. Math. Soc.
129
(2001),
2445-2450.
MSC (1991):
Primary 03E45, 03E55
Posted:
January 18, 2001
MathSciNet review:
1823930
Retrieve article in:
PDF
This article is available free of charge
Abstract |
References |
Similar articles |
Additional information
Abstract:
In this paper we prove that if is a cardinal in , then there is an inner model such that has no elementary end extension. In particular if exists, then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than of uncountable cofinality in is Mahlo in every strict inner model of .
References:
-
- 1.
- A. Beller, R.B. Jensen, and P. Welch.
Coding the Universe. Cambridge University Press, 1982. MR 84b:03002 - 2.
- K. Kunen.
Saturated ideals. Journal of Symbolic Logic, 43:65-76, 1978. MR 80a:03068 - 3.
- J. Silver.
Some applications of model theory in set theory. Ann. Math. Logic 3:45-110, 1971. MR 53:12950 - 4.
- M.C. Stanley.
Backwards Easton forcing and . Journal of Symbolic Logic, 53, 1988. MR 90d:03109 - 5.
- A. Villaveces.
Chains of elementary end extensions of models of set theory. Journal of Symbolic Logic, 63:1116-1136, September 1998. CMP 99:02 - 6.
- A. Villaveces.
Height of models of ZFC and the existence of end elementary extensions. Lecture Notes in Pure and Appl. Math., 203, 1999. CMP 99:12
Similar Articles:
Retrieve articles in Proceedings of the American Mathematical
Society
with
MSC (1991):
03E45, 03E55
Retrieve articles in all Journals with
MSC (1991):
03E45, 03E55
Additional Information:
Amir
Leshem
Affiliation:
Institute of Mathematics, Hebrew University, Jerusalem, Israel
Address at time of publication:
Circuit and Systems, Faculty of Information Technology and Systems, Mekelweg 4, 2628CD Delft, The Netherlands
Email:
leshem@cas.et.tudelft.nl
DOI:
10.1090/S0002-9939-01-05847-6
PII:
S 0002-9939(01)05847-6
Keywords:
Models of set theory,
$0^{\sharp}$,
inner models
Received by editor(s):
October 19, 1999
Received by editor(s) in revised form:
December 27, 1999
Posted:
January 18, 2001
Communicated by:
Carl G. Jockusch, Jr.
Copyright of article:
Copyright
2001,
American Mathematical Society
|