The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory

Overview of attention for article published in Synthese, October 2005

Altmetric Badge

About this Attention Score

Good Attention Score compared to outputs of the same age (65th percentile)

Mentioned by

twitter: 1 X user

wikipedia: 1 Wikipedia page

Citations

dimensions_citation: 18 Dimensions

Readers on

mendeley: 14 Mendeley
citeulike: 1 CiteULike

Summary X Wikipedia Dimensions citations

So far, Altmetric has seen 1 Wikipedia article.

English

Universe (mathematics)

Cited by user 2601:547:501:8F90:9D40:DDC3:A266:7948 on 21 Sep 2022

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the…

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.