Efektivní topos - Effective topos

V matematice je efektivní topos je topos představil Martin Hyland  (1982 ), na základě Kleene pojem rekurzivní realizovatelnosti, který vystihuje myšlenku efektivita v matematice.

Reference

  • Hyland, J. M. E. (1982), „The efektivní topos“, Troelstra, A. S .; Dalen, D. van (eds.), The L.E.J. Brouwer Centenary Symposium (Noordwijkerhout, 1981)„Studium logiky a základy matematiky, 110, Amsterdam: Severní Holandsko, s. 165–216, doi:10.1016 / S0049-237X (09) 70129-6, ISBN  978-0-444-86494-9, PAN  0717245
  • Kleene, S. C. (1945). „K výkladu intuitivní teorie čísel“. Journal of Symbolic Logic. 10 (4): 109–124. doi:10.2307/2269016. JSTOR  2269016.
  • Phoa, Wesley (1992), Úvod do fibrací, teorie topos, efektivní topos a skromné ​​sady
  • Bernadet, Alexis; Graham-Lengrand, Stéphane (2013). Msgstr "Jednoduchá prezentace efektivních toposů". arXiv:1307.3832.