Powiadomienia systemowe
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
In this paper Fm going to investigate the subcategory of the category of sets valued by some Heyting algebra. The notion of a Heyting algebra valued set was introduced by Scott [1] in 1972 in his work a the intuitionistic set theory. The categories of Heyting algebra valued sets were investigated and described by D. Higgs in [3] and [4].
Słowa kluczowe
Rocznik
Tom
Strony
85--88
Opis fizyczny
Bibliogr. 5 poz.
Twórcy
autor
Bibliografia
- [1] M.P. Fourman, D.S. Scott, Sheaves and logic, in: „Applications of Sheaves", Procedings, Durham 1977, ed. M.P. Fourman el al., Lecture Notes in Mathematics Vol., 753, Berlin 1979, 302 - 401.
- [2] H. Herrlich and G.E. Strecker, Category Theory, Boston 1973, Printed in the United States of America.
- [3] D. Higgs, A category approach to Boolean - valued set theory [preprint, University of Waterloo 1973].
- [4] D. Higgs, Injectivity in the topos of complete Heyting algebra valued sets, Canad. J. Math. 36 (1984), 550 - 568.
- [5] A. Obtułowicz, Rough sets and Heyting algebra valued sets, Bull. Pol. Ac.: Math., 35 (9 - 10), 1987, 667 - 673.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-92391096-c47b-4dad-b721-30701108d0a1