freely generated inductive set
In the parent entry, we see that an inductive set is a set that is closed under
the successor
operator. If is a non-empty inductive set, then can be embedded in .
More generally, fix a non-empty set and a set of finitary operations on . A set is said to be inductive (with respect to ) if is closed under each . This means, for example, if is a binary operation on and if , then . is said to be inductive over if . The intersection
of inductive sets is clearly inductive. Given a set , the intersection of all inductive sets over is said to be the inductive closure of . The inductive closure of is written . We also say that generates .
Another way of defining is as follows: start with
Next, we “inductively” define each from , so that
Finally, we set
It is not hard to see that .
Proof.
By definition, . Suppose is -ary, and , then each . Take the maximum of the integers , then for each . Therefore . This shows that is inductive over , so , since is minimal. On the other hand, suppose . We prove by induction
that . If , this is clear. Suppose now that , and . If , then we are done. Suppose now . Then there is some -ary operation , such that , where each . So by hypothesis
. Since is inductive, , and hence as well. This shows that , and consequently .∎
The inductive set is said to be freely generated by (with respect to ), if the following conditions are satisfied:
- 1.
,
- 2.
for each -ary , the restriction
of to is one-to-one;
- 3.
for each -ary , ;
- 4.
if are -ary, then .
For example, the set of well-formed formulas (wffs) in the classical proposition logic is inductive over the set of propositional variables with respect to the logical connectives (say, and ) provided. In fact, by unique readability of wffs, is freely generated over . We may readily interpret the above “freeness” conditions as follows:
- 1.
is generated by ,
- 2.
for distinct wffs , the wffs and are distinct; for distinct pairs and of wffs, and are distinct also
- 3.
for no wffs are and propositional variables
- 4.
for wffs , the wffs and are never the same
A characterization of free generation is the following:
Proposition 1.
The following are equivalent:
- 1.
is freely generated by (with respect to )
- 2.
if is a set, and is a set of finitary operations on such that there is a function taking every -ary to an -ary , then every function has a unique extension
such that
where is an -ary operation in , and .
References
- 1 H. Enderton: A Mathematical Introduction to Logic, Academic Press, San Diego (1972).