Skip to Main Content

Bulletin of the American Mathematical Society

The Bulletin publishes expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic. The Bulletin also publishes reviews of selected books in mathematics and short articles in the Mathematical Perspectives section, both by invitation only.

ISSN 1088-9485 (online) ISSN 0273-0979 (print)

The 2020 MCQ for Bulletin of the American Mathematical Society is 0.84.

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.

 

“Recursive isomorphism” and effectively extensible theories
HTML articles powered by AMS MathViewer

by Marian Boykan Pour-El PDF
Bull. Amer. Math. Soc. 71 (1965), 551-555
References
    1. G. Kreisel, Relative consistency and translatability(abstract), J. Symbolic Logic23 (1958), 108-109.
  • John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205
  • Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300, DOI 10.1515/9781400882007
  • Alfred Tarski, Undecidable theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1953. In collaboration with Andrzej Mostowski and Raphael M. Robinson. MR 0058532
Additional Information
  • Journal: Bull. Amer. Math. Soc. 71 (1965), 551-555
  • DOI: https://doi.org/10.1090/S0002-9904-1965-11325-8
  • MathSciNet review: 0175783