Yuri L. Ershov – författare
Visar alla böcker från författaren Yuri L. Ershov. Handla med fri frakt och snabb leverans.
6 produkter
Definability and Computability
Inbunden, 1996
2394 kr
Lägg i varukorg
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. …
Constructive Models
Inbunden, 2000
2177 kr
Lägg i varukorg
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 …
Multi-Valued Fields
Inbunden, 2001
2177 kr
Lägg i varukorg
For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the …
Multi-Valued Fields
Häftad, 2012
2188 kr
Lägg i varukorg
For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the …
Constructive Models
Häftad, 2012
2188 kr
Lägg i varukorg
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 …
Multi-Valued Fields
E-bok, 2013
2862 kr
Lägg i varukorg
For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the …
