Basic model theory

Abstract

A structure is a triple A = (A, {Ri: i ∈ I}, {ej: j ∈ J}), where A, the domain or universe of A, is a nonempty set, {Ri: i ∈ I} is an indexed family of relations on A and {ej: j ∈ J}) is an indexed set of elements —the designated elements of A. For each i ∈ I there is then a natural number λ(i) —the degree of Ri —such that Ri is a λ(i)-place relation on A, i.e., Ri ⊆ Aλ(i). This λ may be regarded as a function from I to the set ω of natural numbers; the pair (λ, J) is called the type of A. Structures of the same type are said to be similar. Note that since an n-place operation f: An → A can be regarded as an (n+1)-place relation on A, algebraic structures containing operations such as groups, rings, vector spaces, etc. may be construed as structures in the above sense.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,174

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
33 (#350,389)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references