Fr. 238.00

Finitely Axiomatizable Theories

English · Hardback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more

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.

List of contents

Interpretations. A Classification to Property Lists. Reductions of Signatures. Quasi-Succession of Morley Rank 2. Constructions with Empty Property List. Constructions with Unary Property List. Rigid Quasi-Succession. Proof of the Main Theorem. Existence Theorems. Complexity of Semantic Classes. Universal Classes of Models. Polar Construction and Analogues of Rice Theorem. Generalization Intelligence in Predicate Logic. Conclusion. Historical Remarks and Problems. Terminology List. Index of Denotatons. Subject Index.

Product details

Authors Mikhail G Peretyat'kin, Mikhail G. Peretyat'kin
Publisher Springer, Berlin
 
Languages English
Product format Hardback
Released 25.06.2009
 
EAN 9780306110627
ISBN 978-0-306-11062-7
No. of pages 294
Weight 621 g
Illustrations XIV, 294 p.
Series Siberian School of Algebra and Logic
Siberian School of Algebra and Logic
Subject Natural sciences, medicine, IT, technology > Mathematics

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.