About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Kůrka, Petr
The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657
MSC: 02C15, 02C99, 03B55, 03B99, 18A15, 18A40, 18D99 | MR 0314931 | Zbl 0272.02050
References:
[1] F. W. LAWVERE: Adjointness in Foundations. Dialectica 23 (1969), 281-295 . MR 2223032 | Zbl 0341.18002
[2] F. W. LAWVERE: Equality in hyperdoctrines and comprehension schema as an adjoint functor. Proceedings of Symposia in pure mathematics XVII (1970), 1-14. MR 0257175 | Zbl 0234.18002
[3] A. TARSKI A. MOSTOWSKI R. M. ROBINSON: Undecidable theories. Amsterdam 1953.
Partner of
EuDML logo