Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society since 1900, Transactions of the American Mathematical Society is devoted to longer research articles in all areas of pure and applied mathematics.

ISSN 1088-6850 (online) ISSN 0002-9947 (print)

The 2024 MCQ for Transactions of the American Mathematical Society is 1.48 .

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Consistency results concerning supercompactness
HTML articles powered by AMS MathViewer

by Telis K. Menas
Trans. Amer. Math. Soc. 223 (1976), 61-91
DOI: https://doi.org/10.1090/S0002-9947-1976-0540771-8
PDF | Request permission

Abstract:

A general framework for proving relative consistency results with regard to supercompactness is developed. Within this framework we prove the relative consistency of the assertion that every set is ordinal definable with the statement asserting the existence of a supercompact cardinal. We also generalize Easton’s theorem; the new element in our result is that our forcing conditions preserve supercompactness.
References
  • William B. Easton, Powers of regular cardinals, Ann. Math. Logic 1 (1970), 139–178. MR 269497, DOI 10.1016/0003-4843(70)90012-4
  • Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. MR 0167440
  • Thomas J. Jech, Lectures in set theory, with particular emphasis on the method of forcing, Lecture Notes in Mathematics, Vol. 217, Springer-Verlag, Berlin-New York, 1971. MR 0321738, DOI 10.1007/BFb0061131
  • Thomas J. Jech, Trees, J. Symbolic Logic 36 (1971), 1–14. MR 284331, DOI 10.2307/2271510
    • M. Magidor, Dissertation, University of Jerusalem, 1972.
  • John Myhill and Dana Scott, Ordinal definability, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 271–278. MR 0281603
    • W. Reinhardt and R. Solovay, Strong axioms of infinity and elementary embeddings (to appear). D. Scott and R. Solovay, Boolean-valued models for set theory, mimeographed notes.
  • J. R. Shoenfield, Unramified forcing, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 357–381. MR 0280359
  • Jack Silver, The independence of Kurepa’s conjecture and two-cardinal conjectures in model theory, Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) Amer. Math. Soc., Providence, R.I., 1971, pp. 383–390. MR 0277379
    • —, Forthcoming paper on large cardinals and the G.C.H.
  • R. M. Solovay and S. Tennenbaum, Iterated Cohen extensions and Souslin’s problem, Ann. of Math. (2) 94 (1971), 201–245. MR 294139, DOI 10.2307/1970860
    • D. H. Stewart, M. Sci. Thesis, Bristol, 1966. F. Tall, Doctoral Dissertation, University of Wisconsin, 1969.
Similar Articles
  • Retrieve articles in Transactions of the American Mathematical Society with MSC: 02K35, 02H13, 02K05
  • Retrieve articles in all journals with MSC: 02K35, 02H13, 02K05
Bibliographic Information
  • © Copyright 1976 American Mathematical Society
  • Journal: Trans. Amer. Math. Soc. 223 (1976), 61-91
  • MSC: Primary 02K35; Secondary 02H13, 02K05
  • DOI: https://doi.org/10.1090/S0002-9947-1976-0540771-8
  • MathSciNet review: 0540771