scientific article; zbMATH DE number 7139137

zbMath1438.03013MaRDI QIDQ4973195

S. A. Aleksandrova

Publication date: 2 December 2019

Full work available at URL: http://mathnet.ru/eng/vngu459

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computability\(\Sigma \)-definabilityhereditarily finite superstructurehereditarily finite list superstructure\(\Sigma \)-definable structure

Mathematics Subject Classification ID

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

This page was built for publication: