Abstract
A Dedekind Algebra is an ordered pair (B,h) where B is a non-empty set and h is an injective unary function on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called configurations of the Dedekind algebra. There are N0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on omega called its configuration signature. The configuration signature of a Dedekind algebra counts the number of configurations in the decomposition of the algebra in each isomorphism type.
The configuration signature of a Dedekind algebra encodes the structure of that algebra in the sense that two Dedekind algebras are isomorphic iff their configuration signatures are identical. Configuration signatures are used to establish various results in the first-order model theory of Dedekind algebras. These include categoricity results for the first-order theories of Dedekind algebras and existence and uniqueness results for homogeneous, universal and saturated Dedekind algebras. Fundamental to these results is a condition on configuration signatures that is necessary and sufficient for elementary equivalence.
Similar content being viewed by others
References
Chang, C. C., ‘What's So Special About Saturated Models?’, in M. D. Morley (ed.), Studies in Model Theory, The Mathematical Association of America, Providence 1973, pp. 59-94.
Clark, D. M. and Krauss, P. H., ‘Relatively Homogeneous Structures’, in R. O. Grandy and J. M. E. Hyland (eds), Logic Colloquium 76, North Holland, Amsterdam 1997, pp. 255-282.
Dedekind, R., The Nature and the Meaning of the Numbers, 1888, Translated by W. Beman, Essays on the Theory of Numbers, Dover, New York, 1963.
Garland, S., Second-Order Cardinal Characterizability, PhD Dissertation, Department of Mathematics, University of California, Berkeley, 1967.
Henkin, L., ‘On Mathematical Induction’, American Mathematical Monthly 67 (1960), 323-338.
JÓnsson, B., ‘Universal Relational Systems’, Mathematica Scandinavica 4 (1956), 193-208.
JÓnsson, B., ‘Homogeneous Universal Relational Systems’, Mathematica Scandinavica 8 (1960), 137-142.
Sacks, G., Saturated Model Theory, W.A. Benjamin, Reading Massachusetts 1972.
Wechler, W., Universal Algebra for Computer Scientists, Springer-Verlag, New York 1992.
Weaver, G., Henkin-Keisler Models, Kluwer Academic Publishers, Dordrecht 1997.
Weaver, G., ‘Homogenous and Universal Dedekind Algebras’, Studia Logica 64 (2000), 173-192.
Weaver, G., ‘Dedekind Algebras’, Notre Dame Journal of Formal Logic, submitted 2002.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Weaver, G. The First-Order Theories of Dedekind Algebras. Studia Logica 73, 337–365 (2003). https://doi.org/10.1023/A:1023396628838
Issue Date:
DOI: https://doi.org/10.1023/A:1023396628838