Article ID Journal Published Year Pages File Type
4662396 Annals of Pure and Applied Logic 2009 35 Pages PDF
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