3 citations · 7 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2024★ 1 cited
Bounding finite-image sequences of length
Harry Altman
Given a well-quasi-order and an ordinal , the set of transfinite sequences on with length less than and with finite image is also a well-quasi-order, as p…
math.LO2019
Maximum linearizations of lower sets in with application to monomial ideals
Harry Altman, Andreas Weiermann
We compute the type (maximum linearization) of the well partial order of bounded lower sets in , ordered under inclusion, and find it is . Moreover we co…
math.LO2015
Intermediate arithmetic operations on ordinal numbers
Harry Altman
There are two well-known ways of doing arithmetic with ordinal numbers: the "ordinary" addition, multiplication, and exponentiation, which are defined by transfinite iteration; and…