Scattered toposes

Authors
Esakia, L Jibladze, M Pataraia, D
Citation
L. Esakia et al., Scattered toposes, ANN PUR APP, 103(1-3), 2000, pp. 97-107
Citations number
11
Categorie Soggetti
Mathematics
Journal title
ANNALS OF PURE AND APPLIED LOGIC
ISSN journal
01680072 → ACNP
Volume
103
Issue
1-3
Year of publication
2000
Pages
97 - 107
Database
ISI
SICI code
0168-0072(20000515)103:1-3<97:ST>2.0.ZU;2-M
Abstract
A class of toposes is introduced and studied, suitable for semantical analy sis of an extension of the Heyting predicate calculus admitting Godel's pro vability interpretation. (C) 2000 Elsevier Science B.V. All rights reserved .