Embedding ordered valued domains into division rings

From MaRDI portal
Publication:2460247