Shkop, Ahuva C. Real closed exponential subfields of pseudo-exponential fields. (English) Zbl 1300.03018 Notre Dame J. Formal Logic 54, No. 3-4, 591-601 (2013). Reviewer: Franziska Jahnke (Münster) MSC: 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Euclid
D’Aquino, Paola; Knight, Julia F.; Kuhlmann, Salma; Lange, Karen Real closed exponential fields. (English) Zbl 1285.03036 Fundam. Math. 219, No. 2, 163-190 (2012). MSC: 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Biljakovic, Darko; Kochetov, Mikhail; Kuhlmann, Salma Primes and irreducibles in truncation integer parts of real closed fields. (English) Zbl 1107.03034 Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 42-64 (2006). MSC: 03C60 12J15 12J25 12L12 13J05 × Cite Format Result Cite Review PDF
Sinopoulos, Pavlos Generalized sine equations. II. (English) Zbl 0839.39008 Aequationes Math. 49, No. 1-2, 122-152 (1995). Reviewer: J.Aczél (Waterloo/Ontario) MSC: 39B22 39B52 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Finding connected components of a semialgebraic set in subexponential time. (English. Russian original) Zbl 0835.68061 J. Math. Sci., New York 70, No. 4, 1847-1872 (1994); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3-46 (1991). MSC: 68W30 14P10 68Q25 03C60 12Y05 × Cite Format Result Cite Review PDF Full Text: DOI
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Determination of the connected components of a semialgebraic set in subexponential time. (Russian. English summary) Zbl 0801.68098 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3-46 (1991). MSC: 68W30 14P10 68Q25 03C60 12Y05 × Cite Format Result Cite Review PDF
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo On the complexity of the Tarski-Seidenberg principle. (Sur la complexité du principe de Tarski-Seidenberg.) (French) Zbl 0767.03017 Bull. Soc. Math. Fr. 118, No. 1, 101-126 (1990). MSC: 03C10 14G25 68Q25 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI Numdam EuDML
Davenport, James H.; Heintz, Joos Real quantifier elimination is doubly exponential. (English) Zbl 0663.03015 J. Symb. Comput. 5, No. 1-2, 29-35 (1988). Reviewer: Li Xiang MSC: 03C10 68Q25 12L05 68W30 12D99 × Cite Format Result Cite Review PDF Full Text: DOI
Gonshor, Harry An introduction to the theory of surreal numbers. (English) Zbl 0595.12017 London Mathematical Society Lecture Note Series, 110. Cambridge etc.: Cambridge University Press. VI, 192 p. £12.50; $ 19.95 (1986). Reviewer: G.A.Heuer MSC: 12J15 03E10 12D15 12-01 06F25 × Cite Format Result Cite Review PDF
Dahn, Bernd I.; Wolter, Helmut On the theory of exponential fields. (English) Zbl 0531.03017 Z. Math. Logik Grundlagen Math. 29, 465-480 (1983). Reviewer: S.A.Basarab MSC: 03C60 12L05 12D99 × Cite Format Result Cite Review PDF Full Text: DOI