scientific article
From MaRDI portal
Publication:3789554
zbMATH Open0646.03049MaRDI QIDQ3789554FDOQ3789554
Publication date: 1988
Full work available at URL: https://eudml.org/doc/17594
Title of this publication is not available (Why is that?)
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)
Cited In (4)
Recommendations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789554)