The Heyting doctrines
Kůrka, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 013 (1972), p. 643-657 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1972-01-01
Classification:  02C15,  02C99,  03B55,  03B99,  18A15,  18A40,  18D99 
@article{105449,
     author = {Petr K\r urka},
     title = {The Heyting doctrines},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {013},
     year = {1972},
     pages = {643-657},
     zbl = {0272.02050},
     mrnumber = {0314931},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105449}
}

Kůrka, Petr. The Heyting doctrines. Commentationes Mathematicae Universitatis Carolinae, Tome 013 (1972) pp. 643-657. http://gdmltest.u-ga.fr/item/105449/

F. W. Lawvere Adjointness in Foundations, Dialectica 23 (1969), 281-295 . (1969) | MR 2223032 | Zbl 0341.18002

F. W. Lawvere Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proceedings of Symposia in pure mathematics XVII (1970), 1-14. (1970) | MR 0257175 | Zbl 0234.18002

A. Tarski A. Mostowski R. M. Robinson Undecidable theories, Amsterdam 1953. (1953)