2008Journal of the Institute of Mathematics of JussieuRequires access

On types of CB-rank 1 in simple theories

Anand Pillay

Open publisher page 1 citations

Abstract

Abstract We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor–Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T has infinitely many countable elementary extensions up to M0-isomorphism. The latter extends earlier results of the author in the stable case, and is a special case of a recent result of Tanovic.

About this research paper

What this paper is about

Abstract We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor–Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T has infinitely many countable elementary extensions up to M0-isomorphism. The latter extends earlier results of the author in the stable case, and is a special case of a recent result of Tanovic.

Why it matters

OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Abstract We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor–Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T has infinitely many countable elementary extensions up to M0-isomorphism. The latter extends earlier results of the author in the stable case, and is a special case of a recent result of Tanovic.

Key concepts: Mathematics, Countable set, Simple (philosophy), Rank (graph theory), Isomorphism (crystallography), Combinatorics, Type (biology), Discrete mathematics

Related papers

Back to paper searchBrowse research topicsOriginal source
On types of CB-rank 1 in simple theories — Research Paper | ScholarLens