کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662416 1633549 2006 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On analyzability in the forking topology for simple theories
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
On analyzability in the forking topology for simple theories
چکیده انگلیسی

We show that in a simple theory T (that eliminates finitary hyperimaginaries) in which the τf-topologies are closed under projections (e.g. T has the wnfcp) every type analyzable in a supersimple τf-open set has ordinal SU-rank. In particular, if in addition T is unidimensional, the existence of a supersimple unbounded τf-open set implies T is supersimple. We also introduce the notion of a standard τ-metric (for countable L) and show that for simple theories its completeness is equivalent to the compactness of the τ-topology.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 142, Issues 1–3, October 2006, Pages 115-124