Characterizing rosy theories

dc.contributor.authorClifton Ealy
dc.contributor.authorAlf Onshuus
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T14:08:02Z
dc.date.available2026-03-22T14:08:02Z
dc.date.issued2007
dc.descriptionCitaciones: 46
dc.description.abstractAbstract 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.
dc.identifier.doi10.2178/jsl/1191333848
dc.identifier.urihttps://doi.org/10.2178/jsl/1191333848
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/44736
dc.language.isoen
dc.publisherCambridge University Press
dc.relation.ispartofJournal of Symbolic Logic
dc.sourceUniversity of Illinois Urbana-Champaign
dc.subjectProperty (philosophy)
dc.subjectMathematics
dc.subjectRelation (database)
dc.subjectEquivalence relation
dc.subjectRank (graph theory)
dc.subjectIndependence (probability theory)
dc.subjectEquivalence (formal languages)
dc.subjectMathematical economics
dc.subjectPure mathematics
dc.titleCharacterizing rosy theories
dc.typearticle

Files