Relational Divisibility (Q7361416)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Relational_Divisibility
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relational Divisibility |
AFP entry Relational_Divisibility |
Statements
9 October 2025
0 references
Walter Guttmann
0 references
Relational Divisibility (English)
0 references
We formalise key concepts and axioms of the divisibility relation on natural numbers using relation algebras. They use standard relational constructions for extrema, bounds, suprema, the univalent part and symmetric quotients, which we also formalise. We moreover prove that mono-atomic elements correspond to join-irreducible elements under the divisibility axioms.
0 references
