Abstract

In this note we point out that two concepts which have been introduced separately into the theory of models are extensionally equivalent. The basic ideas can be expressed conveniently in the terminology of Tarski's theory of arithmetical classes. It will be recalled that an arithmetical class is a class consisting of all algebraic structures which satisfy some fixed sentence of the first-order functional calculus. A more general concept is that of a quasi-arithmetical class, whose elements are all algebraic structures which satisfy some fixed set of first-order sentences.Now where H and K are any two classes of algebraic structures, Abraham Robinson has defined the relation H is persistent with respect to K to mean that (i) H∩K is non-empty, and (ii) whenever M ϵ H∩K, M′ is an extension of M, and M′ ϵ K, then M′ ϵ H. Concerning this notion Robinson has established the following theorem: If K is the class of abelian groups (or of commutative fields) and H is an arithmetical class which is persistent with respect to K, then H∩K contains a group (or field) which is finite. This leads us to the following definition.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.