On existential interpretability of structures

zbMATH Open1354.03044MaRDI QIDQ892029FDOQ892029

Authors: A. Zh. Satekbaeva, Andrei S. Morozov, D. A. Tusupov 

Publication date: 18 November 2015

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

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

Recommendations

• On some reducibility and existential interpretability of structures
• \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations
• scientific article; zbMATH DE number 3892594
• Effectively existentially-atomic structures
• Embeddings of computable structures

zbMATH Keywords

definabilitysemilatticecomputable structureconstructive structureexistential interpretability

Mathematics Subject Classification ID

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

Cited In (4)

• Minimal predicates for \(\Delta \)-definability
• On some reducibility and existential interpretability of structures
• The Functional Interpretation of the Existential Quantifier
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892029)