On the predecessor relation in abstract algebras

DOI10.1002/malq.19930390152zbMath0811.08005OpenAlexW1992234386MaRDI QIDQ4304786

Karl-Heinz Diener

Publication date: 31 August 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390152

zbMATH Keywords

free algebrasformal languagewell-founded relationswell-founded partial orderPeano algebrasword algebrasalgebraic predecessor relationDedekind theory of order

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Applications of set theory (03E75) Axiomatics of classical set theory and its fragments (03E30) Free algebras (08B20) Second- and higher-order arithmetic and fragments (03F35) Partial algebras (08A55) Abstract deductive systems (03B22) Ordered structures (06F99)

Related Items (1)

Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: On the predecessor relation in abstract algebras