Siberian School of Algebra and Logic

Peretyat'kin, Mikhail G.

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.

Details

Published by: Springer

Publication Date: 1997-09-30

Format: Hardcover

ISBN-13: 9780306110627

DOI:

Dimensions: 234cm x156cm

Pages: 294