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.


An introduction to univalent foundations for mathematicians
HTML articles powered by AMS MathViewer

by Daniel R. Grayson PDF
Bull. Amer. Math. Soc. 55 (2018), 427-450


We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the encoding reveals a potentially viable foundation for all of modern mathematics that can serve as an alternative to set theory.
Similar Articles
  • Retrieve articles in Bulletin of the American Mathematical Society with MSC (2010): 03B35, 03B15
  • Retrieve articles in all journals with MSC (2010): 03B35, 03B15
Additional Information
  • Daniel R. Grayson
  • Affiliation: 2409 S. Vine St., Urbana, Illinois 61801
  • MR Author ID: 76410
  • Email:
  • Received by editor(s): February 7, 2018
  • Published electronically: March 5, 2018
  • © Copyright 2018 Daniel R. Grayson
  • Journal: Bull. Amer. Math. Soc. 55 (2018), 427-450
  • MSC (2010): Primary 03B35, 03B15
  • DOI:
  • MathSciNet review: 3854072