Scattered toposes

Esakia, L;Jibladze, M;Pataraia, D
(2000) Annals of Pure and Applied Logic — Vol. 103, n° 1-3, p. 97-107 (2000)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 85.11 KB
No access

Details

Authors
  • Esakia, L
    Author
  • Jibladze, M
    Author
  • Pataraia, D
    Author
Abstract
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.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Esakia, L., Jibladze, M., & Pataraia, D. (2000). Scattered toposes. Annals of Pure and Applied Logic, 103(1-3), 97-107. https://doi.org/10.1016/S0168-0072(99)00035-4 (Original work published 2000)