Rinaldi, Davide; Schuster, Peter; Wessel, Daniel Eliminating disjunctions by disjunction elimination. (English) Zbl 1455.03074 Bull. Symb. Log. 23, No. 2, 181-200 (2017). MSC: 03F03 03E25 03F65 PDF BibTeX XML Cite \textit{D. Rinaldi} et al., Bull. Symb. Log. 23, No. 2, 181--200 (2017; Zbl 1455.03074) Full Text: DOI OpenURL
Rosen, Michael (ed.) Exposition by Emil Artin: a selection. (English) Zbl 1108.01017 History of Mathematics (Providence) 30. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-4172-6/pbk). x, 346 p. (2006). Reviewer: Werner Kleinert (Berlin) MSC: 01A75 11-03 20-03 01A70 12-03 26-03 PDF BibTeX XML Cite \textit{M. Rosen} (ed.), Exposition by Emil Artin: a selection. Providence, RI: American Mathematical Society (AMS) (2006; Zbl 1108.01017) OpenURL
Berr, R.; Delon, F.; Schmid, J. Ordered fields and the ultrafilter theorem. (English) Zbl 0940.12004 Fundam. Math. 159, No. 3, 231-241 (1999). Reviewer: G.Pestov (Tomsk) MSC: 12J15 03E25 06F25 PDF BibTeX XML Cite \textit{R. Berr} et al., Fundam. Math. 159, No. 3, 231--241 (1999; Zbl 0940.12004) Full Text: EuDML OpenURL
Baer, Reinhold Dichte, Archimedizität und Starrheit angeordneter Körper. (German) Zbl 0187.00602 Math. Ann. 188, 165-205 (1970). Reviewer: Reinhold Baer (Zürich) MSC: 12J15 12D15 PDF BibTeX XML Cite \textit{R. Baer}, Math. Ann. 188, 165--205 (1970; Zbl 0187.00602) Full Text: DOI EuDML OpenURL
Haupt, Otto [Krull, W.] Einführung in die Algebra. I, II (mit einem Anhang von W. Krull). (German) JFM 55.0086.01 Mathematik und ihre Anwendungen in Monographien und Lehrbüchern Bd. 5,1, 5,2. Leipzig, Akademische Verlagsgesellschaft. I: xv, 1-367, II: xiii, 368-663 (1929). Reviewer: Feigl, Prof. G. (Berlin) MSC: 12-01 00A05 PDF BibTeX XML OpenURL
Artin, Emil; Schreier, Otto A characterization of real closed fields. (Eine Kennzeichnung der reell abgeschlossenen Körper.) (German) JFM 53.0144.01 Abhandlungen Hamburg 5, 225-231 (1927). Reviewer: Schmeidler, W., Prof. (Breslau) MSC: 12D15 12J15 PDF BibTeX XML Cite \textit{E. Artin} and \textit{O. Schreier}, Abh. Math. Semin. Univ. Hamb. 5, 225--231 (1927; JFM 53.0144.01) Full Text: DOI OpenURL