Classifying model-theoretic properties

In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A T 0 is nonlow2 if and only if A is prime bounding, i.e. for every complete atomic decidable theory T , there is a prime model M computable in A. The authors presented nine seemingly unrelated predicates of a set A, and showed that they are equivalent for 0 2 sets. Some of these predicates, such as prime bounding, and others involving equivalence structures and abelian p-groups come from model theory, while others involving meeting dense sets in trees and escaping a given function come from pure computability theory. As predicates of A, the original nine properties are equivalent for 0 2 sets; however, they are not equivalent in general. This article examines the (degree-theoretic) relationship between the nine properties. We show that the nine properties fall into three classes, each of which consists of several equivalent properties. We also investigate the relationship between the three classes, by determining whet...

• Type: Journal
• Year: 2008
• Where: JSYML
• Authors: Chris J. Conidis
• Keywords: Atomic Decidable Theory, Bounding, JSYML 2008, Prime Model