Search results
- 1.0401207 - UIVT-O 872105 US eng A - Abstract
Hájek, Petr
Partial Conservativity Revisited.
Journal of Symbolic Logic. Cambridge University Press. Roč. 52, č. 4 (1987), s. 1066-1066. ISSN 0022-4812. E-ISSN 1943-5886.
[European Summer Meeting of the Association for Symbolic Logic. 13.07.1986-19.07.1986, Hull]
http://projecteuclid.org/euclid.jsl/1183742526
Permanent Link: http://hdl.handle.net/11104/0121680File Download Size Commentary Version Access 401207-h.pdf 2 86.1 KB Publisher’s postprint require - 2.0400809 - UIVT-O 001128 US eng A - Abstract
Vopěnka, P. - Balcar, B. - Hájek, Petr
The Notion of Effective Sets and a New Proof of the Consistency of the Axiom of Choice.
Journal of Symbolic Logic. Cambridge University Press. Roč. 33, č. 3 (1968), s. 495-496. ISSN 0022-4812. E-ISSN 1943-5886
http://projecteuclid.org/euclid.jsl/1183736469
Permanent Link: http://hdl.handle.net/11104/0121285File Download Size Commentary Version Access 400809-h.pdf 2 314.1 KB Publisher’s postprint require - 3.0326610 - UIVT-O 001149 US eng A - Abstract
Hájek, Petr - Kučera, A.
A Contribution to recursion Theory in Fragments of Arithmetic.
Journal of Symbolic Logic. Cambridge University Press. Roč. 52, č. 3 (1987), s. 888-890. ISSN 0022-4812. E-ISSN 1943-5886
http://projecteuclid.org/euclid.jsl/1183742459
Permanent Link: http://hdl.handle.net/11104/0173658File Download Size Commentary Version Access 326610-h.pdf 2 118.5 KB Publisher’s postprint require - 4.0326609 - UIVT-O 001149 US eng A - Abstract
Hájek, Petr
A Note on Partially Conservative Extensions of Arithmetic.
Journal of Symbolic Logic. Cambridge University Press. Roč. 45, č. 2 (1980), s. 391-392. ISSN 0022-4812. E-ISSN 1943-5886
http://projecteuclid.org/euclid.jsl/1183740586
Permanent Link: http://hdl.handle.net/11104/0173657