𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On o-amorphous sets

✍ Scribed by P. Creed; J.K. Truss


Book ID
104307472
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
287 KB
Volume
101
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

✦ Synopsis


We study a notion of 'o-amorphous' (in set theory without the axiom of choice) which bears the same relationship to 'o-minimal' as 'amorphous ' (studied in Truss, Ann. Pure Appl. Logic 73 (1995) 191-233) does to 'strongly minimal'. A linearly ordered set is said to be o-amorphous if its only subsets are ÿnite unions of intervals. This turns out to be a relatively straightforward case, and we can provide a complete 'classiÿcation', subject to the same provisos as in Truss (1995). The reason is that since o-amorphous is an essentially second-order notion, it corresponds more accurately to ℵ 0-categorical o-minimal, and our classiÿcation is thus very similar to the one given in (Pillay and Steinhorn, Trans. Amer. Math. Soc. 295 (1986) 565-592) for that case. More interesting structures arise if we replace 'interval' in the deÿnition by 'convex set', giving us the class of weakly o-amorphous sets. Here, in fact, there are so many examples that a complete classiÿcation seems out of the question. We illustrate some of the structures which these may exhibit, and classify them in certain instances not too far removed from the o-amorphous case.


📜 SIMILAR VOLUMES


On quasi-amorphous sets
✍ P. Creed; J. K. Truss 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 127 KB
Strongly Amorphous Sets and Dual Dedekin
✍ Martin Goldstern 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

## Abstract 1. If __A__ is strongly amorphous (i.e., all relations on __A__ are definable), then its power set __P(A)__ is dually Dedekind infinite, i. e., every function from __P(A)__ onto __P(A)__ is injective. 2. The class of “inexhaustible” sets is not closed under supersets unless AC holds.

Amorphous PbTiO capacitors
✍ C.J. Ridge; P.J. Harrop; D.S. Campbell 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 590 KB
On IP*sets and central sets
✍ Vitaly Bergelson; Neil Hindman 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 519 KB
On the Boolean algebras of definable set
✍ Stefano Leonesi; Carlo Toffalori 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB 👁 1 views

## Abstract We consider the sets definable in the countable models of a weakly o‐minimal theory __T__ of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic (hence __T__ is p‐__ω__‐categorical), in other words when each of these definable sets adm