Title of article
Scattered toposes Original Research Article
Author/Authors
LEO ESAKIA، نويسنده , , Mamuka Jibladze ، نويسنده , , Dito Pataraia، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
11
From page
97
To page
107
Abstract
A class of toposes is introduced and studied, suitable for semantical analysis of an extension of the Heyting predicate calculus admitting Gödelʹs provability interpretation.
Keywords
Fixed point , topos , Proof-intuitionistic logic , Heyting algebra
Journal title
Annals of Pure and Applied Logic
Serial Year
2000
Journal title
Annals of Pure and Applied Logic
Record number
889718
Link To Document