scientific article

zbMath0524.03051MaRDI QIDQ3037432

L. N. Gordeev

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

conservativeconstructive set theoriesextensions of intuitionistic first order arithmetic

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Other set-theoretic hypotheses and axioms (03E65)

Related Items (4)

Axiomatizing higher-order Kleene realizability ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ The strength of extensionality. I: Weak weak set theories with infinity

This page was built for publication: