Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967.
A. Macintyre, Omitting quantifier-free types in generic structures, J.S.L. 37 (1972), 512–520.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Simons, H. (1975). The complexity of Tf and omitting types in FT . In: Saracino, D.H., Weispfenning, V.B. (eds) Model Theory and Algebra. Lecture Notes in Mathematics, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0080987
Download citation
DOI: https://doi.org/10.1007/BFb0080987
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07538-7
Online ISBN: 978-3-540-38057-3
eBook Packages: Springer Book Archive