User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Scattered toposes

Primary tabs

Esakia, L Jibladze, M Pataraia, D

A class of toposes is introduced and studied, suitable for semantical analysis of an extension of the Heyting predicate calculus admitting Godel's provability interpretation. (C) 2000 Elsevier Science B.V. All rights reserved.

Document type Article de périodique (Journal article) – Article de recherche
Access type Accès restreint
Publication date 2000
Language Anglais
Journal information "Annals of Pure and Applied Logic" - Vol. 103, no. 1-3, p. 97-107 (2000)
Peer reviewed yes
Publisher Elsevier Science Bv (Amsterdam)
issn 0168-0072
e-issn 1873-2461
Publication status Publié
Affiliation UCL
Keywords topos ; proof-intuitionistic logic ; Heyting algebra ; fixed point
Links
Bibliographic reference Esakia, L ; Jibladze, M ; Pataraia, D. Scattered toposes. In: Annals of Pure and Applied Logic, Vol. 103, no. 1-3, p. 97-107 (2000)
Permanent URL http://hdl.handle.net/2078.1/43559