Otmar Spinas Partition Numbers. 243-262 1997 90 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal90.html#Spinas97