The Model Theory Of Dedekind Algebras :: Algebra Mathematics Essays

The position Theory Of Dedekind AlgebrasABSTRACT A Dedekind algebra is an clubed pair (B, h) where B is a non-empty set and h is a similarity transformation on B. Among the Dedekind algebras is the chronological sequence of cocksure integers. Each Dedekind algebra can be decomposed into a family of disjointed, countable subalgebras which ar called the configurations of the algebra. There argon many isomorphous types of configurations. Each Dedekind algebra is associated with a primaeval value determination called the confirmation signature which counts the number of configurations in individually isomorphy type occurring in the decomposition of the algebra. Two Dedekind algebras are isomorphic if their configuration signatures are identical. I introduce conditions on configuration signatures that are sufficient for characterizing Dedekind algebras uniquely up to isomorphisms in instant order logic. I show Dedekinds characterization of the sequence of positive integers to be a signification of these more general results, and use configuration signatures to delineate homogeneous, universal and homogeneous-universal Dedekind algebras. These delineations piece various results about these classes of Dedekind algebras including existence and uniqueness. 1. INTRODUCTIONOne of the more big accomplishments of foundational studies prior to 1930 was the characterization of various mathematical systems uniquely up to isomorphism (see Corcoran 1980). Among the first systems to receive such a characterization is the sequence of the positive integers. Both Dedekind and Peano brookd characterizations of this system in the late 1880s. Dedekinds characterization commenced by considering B, a non-empty set, and h, a similar transformation on B (i.e. an injective unary function on B). In deference to Dedekind, the ordered pair B = (B,h) is called a Dedekind algebra. While the study of Dedekind algebras can naturally be viewed as a continuation of Dedekinds work, the focus here is different. Rather than investigating whether a particular Dedekind algebra (the sequence of the positive integers) is characterizable, we proceed by investigating conditions on Dedekind algebras which criminate that they are characterizable. In the following we review some of the results obtained in the sample theory of Dedekind algebras and discuss some of their consequences. These results are stated without proofs. Weaver 1997a and 1997b provide the details of these proofs. Attention is restricted here to the model theory of the second order theories of Dedekind algebras. Weaver 1998 focuses on the model theory of the first order theories of these algebras.2. CONFIGURATIONSGiven a Dedekind algebra B = (B,hB), AB is the transitive closure of hB.