En matemáticas, el topos efectivo es un topos introducido por Martin Hyland ( 1982 ), basado en la noción de realizabilidad recursiva de Kleene , que captura la idea de efectividad en matemáticas.
Referencias
- Hyland, JME (1982), "The Effective Topos", en Troelstra, AS; Dalen, D. van (eds.), The LEJ Brouwer Centenary Symposium (Noordwijkerhout, 1981) , Studies in Logic and the Foundations of Mathematics, 110 , Amsterdam: North-Holland, págs. 165–216, doi : 10.1016 / S0049- 237X (09) 70129-6 , ISBN 978-0-444-86494-9, MR 0717245
- Kleene, Carolina del Sur (1945). "Sobre la interpretación de la teoría intuicionista de números". Revista de lógica simbólica . 10 (4): 109-124. doi : 10.2307 / 2269016 . JSTOR 2269016 .
- Phoa, Wesley (1992), Introducción a las fibraciones, teoría de topos, topos efectivos y conjuntos modestos
- Bernadet, Alexis; Graham-Lengrand, Stéphane (2013). "Una simple presentación de los topos efectivos". arXiv : 1307.3832 .