Search
Search Funnelback University
- Refined by:
- Date: 2016
1 -
3 of
3
search results for KA :PC53 24 |u:www.dpmms.cam.ac.uk
where 0
match all words and 3
match some words.
Results that match 2 of 3 words
-
Topics.dvi
https://www.dpmms.cam.ac.uk/~twk/Gow.pdf23 Apr 2016: Exercise 24. (i) Show that the set l of bounded sequences over F (withF = R or F = C). ... 24. Theorem 77. (Krein–Milman). Let E be the dual space of a normedvector space. -
The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/hyland-effectivetopos.pdf25 May 2016: The Effective Topos. J.M.E. HylandDepartment of Pure Mathematics, Cambridge, England. 0 IntroductionThe subject of this paper is the most accessible of a series of toposes whichcan be constructed from notions of realizability: it is that based on -
The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…
https://www.dpmms.cam.ac.uk/~martin/Research/Pub81-90/hyland-effectivetopos.pdf25 May 2016: The Effective Topos. J.M.E. HylandDepartment of Pure Mathematics, Cambridge, England. 0 IntroductionThe subject of this paper is the most accessible of a series of toposes whichcan be constructed from notions of realizability: it is that based on
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.