The first-order theories of Dedekind algebras

DOI10.1023/A:1023396628838zbMath1027.03033OpenAlexW1505570116MaRDI QIDQ1810813

George E. Weaver

Publication date: 9 June 2003

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023396628838

zbMATH Keywords

configurationssaturated modelselementary equivalenceuniversal modelsmodel completenesshomogeneous modelsfirst-order model theorycategoricity in powerconfiguration signatureDedekind algebraelementary subalgebrassubmodel completeness

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Models with special properties (saturated, rigid, etc.) (03C50) Categoricity and completeness of theories (03C35)

Related Items (1)

A General Setting for Dedekind's Axiomatization of the Positive Integers

This page was built for publication: The first-order theories of Dedekind algebras