Pages that link to "Item:Q1756694"
From MaRDI portal
The following pages link to Hindman's theorem and idempotent types (Q1756694):
Displaying 5 items.
- Helly's selection theorem and the principle of local reflexivity of ordered type (Q1333615) (← links)
- The symbol of type and the Wilson theorem (Q1941843) (← links)
- Idempotent ultrafilters without Zorn’s Lemma (Q4590993) (← links)
- On the identity type as the type of computational paths (Q4644591) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709983) (← links)