- Tytuł:
- Why Topology in the Minimalist Foundation Must be Pointfree
- Autorzy:
-
Maria Emilia Maietti
Giovanni Sambin - Data publikacji:
- 2013-06-01
- Tematy:
-
pointfree topology
real numbers
choice sequences
Bar Induction
constructive type theory
axiom of unique choice
minimalist foundation - Pokaż więcej
- Dostawca treści:
- CEJSH