Ćmiel, Hanna; Kuhlmann, Franz-Viktor; Kuhlmann, Katarzyna A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures. (English) Zbl 1476.54001 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 115, No. 4, Paper No. 156, 44 p. (2021). Reviewer: K. P. Hart (Delft) MSC: 54A05 03E25 06A06 06F20 12J15 12J20 47H10 54C10 54C60 54D30 54E50 54H25 PDFBibTeX XMLCite \textit{H. Ćmiel} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 115, No. 4, Paper No. 156, 44 p. (2021; Zbl 1476.54001) Full Text: DOI arXiv
Cubides Kovacsics, Pablo; Poineau, Jérôme Definable sets of Berkovich curves. (English) Zbl 1484.14056 J. Inst. Math. Jussieu 20, No. 4, 1275-1339 (2021). MSC: 14G22 12J25 03C98 PDFBibTeX XMLCite \textit{P. Cubides Kovacsics} and \textit{J. Poineau}, J. Inst. Math. Jussieu 20, No. 4, 1275--1339 (2021; Zbl 1484.14056) Full Text: DOI arXiv
Spodzieja, Stanisław A geometric model of an arbitrary differentially closed field of characteristic zero. (English) Zbl 1465.12007 Trans. Am. Math. Soc. 374, No. 1, 663-686 (2021). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 12H05 13N15 14P20 14P10 PDFBibTeX XMLCite \textit{S. Spodzieja}, Trans. Am. Math. Soc. 374, No. 1, 663--686 (2021; Zbl 1465.12007) Full Text: DOI arXiv
Hong, Jizhan Separably closed valued fields: immediate expansions. (English) Zbl 1370.03055 Isr. J. Math. 216, No. 2, 811-831 (2016). Reviewer: Luc Bélair (Montréal) MSC: 03C60 12J10 12L12 PDFBibTeX XMLCite \textit{J. Hong}, Isr. J. Math. 216, No. 2, 811--831 (2016; Zbl 1370.03055) Full Text: DOI
Carl, Merlin Structures associated with real closed fields and the axiom of choice. (English) Zbl 1388.03036 Bull. Belg. Math. Soc. - Simon Stevin 23, No. 3, 401-419 (2016). Reviewer: J. M. Plotkin (East Lansing) MSC: 03C55 03E35 03C64 03C60 03E30 03E75 12J20 12L12 PDFBibTeX XMLCite \textit{M. Carl}, Bull. Belg. Math. Soc. - Simon Stevin 23, No. 3, 401--419 (2016; Zbl 1388.03036) Full Text: arXiv Euclid
Spodzieja, Stanisław A geometric model of an arbitrary real closed field. (English) Zbl 1318.14053 Pac. J. Math. 264, No. 2, 455-469 (2013). Reviewer: Niels Schwartz (Passau) MSC: 14P10 12J15 14P20 13J30 PDFBibTeX XMLCite \textit{S. Spodzieja}, Pac. J. Math. 264, No. 2, 455--469 (2013; Zbl 1318.14053) Full Text: DOI
Fernando, José F.; Gamboa, J. M. On open and closed morphisms between semialgebraic sets. (English) Zbl 1256.14060 Proc. Am. Math. Soc. 140, No. 4, 1207-1219 (2012). Reviewer: Janusz Adamus (London, ON) MSC: 14P10 54C30 12D15 13E99 PDFBibTeX XMLCite \textit{J. F. Fernando} and \textit{J. M. Gamboa}, Proc. Am. Math. Soc. 140, No. 4, 1207--1219 (2012; Zbl 1256.14060) Full Text: DOI
Shamseddine, Khodr On the topological structure of the Levi-Civita field. (English) Zbl 1190.26036 J. Math. Anal. Appl. 368, No. 1, 281-292 (2010). MSC: 26E30 12J25 PDFBibTeX XMLCite \textit{K. Shamseddine}, J. Math. Anal. Appl. 368, No. 1, 281--292 (2010; Zbl 1190.26036) Full Text: DOI
Hrushovski, E.; Tatarsky, A. Stable embeddedness in algebraically closed valued fields. (English) Zbl 1109.03027 J. Symb. Log. 71, No. 3, 831-862 (2006). MSC: 03C45 03C60 12L12 12J10 PDFBibTeX XMLCite \textit{E. Hrushovski} and \textit{A. Tatarsky}, J. Symb. Log. 71, No. 3, 831--862 (2006; Zbl 1109.03027) Full Text: DOI
Ayat, Seyed Masih; Moniri, Mojtaba Real closed fields and IP-sensitivity. (English) Zbl 1107.03033 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, 1-22 (2006). MSC: 03C60 12J15 12L12 PDFBibTeX XMLCite \textit{S. M. Ayat} and \textit{M. Moniri}, Lect. Notes Log. 26, 1--22 (2006; Zbl 1107.03033)
Hrushovski, E.; Itai, M. On model complete differential fields. (English) Zbl 1021.03024 Trans. Am. Math. Soc. 355, No. 11, 4267-4296 (2003). MSC: 03C60 12H05 12L12 PDFBibTeX XMLCite \textit{E. Hrushovski} and \textit{M. Itai}, Trans. Am. Math. Soc. 355, No. 11, 4267--4296 (2003; Zbl 1021.03024) Full Text: DOI
Edgar, G. A.; Miller, Chris Hausdorff dimension, analytic sets and transcendence. (English) Zbl 1082.28002 Real Anal. Exch. 27(2001-2002), No. 1, 335-339 (2002). MSC: 28A05 03E15 12L12 28A78 PDFBibTeX XMLCite \textit{G. A. Edgar} and \textit{C. Miller}, Real Anal. Exch. 27, No. 1, 335--339 (2002; Zbl 1082.28002)
Scanlon, Thomas Model theory and differential algebra. (English) Zbl 1023.03031 Guo, Li (ed.) et al., Proceedings of the international workshop on differential algebra and related topics, Rutgers-The State University of New Jersey, New Brunswick, NJ, USA, November 2-3, 2000. Singapore: World Scientific. 125-150 (2002). Reviewer: C.Toffalori (Camerino) MSC: 03C60 12H05 12L12 PDFBibTeX XMLCite \textit{T. Scanlon}, in: Differential algebra and related topics. Proceedings of the international workshop, Rutgers - The State University of New Jersey, New Brunswick, NJ, USA, November 2--3, 2000. Singapore: World Scientific. 125--150 (2002; Zbl 1023.03031)
Chapuis, Olivier; Hrushovski, Ehud; Koiran, Pascal; Poizat, Bruno Limitation of theories of generic curves. (La limite des théories de courbes generiques.) (French) Zbl 1023.03029 J. Symb. Log. 67, No. 1, 24-34 (2002). Reviewer: C.Toffalori (Camerino) MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{O. Chapuis} et al., J. Symb. Log. 67, No. 1, 24--34 (2002; Zbl 1023.03029) Full Text: DOI
Pillay, Anand Differential fields. (English) Zbl 0998.12005 Hart, Bradd (ed.) et al., Lectures on algebraic model theory. Providence, RI: American Mathematical Society (AMS). Fields Inst. Monogr. 15, 1-45 (2002). Reviewer: C.Toffalori (Camerino) MSC: 12H05 03C60 12L12 PDFBibTeX XMLCite \textit{A. Pillay}, Fields Inst. Monogr. 15, 1--45 (2002; Zbl 0998.12005)
Peterzil, Ya’acov; Starchenko, Sergei Expansions of algebraically closed fields in o-minimal structures. (English) Zbl 1010.03027 Sel. Math., New Ser. 7, No. 3, 409-445 (2001). Reviewer: M.Yasuhara (Princeton) MSC: 03C64 12L12 14A10 30C35 12J15 03H05 PDFBibTeX XMLCite \textit{Y. Peterzil} and \textit{S. Starchenko}, Sel. Math., New Ser. 7, No. 3, 409--445 (2001; Zbl 1010.03027) Full Text: DOI
Quarez, Ronan Space of real arc germs and Poincaré series of a semi-algebraic set. (Espace des germes d’arcs réels et série de Poincaré d’un ensemble semi-algébrique.) (French) Zbl 0967.14037 Ann. Inst. Fourier 51, No. 1, 43-67 (2001). Reviewer: Z.Hajto (Kraków) MSC: 14P10 13D40 14G27 32B10 12L99 PDFBibTeX XMLCite \textit{R. Quarez}, Ann. Inst. Fourier 51, No. 1, 43--67 (2001; Zbl 0967.14037) Full Text: DOI Numdam EuDML
de la Puente, M. J. The complex spectrum of a ring. (English) Zbl 1016.13011 Delzell, Charles N. (ed.) et al., Real algebraic geometry and ordered structures. AMS special session, Baton Rouge, LA, USA, April 17-21, 1996 and the associated special semester at Louisiana State University and Southern University, Baton Rouge, LA, USA, January-May 1996. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 253, 235-249 (2000). MSC: 13J30 14P10 12J10 12J15 PDFBibTeX XMLCite \textit{M. J. de la Puente}, Contemp. Math. 253, 235--249 (2000; Zbl 1016.13011)
Popovici, Adriana; Popovici, Dan \(\delta\)-uniformly decidable sets and Turing machines. (English) Zbl 0941.03047 Ciobanu, Gabriel (ed.) et al., Fundamentals of computation theory. 12th international symposium, FCT ’99. Iaşi, Romania, August 30 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1684, 433-440 (1999). MSC: 03D65 12L05 03D10 PDFBibTeX XMLCite \textit{A. Popovici} and \textit{D. Popovici}, Lect. Notes Comput. Sci. 1684, 433--440 (1999; Zbl 0941.03047)
Ullrich, Peter Uniform decomposition of \(\alpha\)-algebraic sets in valued fields. (Uniforme Zerlegung \(\alpha\)-algebraischer Mengen zu bewerteten Körpern.) (German) Zbl 0967.14039 Regensburger Mathematische Schriften. 29. Regensburg: Univ. Regensburg, Fakultät für Mathematik, xiii, 187 S. (1999). Reviewer: N.Schwartz (Passau) MSC: 14P10 12J10 PDFBibTeX XMLCite \textit{P. Ullrich}, Uniforme Zerlegung \(\alpha\)-algebraischer Mengen zu bewerteten Körpern. Regensburg: Univ. Regensburg, Fakultät für Mathematik (1999; Zbl 0967.14039)
Bochnak, Jacek; Coste, Michel; Roy, Marie-Françoise Real algebraic geometry. Transl. from the French. Rev. and updated ed. (English) Zbl 0912.14023 Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 36. Berlin: Springer. ix, 430 p. (1998). Reviewer: E.I.Shustin (Tel Aviv) MSC: 14Pxx 14-01 12J15 14-02 11E81 14F05 19E99 19G12 32C05 55R50 57N80 58A07 58A35 PDFBibTeX XMLCite \textit{J. Bochnak} et al., Real algebraic geometry. Transl. from the French. Rev. and updated ed. Berlin: Springer (1998; Zbl 0912.14023) Backlinks: MO
Perović, Ž. Isomorphisms of real closed fields. (English) Zbl 0872.12006 Publ. Inst. Math., Nouv. Sér. 57(71), 66-70 (1995). Reviewer: S.Kuhlmann (Toronto) MSC: 12J15 06F20 06A05 PDFBibTeX XMLCite \textit{Ž. Perović}, Publ. Inst. Math., Nouv. Sér. 57(71), 66--70 (1995; Zbl 0872.12006) Full Text: EuDML EMIS
Delzell, Charles N. Nonexistence of analytically varying solutions to Hilbert’s 17th problem. (English) Zbl 0828.12001 Jacob, William B. (ed.) et al., Recent advances in real algebraic geometry and quadratic forms. Proceedings of the RAGSQUAD year, Berkeley, CA, USA, 1990-1991. Providence, RI: American Mathematical Society. Contemp. Math. 155, 107-117 (1994). Reviewer: Charles N.Delzell MSC: 12D15 14P15 11E25 PDFBibTeX XMLCite \textit{C. N. Delzell}, Contemp. Math. 155, 107--117 (1994; Zbl 0828.12001)
Becker, E.; Berr, R.; Delon, F.; Gondard, D. Hilbert’s 17-th problem for sums of \(2n\)-th powers. (English) Zbl 0807.14045 J. Reine Angew. Math. 450, 139-157 (1994). Reviewer: N.Schwartz (Passau) MSC: 14P05 12D15 11E76 12J10 12J15 PDFBibTeX XMLCite \textit{E. Becker} et al., J. Reine Angew. Math. 450, 139--157 (1994; Zbl 0807.14045) Full Text: Crelle EuDML
Wang, Shiqiang Two-square theorems for infinite matrices on certain fields. (English) Zbl 0820.15005 Chin. Sci. Bull. 38, No. 6, 441-443 (1993). MSC: 15B33 12E12 PDFBibTeX XMLCite \textit{S. Wang}, Chin. Sci. Bull. 38, No. 6, 441--443 (1993; Zbl 0820.15005) Full Text: DOI
Canny, J.; Grigor’ev, D. Yu.; Vorob’ev, N. N. jun. Finding connected components of a semialgebraic set in subexponential time. (English) Zbl 0783.14036 Appl. Algebra Eng. Commun. Comput. 2, No. 4, 217-238 (1992). Reviewer: T.Recio (Santander) MSC: 14P10 68Q25 12D15 68W30 03C10 PDFBibTeX XMLCite \textit{J. Canny} et al., Appl. Algebra Eng. Commun. Comput. 2, No. 4, 217--238 (1992; Zbl 0783.14036) Full Text: DOI
Marshall, Murray The Pierce-Birkhoff conjecture for curves. (English) Zbl 0793.14039 Can. J. Math. 44, No. 6, 1262-1271 (1992). MSC: 14P10 12D15 PDFBibTeX XMLCite \textit{M. Marshall}, Can. J. Math. 44, No. 6, 1262--1271 (1992; Zbl 0793.14039) Full Text: DOI
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 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, J. Math. Sci., New York 70, No. 4, 1847--1872 (1991; Zbl 0835.68061); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3--46 (1991) Full Text: DOI
Ershov, Yu. L. Characterization of Kochen rings of \(PC_ M\)-fields. (English. Russian original) Zbl 0765.12004 Sov. Math., Dokl. 43, No. 1, 26-29 (1991); translation from Dokl. Akad. Nauk SSSR 316, No. 1, 33-36 (1991). Reviewer: G.Pestov (Tomsk) MSC: 12J12 12L05 03B25 12L12 03C62 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Sov. Math., Dokl. 43, No. 1, 26--29 (1991; Zbl 0765.12004); translation from Dokl. Akad. Nauk SSSR 316, No. 1, 33--36 (1991)
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 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 192, 3--46 (1991; Zbl 0801.68098)
Rabinovich, E. Some proofs on definability of a field. (English) Zbl 0752.03017 Model theory, Proc. Sov.-Fr. Colloq., Karaganda/USSR 1990, 166-180 (1990). Reviewer: M.Weese (Berlin) MSC: 03C60 12L12 03C40 PDFBibTeX XMLCite \textit{E. Rabinovich}, in: Les travaux scientifiques du colloque Sovieto-Francąis sur la théorie des modeles, Karaganda (USSR), 1990. Trudy sovetsko- francuzskogo kollokviuma po teorii modelej, Karaganda (SSSR), 1990. Karaganda: Karagandinskij Gosudarstvennyj Universitet. 166--180 (1990; Zbl 0752.03017)
Escassut, Alain The equation \(y'=fy\) in \(\mathbb C_p\) when \(f\) is not quasi-invertible. (English) Zbl 0715.12003 Riv. Mat. Pura Appl. 6, 81-92 (1990). Reviewer: Alain Escassut (Aubière) MSC: 12H25 34A25 12J25 46S10 PDFBibTeX XMLCite \textit{A. Escassut}, Riv. Mat. Pura Appl. 6, 81--92 (1990; Zbl 0715.12003)
Pecker, Daniel On the elimination of algebraic inequalities. (English) Zbl 0693.14013 Pac. J. Math. 146, No. 2, 305-314 (1990). Reviewer: D.Pecker MSC: 14P10 12D15 PDFBibTeX XMLCite \textit{D. Pecker}, Pac. J. Math. 146, No. 2, 305--314 (1990; Zbl 0693.14013) Full Text: DOI
Prestel, A.; Schmid, J. Existentially closed domains with radical relations. An axiomatization of the ring of algebraic integers. (English) Zbl 0691.12013 J. Reine Angew. Math. 407, 178-201 (1990). Reviewer: A.Prestel MSC: 12L12 13L05 11R04 12L05 03C62 PDFBibTeX XMLCite \textit{A. Prestel} and \textit{J. Schmid}, J. Reine Angew. Math. 407, 178--201 (1990; Zbl 0691.12013) Full Text: DOI Crelle EuDML
Vorob’ev, N. N. jun.; Grigor’ev, D. Yu. Determination of the number of connected components of a semialgebraic set in subexponential time. (English. Russian original) Zbl 0801.68097 Sov. Math., Dokl. 42, No. 2, 563-566 (1991); translation from Dokl. Akad. Nauk SSSR 314, No. 5, 1040-1043 (1990). MSC: 68W30 68Q25 14P10 14Q99 12Y05 03C60 PDFBibTeX XMLCite \textit{N. N. Vorob'ev jun.} and \textit{D. Yu. Grigor'ev}, Sov. Math., Dokl. 42, No. 2, 563--566 (1990; Zbl 0801.68097); translation from Dokl. Akad. Nauk SSSR 314, No. 5, 1040--1043 (1990)
Alling, Norman L. Foundations of analysis over surreal number fields. (English) Zbl 0621.12001 North-Holland Mathematics Studies, 141. Notas de Matemática, 117. Amsterdam etc.: North-Holland. XVI, 373 p.; $ 66.75; Dfl. 150.00 (1987). Reviewer: N.Schwartz MSC: 12-02 12D15 12J10 26E99 14Pxx 12J15 PDFBibTeX XML
Andradas, C.; Gamboa, J. M. On projections of real algebraic varieties. (English) Zbl 0587.14012 Pac. J. Math. 121, 281-291 (1986). Reviewer: G.Ishikawa MSC: 14Pxx 58A07 12J15 PDFBibTeX XMLCite \textit{C. Andradas} and \textit{J. M. Gamboa}, Pac. J. Math. 121, 281--291 (1986; Zbl 0587.14012) Full Text: DOI
Heintz, Joos Definability and fast quantifier elimination in algebraically closed fields. (English) Zbl 0546.03017 Theor. Comput. Sci. 24, 239-277 (1983). Reviewer: S.A.Basarab MSC: 03C10 03D15 12L99 03C60 13L05 14A25 PDFBibTeX XMLCite \textit{J. Heintz}, Theor. Comput. Sci. 24, 239--277 (1983; Zbl 0546.03017) Full Text: DOI
Farkas, Daniel R. Ordinally complete group rings. (English) Zbl 0531.20001 Houston J. Math. 9, 465-476 (1983). Reviewer: E.Spiegel MSC: 20C07 20F60 16S34 16Kxx 12D15 16W60 06F15 PDFBibTeX XMLCite \textit{D. R. Farkas}, Houston J. Math. 9, 465--476 (1983; Zbl 0531.20001)
Berline, Chantal Déviation des types dans les corps algébriquement clos. (French) Zbl 0512.03016 Groupe Etude Theor. Stables 3, 1980-1982, Expose No. 3, 10 p. (1983). MSC: 03C60 03C45 12F05 PDFBibTeX XML Full Text: Numdam EuDML
Delzell, Charles N. A finiteness theorem for open semi-algebraic sets, with applications to Hilbert’s 17th problem. (English) Zbl 0495.14013 Contemp. Math. 8, 79-77 (1982). MSC: 14Pxx 11P05 12D15 12J15 PDFBibTeX XMLCite \textit{C. N. Delzell}, Contemp. Math. 8, 79--97 (1982; Zbl 0495.14013) Full Text: DOI
Antonovskij, Mikhail Y.; Chudnovsky, David V.; Chudnovsky, Gregory V.; Hewitt, Edwin Rings of real-valued continuous functions. II. (English) Zbl 0432.03030 Math. Z. 176, 151-186 (1981). MSC: 03E50 12L10 12D99 54A25 54C40 PDFBibTeX XMLCite \textit{M. Y. Antonovskij} et al., Math. Z. 176, 151--186 (1981; Zbl 0432.03030) Full Text: DOI EuDML