Classification of 𝐴𝐸𝐴 formulas by letter atoms

Dreben, Burton; Kahr, A. S.; Wang, Hao

doi:10.1090/S0002-9904-1962-10809-X

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.

Classification of $AEA$ formulas by letter atoms
HTML articles powered by AMS MathViewer

by Burton Dreben, A. S. Kahr and Hao Wang PDF

Bull. Amer. Math. Soc. 68 (1962), 528-532

References

Burton S. Dreben, Solvable Surányi subclasses: An introduction to the Herbrand theory, Proc. Harvard Sympos. Digital Computers Appl. (Cambridge, Mass., 1961), Harvard Univ. Press, Cambridge, Mass., 1962, pp. 32–47. MR 0218230
A. S. Kahr, Edward F. Moore, and Hao Wang, Entscheidungsproblem reduced to the $\forall \exists \forall$ case, Proc. Nat. Acad. Sci. U.S.A. 48 (1962), 365–377. MR 169777, DOI 10.1073/pnas.48.3.365

Additional Information

Journal: Bull. Amer. Math. Soc. 68 (1962), 528-532
DOI: https://doi.org/10.1090/S0002-9904-1962-10809-X
MathSciNet review: 0169778