scientific article; zbMATH DE number 7686321

DOI10.29229/UZMJ.2023-1-6zbMATH Open1524.03031MaRDI QIDQ6042006FDOQ6042006

Authors: N. Kh. Kasymov 

Publication date: 15 May 2023

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

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)

• Title not available (Why is that?)

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)