scientific article
From MaRDI portal
Publication:3197818
zbMath0713.03027MaRDI QIDQ3197818
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructible setsAlternative Set Theoryinterpretations of nth-order arithmetic in nth- order arithmetic without scheme of choice
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
This page was built for publication: