On existential interpretability of structures

zbMath1354.03044MaRDI QIDQ892029

A. Zh. Satekbaeva, Jamalbek Tussupov, Andrey S. Morozov

Publication date: 18 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v11/p557-566.pdf

zbMATH Keywords

semilatticedefinabilitycomputable structureconstructive structureexistential interpretability

Mathematics Subject Classification ID

Database theory (68P15) Computable structure theory, computable model theory (03C57)

Related Items (2)

On some reducibility and existential interpretability of structures ⋮ Minimal predicates for \(\Delta \)-definability

This page was built for publication: On existential interpretability of structures