The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its ...
This is a preview. Log in through your library . Abstract This paper discusses Bulgarian and Slovenian constructions with a dispositional reading and no apparent dispositional marker, such as ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback