Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)

this Is The Only Monograph Devoted To The Expressibility Of Finitely Axiomatizable Theories, A Classical Subject In Mathematical Logic. The Volume Summarizes Investigations In The Field That Have Led To Much Of The Current Progress, Treating Systematically All Positive Results Concerning Expressibility. Also Included In This Unique Text Are Solutions To Both The Vaught-morely Problem And The Hanf Problem, And A Number Of New Natural Questions That Provide Prospects For Further Development Of The Theory. booknews peretyat'kin (pure And Applied Mathematics, Kazakh Academy Of Sciences) Summarizes The Recent Rapid Developments In Investigating The Theories, Which Are A Classical Subject Of Mathematical Logic And Are Studied Both For Their Own Sake And As Effective Methods For Solving Such Problems As The Algorithmic Undecidability Of Predicate Logic. He Draws On A Single,involved Construction But Does Not Reduce The Contents To It And Its Applications. He Also Presents The Construction's Simpler Predecessor, And Offers Self-contained Proofs For Universal Construction And For Some Results That Are Interesting In Themselves. The Series Is A Simultaneous Translation Of A Russian Series Of The Same Name. Annotation C. By Book News, Inc., Portland, Or.