Skuteczne topos - Effective topos

W matematyce, że skuteczne topos jest topos wprowadzone przez Martina Hyland  ( 1982 ), w oparciu o KLEENE za pojęciem rekurencyjnego realizowalności, który przechwytuje ideę skuteczności do matematyki.

Referencje

  • Hyland, JME (1982), "skuteczne topos", w Troelstra AS; Dalen, D. van, LEJ Brouwer Stulecie Symposium (Noordwijkerhout 1981) , Studies in Logic oraz podstaw matematyki, 110 , Amsterdam. Północna Holandia, pp 165-216, doi : 10,1016 / S0049-237X (09) 70129-6 , ISBN  978-0-444-86494-9 , MR  0717245
  • Kleene, SC (1945). „W interpretacji intuicjonistycznej teorii liczb”. Journal of Symbolic Logic . 10 (4): 109-124. doi : 10,2307 / 2269016 . JSTOR  2269016 .
  • PhoA, Wesley (1992), Wprowadzenie do teorii fibrations, topos, skuteczne toposu i skromnych zbiorów
  • Bernadet Alexis; Graham, Lengrand Stephane (2013). „Prosta prezentacja skutecznych toposu”. arXiv : 1307,3832 .