Abstract
The later chapters of this book give decision procedure for various theories of fields. If T denotes such a theory, we might give a naive description of a decision procedure as a system of instructions for deciding in a finite number of steps whether or not a given sentence ϑ belongs to T. We elaborate, more precisely, on two types of procedures, model theoretic and algebraic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
K. Gödel, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37 (1930), 349–360
L. Henkin, The completeness of the first order functional calculus, The Journal of Symbolic Logic 14 (1949), 159–166
J. Ax, The elementary theory of finite fields, Annals of Mathematics 88 (1968), 239–271
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fried, M.D., Jarden, M. (1986). Decision Procedures. In: Field Arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07216-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-07216-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-07218-9
Online ISBN: 978-3-662-07216-5
eBook Packages: Springer Book Archive