scientific article; zbMATH DE number 4053605
From MaRDI portal
Publication:3789554
zbMATH Open0646.03049MaRDI QIDQ3789554FDOQ3789554
Authors: Athanassios Tzouvaras
Publication date: 1988
Full work available at URL: https://eudml.org/doc/17594
Title of this publication is not available (Why is that?)
Recommendations
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 (6)
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)