Эффективные топосы - Effective topos

В математике эффективный топос - это топос, введенный Мартином Хайландом  ( 1982 ), основанный на концепции рекурсивной реализуемости Клини , который отражает идею эффективности в математике.

Ссылки

  • Хайланд, JME (1982), «Эффективные топосы», в Troelstra, AS; Дален, Д. ван (ред.), ЛиД Брауэр Столетие симпозиум (Noordwijkerhout, 1981) , Исследования в области логики и основы математики, 110 , Amsterdam: North-Holland, стр 165-216,. Дои : 10.1016 / S0049- 237X (09) 70129-6 , ISBN 978-0-444-86494-9, Руководство по ремонту  0717245
  • Клини, SC (1945). «Об интерпретации интуиционистской теории чисел». Журнал символической логики . 10 (4): 109–124. DOI : 10.2307 / 2269016 . JSTOR  2269016 .
  • Phoa, Wesley (1992), Введение в расслоения, теорию топосов, эффективные топосы и скромные множества
  • Бернадет, Алексис; Грэм-Ленгран, Стефан (2013). «Простая презентация эффективных топосов». arXiv : 1307.3832 .