Wyniki wyszukiwania:

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detachment theorem, Δ₁-induction, completeness of Leśniewski's systems, and reduction calculus for the satisfiability problem are also discussed.The coverage includes the answer to...

Uncertain partners tells for the first time the inside story of the creation of the Sino-Soviet alliance and the origins of the Korean War. Using major new documentary sources, including cables and letters between Mao Zedong and Stalin, and interviews with key Russian, Chinese, and Korean participants, the book focuses on the domestic and foreign policy decision-making in all three countries from 1945 through October 1950. The authors examine the complex relations between Stalin, Chiang Kai-shek, and Mao during the last year of the Chinese civil war and the emergence of the Cold War. They...

This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka, Novosibirsk, 1989), the text presents new results as well as a selection of open questions on Boolean algebras. Other current features include discussions of the Kottonen algebras in enrichments by ideals and automorphisms, and the properties of the automorphism groups.

Uncertain partners tells for the first time the inside story of the creation of the Sino-Soviet alliance and the origins of the Korean War. Using major new documentary sources, including cables and letters between Mao Zedong and Stalin, and interviews with key Russian, Chinese, and Korean participants, the book focuses on the domestic and foreign policy decision-making in all three countries from 1945 through October 1950. The authors examine the complex relations between Stalin, Chiang Kai-shek, and Mao during the last year of the Chinese civil war and the emergence of the Cold War. They...

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models.
This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some...