Translator Disclaimer
September 2007 Characterizing rosy theories
Clifton Ealy, Alf Onshuus
J. Symbolic Logic 72(3): 919-940 (September 2007). DOI: 10.2178/jsl/1191333848

Abstract

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) sufficient condition for rosiness.

Citation

Download Citation

Clifton Ealy. Alf Onshuus. "Characterizing rosy theories." J. Symbolic Logic 72 (3) 919 - 940, September 2007. https://doi.org/10.2178/jsl/1191333848

Information

Published: September 2007
First available in Project Euclid: 2 October 2007

zbMATH: 1127.03027
MathSciNet: MR2354907
Digital Object Identifier: 10.2178/jsl/1191333848

Rights: Copyright © 2007 Association for Symbolic Logic

JOURNAL ARTICLE
22 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.72 • No. 3 • September 2007
Back to Top