Skip to Main Content

Proceedings of the American Mathematical Society

Published by the American Mathematical Society since 1950, Proceedings of the American Mathematical Society is devoted to shorter research articles in all areas of pure and applied mathematics.

ISSN 1088-6826 (online) ISSN 0002-9939 (print)

The 2020 MCQ for Proceedings of the American Mathematical Society is 0.85.

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.

 

A new proof of Kunen’s inconsistency
HTML articles powered by AMS MathViewer

by Jindrich Zapletal PDF
Proc. Amer. Math. Soc. 124 (1996), 2203-2204 Request permission

Abstract:

Using a basic fact from Shelah’s theory of possible cofinalities, we give a new proof of Kunen’s inconsistency theorem: there is no nontrivial elementary embedding of the set-theoretical universe into itself.
References
  • D. Burke, Splitting stationary sets, preprint.
  • M. Harada, Another proof for Kunen’s theorem, preprint.
  • T. Jech, Set Theory, Academic Press, New York, 1978.
  • Thomas Jech, On the cofinality of countable products of cardinal numbers, A tribute to Paul Erdős, Cambridge Univ. Press, Cambridge, 1990, pp. 289–305. MR 1117020
  • Kenneth Kunen, Elementary embeddings and infinitary combinatorics, J. Symbolic Logic 36 (1971), 407–413. MR 311478, DOI 10.2307/2269948
  • S. Shelah, Cardinal arithmetic, Oxford Logic Guides, vol. 29, Clarendon Press, Oxford, 1994.
Similar Articles
  • Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03E55
  • Retrieve articles in all journals with MSC (1991): 03E55
Additional Information
  • Jindrich Zapletal
  • Affiliation: Department of Mathematics, Pennsylvania State University, University Park, Pennsylvania 16802
  • Address at time of publication: M.S.R.I., 1000 Centennial Dr., Berkeley, California 94720
  • Email: jindra@msri.org
  • Received by editor(s): November 14, 1994
  • Received by editor(s) in revised form: January 20, 1995
  • Communicated by: Andreas R. Blass
  • © Copyright 1996 American Mathematical Society
  • Journal: Proc. Amer. Math. Soc. 124 (1996), 2203-2204
  • MSC (1991): Primary 03E55
  • DOI: https://doi.org/10.1090/S0002-9939-96-03281-9
  • MathSciNet review: 1317054