scientific article; zbMATH DE number 7686321

DOI10.29229/UZMJ.2023-1-6MaRDI QIDQ6042006zbMATH OpenFDO

Authors N. Kh. Kasymov

Publication date 15 May 2023

zbMATH Keywords

computabilitynegative and positive diagramstandard enumerationfinite \(\forall\)-definabilitynegative and positive representability of many-sorted systemsuniversal and existential definability

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cited in

(1)

• scientific article; zbMATH DE number 4104930 (Why is no real title available?)

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