×

Degrees of dependence in the theory of semisets. (English) Zbl 0302.02022

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
Full Text: DOI EuDML