×

On interpretability in set theories. II. (English) Zbl 0251.02064


MSC:

03E30 Axiomatics of classical set theory and its fragments
03D55 Hierarchies of computability and definability
03E99 Set theory
03B99 General logic
03E35 Consistency and independence results
PDFBibTeX XMLCite
Full Text: EuDML