Representing models by finite trees

zbMath1250.03053MaRDI QIDQ447662

Yurij Dmitrievich Korol'kov

Publication date: 5 September 2012

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

zbMATH Keywords

decidabilityfirst-order theorieselementary equivalence

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

This page was built for publication: Representing models by finite trees