## Abstract We prove a property of generic homogeneity of tuples starting an infinite indiscernible sequence in a simple theory and we use it to give a shorter proof of the Independence Theorem for Lascar strong types. We also characterize the relation of starting an infinite indiscernible sequence
Some remarks on Bh[g] sequences
โ Scribed by D. Hajela
- Publisher
- Elsevier Science
- Year
- 1988
- Tongue
- English
- Weight
- 658 KB
- Volume
- 29
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
We give a non-trivial upper bound for F h รฐg; Nร, the size of a B h ยฝg subset of f1; . . . ; Ng, when g > 1. In particular, we prove F 2 รฐg; Nร41:864รฐgNร 1=2 รพ 1, and F h รฐg; Nร4 1 รฐ1รพcos h รฐp=hรร 1=h รฐhh!gNร 1=h , h > 2. On the other hand, we exhibit B 2 ยฝg subsets of f1; . . .
## Abstract We prove a conjecture of Favaron et al. that every graph of order __n__ and minimum degree at least three has a total dominating set of size at least __n__/2. We also present several related results about: (1) extentions to graphs of minimum degree two, (2) examining graphs where the bo