Fr. 238.00

Finitely Axiomatizable Theories

Inglese · Copertina rigida

Spedizione di solito entro 2 a 3 settimane (il titolo viene stampato sull'ordine)

Descrizione

Ulteriori informazioni

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.

Sommario

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.

Dettagli sul prodotto

Autori Mikhail G Peretyat'kin, Mikhail G. Peretyat'kin
Editore Springer, Berlin
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 25.06.2009
 
EAN 9780306110627
ISBN 978-0-306-11062-7
Pagine 294
Peso 621 g
Illustrazioni XIV, 294 p.
Serie Siberian School of Algebra and Logic
Siberian School of Algebra and Logic
Categoria Scienze naturali, medicina, informatica, tecnica > Matematica

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.