Some finiteness conditions on the set of overrings of an integral domain

Let be an integral domain with quotient field and integral closure . An overring of is a subring of containing , and denotes the set of overrings of . We consider primarily two finiteness conditions on : (FO), which states that is finite, and (FC), the condition that each chain of distinct elements of is finite. (FO) is strictly stronger than (FC), but if , each of (FO) and (FC) is equivalent to the condition that is a Prüfer domain with finite prime spectrum. In general satisfies (FC) iff satisfies (FC) and all chains of subrings of containing have finite length. The corresponding statement for (FO) is also valid.