Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662396 | Annals of Pure and Applied Logic | 2009 | 35 Pages |
Abstract
We will investigate patterns of resemblance of order 2 over a family of arithmetic structures on the ordinals. In particular, we will show that they determine a computable well ordering under appropriate assumptions.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic