zbMath0524.03051MaRDI QIDQ3037432
L. N. Gordeev
Publication date: 1982
zbMATH Keywords
conservative; constructive set theories; extensions of intuitionistic first order arithmetic
Mathematics Subject Classification ID
03F65: Other constructive mathematics
03E65: Other set-theoretic hypotheses and axioms
Related Items