scientific article; zbMATH DE number 3811534

zbMATH Open0514.03008MaRDI QIDQ3659754FDOQ3659754

Authors: Claudio Bernardi 

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

fixed point propertyprecomplete numerationextensional formulapositive equivalence relation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)

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 Q3659754)