scientific article
From MaRDI portal
Publication:3789554
zbMath0646.03049MaRDI QIDQ3789554
Publication date: 1988
Full work available at URL: https://eudml.org/doc/17594
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
inductive definitionsalternative set theorycut of natural numbersdefinability by positive formulasnormal formula
Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15) Inductive definability (03D70)
This page was built for publication: