Hajek, Petr Degrees of dependence in the theory of semisets. (English) Zbl 0302.02022 Fundam. Math. 82, 11-24 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03E70 Nonclassical and second-order set theories 03D30 Other degrees and reducibilities in computability and recursion theory 03E35 Consistency and independence results 03E25 Axiom of choice and related propositions PDFBibTeX XMLCite \textit{P. Hajek}, Fundam. Math. 82, 11--24 (1974; Zbl 0302.02022) Full Text: DOI EuDML