| Title:
|
The Heyting doctrines (English) |
| Author:
|
Kůrka, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
13 |
| Issue:
|
4 |
| Year:
|
1972 |
| Pages:
|
643-657 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02C15 |
| MSC:
|
02C99 |
| MSC:
|
03B55 |
| MSC:
|
03B99 |
| MSC:
|
18A15 |
| MSC:
|
18A40 |
| MSC:
|
18D99 |
| idZBL:
|
Zbl 0272.02050 |
| idMR:
|
MR0314931 |
| . |
| Date available:
|
2008-06-05T20:40:00Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105449 |
| . |
| Reference:
|
[1] F. W. LAWVERE: Adjointness in Foundations.Dialectica 23 (1969), 281-295 . Zbl 0341.18002, MR 2223032 |
| Reference:
|
[2] F. W. LAWVERE: Equality in hyperdoctrines and comprehension schema as an adjoint functor.Proceedings of Symposia in pure mathematics XVII (1970), 1-14. Zbl 0234.18002, MR 0257175 |
| Reference:
|
[3] A. TARSKI A. MOSTOWSKI R. M. ROBINSON: Undecidable theories.Amsterdam 1953. |
| . |
