Corrigendum to ``Set existence property for intuitionistic theories with dependent choice

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

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items

The lack of definable witnesses and provably recursive functions in intuitionistic set theories ⋮ Arithmetic transfinite induction and recursive well-orderings