Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''
scientific article; zbMATH DE number 6686425
scientific article