Characterizing rosy theories-Reference-Cited by-同舟云学术

Characterizing rosy theories

Published:2007-09 Issue:3 Volume:72 Page:919-940
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Ealy Clifton,Onshuus Alf

Abstract

AbstractWe 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference16 articles.

1. Elimination theory for the ring of algebraic integers;van den Dries;Journal für die Reine und Angewandte Mathematik,1988

2. Perfect pseudo-algebraically closed fields are algebraically bounded

3. Dense embeddings I: A theorem of Robinson in a general setting

4. Groups definable in local fields and pseudo-finite fields

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Superrosiness and dense pairs of geometric structures;Archive for Mathematical Logic;2023-09-19

2. Non-forking and preservation of NIP and dp-rank;Annals of Pure and Applied Logic;2021-06

3. Definable groups in models of Presburger Arithmetic;Annals of Pure and Applied Logic;2020-06

4. Residue Field Domination in Real Closed Valued Fields;Notre Dame Journal of Formal Logic;2019-08-01

5. The Lascar groups and the first homology groups in model theory;Annals of Pure and Applied Logic;2017-12