Characterizing rosy theories

We examine several conditions, either the existence of a rank or a particular property of þ-forking that suggest the existence of a well-behaved independence relation, and determine the consequences of each of these conditions towards the rosiness of the theory. In particular we show that the existence of an ordinal valued equivalence relation rank is a (necessary and) sucient condition for rosiness.

• Type: Journal
• Year: 2007
• Where: JSYML
• Authors: Clifton Ealy, Alf Onshuus
• Keywords: JSYML 2007, Ordinal Valued Equivalence, Particular Property, Well-behaved Independence Relation