Abstract
The following theorem is proved in ZFC: there exist valuation rings which are not surjective homomorphic images of valuation domains. The proof relies on the existence of nonstandard divisible uniserial modules in ZFC.
Original language | English |
---|---|
Pages (from-to) | 25-30 |
Number of pages | 6 |
Journal | Proceedings of the American Mathematical Society |
Volume | 105 |
Issue number | 1 |
DOIs | |
State | Published - Jan 1989 |
Keywords
- Divisible modules
- First order model
- Forcing
- Nonstandard uniserials
- Uniserial
- Valuation domains
- Valuation rings
- Zfc