14 Dec
2010
14 Dec
'10
9:29 p.m.
Do you know if anyone has studied realizability triposes by looking at their associated allegories/bicategories of relations, and/or compared (in that context or another) the category-of-pers construction of realizability toposes with the exact-completion method?
You should look at A. Carboni, Some free constructions in realizability and proof theory. J. Pure Appl. Algebra 103 (1995), no. 2, 117–148 J. van Oosten, Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, 152. Elsevier B. V., Amsterdam, 2008 --Pino Rosolini [For admin and other information see: http://www.mta.ca/~cat-dist/ ]