The Heyting doctrines
Commentationes Mathematicae Universitatis Carolinae (1972)
- Volume: 013, Issue: 4, page 643-657
- ISSN: 0010-2628
Access Full Article
topHow to cite
topKůrka, Petr. "The Heyting doctrines." Commentationes Mathematicae Universitatis Carolinae 013.4 (1972): 643-657. <http://eudml.org/doc/16525>.
@article{Kůrka1972,
author = {Kůrka, Petr},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {4},
pages = {643-657},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {The Heyting doctrines},
url = {http://eudml.org/doc/16525},
volume = {013},
year = {1972},
}
TY - JOUR
AU - Kůrka, Petr
TI - The Heyting doctrines
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1972
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 013
IS - 4
SP - 643
EP - 657
LA - eng
UR - http://eudml.org/doc/16525
ER -
References
top- F. W. LAWVERE, Adjointness in Foundations, Dialectica 23 (1969), 281-295 . (1969) Zbl0341.18002MR2223032
- F. W. LAWVERE, Equality in hyperdoctrines and comprehension schema as an adjoint functor, Proceedings of Symposia in pure mathematics XVII (1970), 1-14. (1970) Zbl0234.18002MR0257175
- A. TARSKI A. MOSTOWSKI R. M. ROBINSON, Undecidable theories, Amsterdam 1953. (1953)
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.