A multiplication operation for the hierarchy of norms
| Authors |
|
|---|---|
| Publication date | 07-2018 |
| Journal | Annals of Pure and Applied Logic |
| Volume | Issue number | 169 | 7 |
| Pages (from-to) | 656-673 |
| Organisations |
|
| Abstract | Assuming AD+DC , the hierarchy of norms is a wellordered structure of equivalence classes of ordinal-valued maps. We define operations on the hierarchy of norms, in particular an operation that dominates multiplication as an operation on the ranks of norms, and use these operations to establish a considerably improved lower bound for the length of the hierarchy of norms. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1016/j.apal.2018.03.003 |
| Permalink to this page | |