2006/12/18 by James Hirschorn, Hirschorn, James
Computer Science · #18B35 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Primary 06A06 #Rings and Algebras (math.RA) #Secondary 03E05 #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.math/0612495
openalex publication_date 2006/12/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Some general properties of abstract relations are closely examined. These include generalizations of linearity, and properties based on `pinning' an inequality by a pair of families of endomorphisms.To each property we try to associate a canonical definition of an augmentation (or diminishment) that augments (or diminishes) any given relation to one satisfying the desired property. The motivation behind this study was to identify properties distinguishing between the product ordering and the eventual dominance ordering of the irrationals (the family of functions from N into N), and furthermore to identify their relationship as a member of a natural class of augmentations.