Greetings to everyone on this forum (I am a new-comer). I would like to ask the experienced members for suggestions on (as) comprehensive and systematic (as possible) bibliographic sources regarding:
- the theory of ordered fields respectively valuation fields
- Puiseux and Levi-Civita formal series and their properties
- more general Hahn-Mal'cev constructions with their algebraic & order properties.
I am aware of a number of disparate articles and textbooks dealing with some aspects of the theories listed above, however I do not know of any systematic, compendium or monograph-style reference on these topics.
I avidly appreciate the detail and meticulousness in monographs, so please do not shy away from mentioning such items if they might happen to exist.
With regards for those having taken their time to read this〜