This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
