topos eficazes - Effective topos

Em matemática, os topos eficazes é um topos introduzido por Martin Hyland  ( 1982 ), com base de Kleene noção de que capacidade de realização recursiva, que capta a idéia de efetividade em matemática.

Referências

  • Hyland, JME (1982), "O topos eficazes", em Troelstra, AS; Dalen, D. van, O LEJ Brouwer Centenário Simpósio (Noordwijkerhout, 1981) , Studies in lógica e os fundamentos da matemática, 110 , Amesterdão:. Norte da Holanda, pp 165-216, DOI : 10.1016 / S0049-237X (09) 70129-6 , ISBN  978-0-444-86494-9 , MR  0.717.245
  • Kleene, SC (1945). "Quanto à interpretação da teoria dos números intuitionistic". Journal of Symbolic Logic . 10 (4): 109-124. doi : 10,2307 / 2269016 . JSTOR  2.269.016 .
  • PhoA, Wesley (1992), An introduction to fibrações, teoria topos, os topos eficazes e conjuntos modestos
  • Bernadet, Alexis; Graham-Lengrand, Stéphane (2013). "A simples apresentação dos topos eficazes". arXiv : 1307,3832 .