Defining algorithmically presented structures in first order logic

DOI10.1145/3661814.3662120MaRDI QIDQ6970228zbMATH OpenFDO

Authors Bakhadyr Khoussainov, Nadim Kasymov, Nadira Karimova

Publication date 18 June 2025

zbMATH Keywords

isomorphismsexpansionsnegative structurespositive structurescomputable enumerationexpressive power of first-order logic

Mathematics Subject Classification ID

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

This page was built for publication: Defining algorithmically presented structures in first order logic

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