Corrigendum to ``Set existence property for intuitionistic theories with dependent choice
From MaRDI portal
Publication:793724
DOI10.1016/0168-0072(84)90044-7zbMath0539.03040OpenAlexW4211013234MaRDI QIDQ793724
Harvey M. Friedman, Andrej Scedrov
Publication date: 1984
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(84)90044-7
Related Items
The lack of definable witnesses and provably recursive functions in intuitionistic set theories ⋮ Arithmetic transfinite induction and recursive well-orderings