RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive
Bulletin of Irkutsk State University. Series Mathematics, 2012 Volume 5, Issue 1, Pages 48–56 (Mi iigum57)
Representing the models by the finite trees

Yu. D. Korolkov

Irkutsk State University, 1, K. Marks St., Irkutsk, 664003

Abstract: In the article the apparatus of the finite formula trees for algebra-logical models is designed. The apparatus represents the elementary equivalency and decidability of the models.

Keywords: first order theories; models; elementary equivalency; decidability.

UDC: 517.11


© Steklov Math. Inst. of RAS, 2024