Hamel, Clovis; Tall, Franklin D. Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists. (English) Zbl 07289009 Topology Appl. 281, Article ID 107197, 19 p. (2020). MSC: 03C45 03C75 03C95 03C98 54C35 46A50 46B99 PDF BibTeX XML Cite \textit{C. Hamel} and \textit{F. D. Tall}, Topology Appl. 281, Article ID 107197, 19 p. (2020; Zbl 07289009) Full Text: DOI
Pinus, A. G. Once more on the direct and inverse limits of retractive spectra. (Russian. English summary) Zbl 1438.08003 Sib. Zh. Chist. Prikl. Mat. 18, No. 3, 60-63 (2018). MSC: 08B25 PDF BibTeX XML Cite \textit{A. G. Pinus}, Sib. Zh. Chist. Prikl. Mat. 18, No. 3, 60--63 (2018; Zbl 1438.08003) Full Text: MNR
Bianconi, Ricardo Model completeness for the Real Field with the Weierstrass \(\wp\) function. (English) Zbl 07091633 Proc. Edinb. Math. Soc., II. Ser. 61, No. 3, 811-823 (2018). MSC: 03C10 03C64 03C98 14H52 33E05 PDF BibTeX XML Cite \textit{R. Bianconi}, Proc. Edinb. Math. Soc., II. Ser. 61, No. 3, 811--823 (2018; Zbl 07091633) Full Text: DOI
Spence, Haden Ax-Lindemann and André-Oort for a nonholomorphic modular function. (English. French summary) Zbl 1441.11164 J. Théor. Nombres Bordx. 30, No. 3, 743-779 (2018). MSC: 11G18 03C64 PDF BibTeX XML Cite \textit{H. Spence}, J. Théor. Nombres Bordx. 30, No. 3, 743--779 (2018; Zbl 1441.11164) Full Text: DOI
Campercholi, Miguel Dominions and primitive positive functions. (English) Zbl 1428.18002 J. Symb. Log. 83, No. 1, 40-54 (2018). MSC: 18A20 03C05 03C40 03C60 08C15 PDF BibTeX XML Cite \textit{M. Campercholi}, J. Symb. Log. 83, No. 1, 40--54 (2018; Zbl 1428.18002) Full Text: DOI
Denkowski, Maciej P.; Loeb, Jean-Jacques On open analytic and subanalytic mappings. (English) Zbl 1367.32010 Complex Var. Elliptic Equ. 62, No. 1, 27-46 (2017). Reviewer: Armin Rainer (Wien) MSC: 32B20 26B10 54C10 PDF BibTeX XML Cite \textit{M. P. Denkowski} and \textit{J.-J. Loeb}, Complex Var. Elliptic Equ. 62, No. 1, 27--46 (2017; Zbl 1367.32010) Full Text: DOI
Rałowski, Robert; Żeberski, Szymon Generalized Luzin sets. (English) Zbl 1317.03033 Houston J. Math. 39, No. 3, 983-993 (2013). Reviewer: Vera Fischer (Wien) MSC: 03E15 03E17 03E35 PDF BibTeX XML Cite \textit{R. Rałowski} and \textit{S. Żeberski}, Houston J. Math. 39, No. 3, 983--993 (2013; Zbl 1317.03033)
Fischer, Andreas; Marshall, Murray Extending piecewise polynomial functions in two variables. (English. French summary) Zbl 1279.14069 Ann. Fac. Sci. Toulouse, Math. (6) 22, No. 2, 253-268 (2013). Reviewer: Niels Schwartz (Passau) MSC: 14P10 03C65 PDF BibTeX XML Cite \textit{A. Fischer} and \textit{M. Marshall}, Ann. Fac. Sci. Toulouse, Math. (6) 22, No. 2, 253--268 (2013; Zbl 1279.14069) Full Text: DOI Link
Fischer, Andreas A strict Positivstellensatz for rings of definable analytic functions. (English) Zbl 1270.03058 Proc. Am. Math. Soc. 141, No. 4, 1415-1422 (2013). Reviewer: Tim Netzer (Leipzig) MSC: 03C64 14P10 13J30 26E10 PDF BibTeX XML Cite \textit{A. Fischer}, Proc. Am. Math. Soc. 141, No. 4, 1415--1422 (2013; Zbl 1270.03058) Full Text: DOI
Skordev, Dimiter; Weiermann, Andreas; Georgiev, Ivan \(\mathcal M^2\)-computable real numbers. (English) Zbl 1260.03088 J. Log. Comput. 22, No. 4, 899-925 (2012). Reviewer: Tim Netzer (Leipzig) MSC: 03D78 PDF BibTeX XML Cite \textit{D. Skordev} et al., J. Log. Comput. 22, No. 4, 899--925 (2012; Zbl 1260.03088) Full Text: DOI
Fukui, Toshizumi; Kurdyka, Krzysztof; Paunescu, Laurentiu Tame nonsmooth inverse mapping theorems. (English) Zbl 1203.26019 SIAM J. Optim. 20, No. 3, 1573-1590 (2009). Reviewer: Do Van Luu (Hanoi) MSC: 26B10 49J52 32F27 03C64 PDF BibTeX XML Cite \textit{T. Fukui} et al., SIAM J. Optim. 20, No. 3, 1573--1590 (2009; Zbl 1203.26019) Full Text: DOI
Herzog, Ivo; L’Innocente, Sonia The nonstandard quantum plane. (English) Zbl 1158.03021 Ann. Pure Appl. Logic 156, No. 1, 78-85 (2008). Reviewer: Carlo Toffalori (Camerino) MSC: 03C60 16W35 20G42 81R50 PDF BibTeX XML Cite \textit{I. Herzog} and \textit{S. L'Innocente}, Ann. Pure Appl. Logic 156, No. 1, 78--85 (2008; Zbl 1158.03021) Full Text: DOI
Bernig, Andreas The normal cycle of a compact definable set. (English) Zbl 1119.37025 Isr. J. Math. 159, 373-411 (2007). MSC: 53C65 14P10 PDF BibTeX XML Cite \textit{A. Bernig}, Isr. J. Math. 159, 373--411 (2007; Zbl 1119.37025) Full Text: DOI
Peterzil, Ya’acov; Starchenko, Sergei Computing o-minimal topological invariants using differential topology. (English) Zbl 1108.03046 Trans. Am. Math. Soc. 359, No. 3, 1375-1401 (2007). Reviewer: Carlo Toffalori (Camerino) MSC: 03C64 03C98 57R99 PDF BibTeX XML Cite \textit{Y. Peterzil} and \textit{S. Starchenko}, Trans. Am. Math. Soc. 359, No. 3, 1375--1401 (2007; Zbl 1108.03046) Full Text: DOI
Krajíček, Jan Approximate Euler characteristic, dimension, and weak pigeonhole principles. (English) Zbl 1068.03024 J. Symb. Log. 69, No. 1, 201-214 (2004). MSC: 03C07 03F20 PDF BibTeX XML Cite \textit{J. Krajíček}, J. Symb. Log. 69, No. 1, 201--214 (2004; Zbl 1068.03024) Full Text: DOI
Kuhlmann, Franz-Viktor; Kuhlmann, Salma Valuation theory of exponential Hardy fields. I. (English) Zbl 1024.12007 Math. Z. 243, No. 4, 671-688 (2003). Reviewer: G.Pestov (Tomsk) MSC: 12L12 03C60 12J25 26A12 PDF BibTeX XML Cite \textit{F.-V. Kuhlmann} and \textit{S. Kuhlmann}, Math. Z. 243, No. 4, 671--688 (2003; Zbl 1024.12007) Full Text: DOI
Kulpeshov, B. Sh. Binarity of \(\aleph_0\)-categorical almost o-minimal theories of convexity rank 1. (Russian) Zbl 1133.03340 Mat. Zh. 2, No. 4, 54-61 (2002). MSC: 03C45 03C50 03C10 PDF BibTeX XML Cite \textit{B. Sh. Kulpeshov}, Mat. Zh. 2, No. 4, 54--61 (2002; Zbl 1133.03340)
Point, Françoise; Wagner, Frank O. Essentially periodic ordered groups. (English) Zbl 0979.03037 Ann. Pure Appl. Logic 105, No. 1-3, 261-291 (2000). Reviewer: Katrin Tent (Würzburg) MSC: 03C60 06F15 03C64 PDF BibTeX XML Cite \textit{F. Point} and \textit{F. O. Wagner}, Ann. Pure Appl. Logic 105, No. 1--3, 261--291 (2000; Zbl 0979.03037) Full Text: DOI
Macpherson, Dugald; Marker, David; Steinhorn, Charles Weakly o-minimal structures and real closed fields. (English) Zbl 0982.03021 Trans. Am. Math. Soc. 352, No. 12, 5435-5483 (2000). Reviewer: Serban A.Basarab (Bucureşti) MSC: 03C64 12L12 03C60 12J10 12J15 PDF BibTeX XML Cite \textit{D. Macpherson} et al., Trans. Am. Math. Soc. 352, No. 12, 5435--5483 (2000; Zbl 0982.03021) Full Text: DOI
Ehrhard, Thomas A relative PCF-definability result for strongly stable functions and some corollaries. (English) Zbl 1004.03029 Inf. Comput. 152, No. 1, 111-137 (1999). MSC: 03B70 68N18 68Q55 03B40 PDF BibTeX XML Cite \textit{T. Ehrhard}, Inf. Comput. 152, No. 1, 111--137 (1999; Zbl 1004.03029) Full Text: DOI
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 PDF BibTeX XML Cite \textit{P. Ullrich}, Uniforme Zerlegung \(\alpha\)-algebraischer Mengen zu bewerteten Körpern. Regensburg: Univ. Regensburg, Fakultät für Mathematik (1999; Zbl 0967.14039)
Berr, Ralph An algebraic construction of the ring of piecewise polynomial functions. (English) Zbl 0931.14031 Manuscr. Math. 98, No. 1, 55-63 (1999). Reviewer: A.Kovačec (Coimbra) MSC: 14P10 13J30 PDF BibTeX XML Cite \textit{R. Berr}, Manuscr. Math. 98, No. 1, 55--63 (1999; Zbl 0931.14031) Full Text: DOI
Iovino, José Definability in functional analysis. (English) Zbl 0884.03036 J. Symb. Log. 62, No. 2, 493-505 (1997). Reviewer: D.Mundici (Milano) MSC: 03C40 46A99 PDF BibTeX XML Cite \textit{J. Iovino}, J. Symb. Log. 62, No. 2, 493--505 (1997; Zbl 0884.03036) Full Text: DOI
Korovina, M. V. On the universal recursive function and on abstract machines on real numbers with the list superstructure. (Russian) Zbl 0902.03029 Vychisl. Sist. 156, 24-43 (1996). MSC: 03D60 03D10 68Q05 PDF BibTeX XML Cite \textit{M. V. Korovina}, Vychisl. Sist. 156, 24--43 (1996; Zbl 0902.03029)
Poston, Robert J. Defining multiplication in o-minimal expansions of the additive reals. (English) Zbl 0840.03025 J. Symb. Log. 60, No. 3, 797-816 (1995). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C60 12L12 03C65 PDF BibTeX XML Cite \textit{R. J. Poston}, J. Symb. Log. 60, No. 3, 797--816 (1995; Zbl 0840.03025) Full Text: DOI
Ajtai, Miklós On the existence of modulo \(p\) cardinality functions. (English) Zbl 0834.03010 Clote, Peter (ed.) et al., Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992. Boston, MA: Birkhäuser. Prog. Comput. Sci. Appl. Log. 13, 1-14 (1995). MSC: 03C07 PDF BibTeX XML Cite \textit{M. Ajtai}, Prog. Comput. Sci. Appl. Log. 13, 1--14 (1995; Zbl 0834.03010)
Berarducci, Alessandro; D’Aquino, Paola \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\). (English) Zbl 0838.03042 Ann. Pure Appl. Logic 75, No. 1-2, 49-56 (1995). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F30 PDF BibTeX XML Cite \textit{A. Berarducci} and \textit{P. D'Aquino}, Ann. Pure Appl. Logic 75, No. 1--2, 49--56 (1995; Zbl 0838.03042) Full Text: DOI
Bigorajska, Teresa On \(\Sigma_ 1\)-definable functions provably total in \(I\Pi_ 1^ -\). (English) Zbl 0817.03020 Math. Log. Q. 41, No. 1, 135-137 (1995). Reviewer: Qian Lei (Nanjing) MSC: 03D20 03F30 PDF BibTeX XML Cite \textit{T. Bigorajska}, Math. Log. Q. 41, No. 1, 135--137 (1995; Zbl 0817.03020) Full Text: DOI
Blok, W. J.; Pigozzi, D. On the structure of varieties with equationally definable principal congruences. III. (English) Zbl 0817.08004 Algebra Univers. 32, No. 4, 545-608 (1994). Reviewer: E.Fried (Budapest) MSC: 08B05 03G99 PDF BibTeX XML Cite \textit{W. J. Blok} and \textit{D. Pigozzi}, Algebra Univers. 32, No. 4, 545--608 (1994; Zbl 0817.08004) Full Text: DOI
Miller, Chris Exponentiation is hard to avoid. (English) Zbl 0808.03022 Proc. Am. Math. Soc. 122, No. 1, 257-259 (1994). MSC: 03C65 12L12 03C40 PDF BibTeX XML Cite \textit{C. Miller}, Proc. Am. Math. Soc. 122, No. 1, 257--259 (1994; Zbl 0808.03022) Full Text: DOI
Scowcroft, Philip; Macintyre, Angus On the elimination of imaginaries from certain valued fields. (English) Zbl 0795.03049 Ann. Pure Appl. Logic 61, No. 3, 241-276 (1993). MSC: 03C60 12L12 03E35 12J10 PDF BibTeX XML Cite \textit{P. Scowcroft} and \textit{A. Macintyre}, Ann. Pure Appl. Logic 61, No. 3, 241--276 (1993; Zbl 0795.03049) Full Text: DOI
Madry, Małgorzata \(\lambda\)-representability of integer, word and tree functions. (English) Zbl 0761.03008 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 3, 253-270 (1992). MSC: 03B40 PDF BibTeX XML Cite \textit{M. Madry}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 3, 253--270 (1992; Zbl 0761.03008)
van den Dries, Lou Dimension of definable sets, algebraic boundedness and Henselian fields. (English) Zbl 0704.03017 Ann. Pure Appl. Logic 45, No. 2, 189-209 (1989). Reviewer: D.Busneag MSC: 03C60 12L12 PDF BibTeX XML Cite \textit{L. van den Dries}, Ann. Pure Appl. Logic 45, No. 2, 189--209 (1989; Zbl 0704.03017) Full Text: DOI
Jensen, Christian U.; Lenzing, Helmut Model theoretic algebra: with particular emphasis on fields, rings, modules. (English) Zbl 0728.03026 Algebra, Logic and Applications, 2. New York etc.: Gordon and Breach Science Publishers. xiii, 443 p. (1989). Reviewer: H.-J.Vogel (Potsdam) MSC: 03C60 03-02 12L12 13L05 16B70 03C20 12E05 12E25 13E05 13F05 PDF BibTeX XML Cite \textit{C. U. Jensen} and \textit{H. Lenzing}, Model theoretic algebra: with particular emphasis on fields, rings, modules. New York etc.: Gordon and Breach Science Publishers (1989; Zbl 0728.03026)
Pillay, Anand Sheaves of continuous definable functions. (English) Zbl 0683.03018 J. Symb. Log. 53, No. 4, 1165-1169 (1988). MSC: 03C68 PDF BibTeX XML Cite \textit{A. Pillay}, J. Symb. Log. 53, No. 4, 1165--1169 (1988; Zbl 0683.03018) Full Text: DOI
Knight, Julia F.; Pillay, Anand; Steinhorn, Charles Definable sets in ordered structures. II. (English) Zbl 0662.03024 Trans. Am. Math. Soc. 295, 593-605 (1986). MSC: 03C45 03C40 06F99 03C50 PDF BibTeX XML Cite \textit{J. F. Knight} et al., Trans. Am. Math. Soc. 295, 593--605 (1986; Zbl 0662.03024) Full Text: DOI
Pillay, Anand; Steinhorn, Charles Definable sets in ordered structures. I. (English) Zbl 0662.03023 Trans. Am. Math. Soc. 295, 565-592 (1986). MSC: 03C45 03C40 06F99 03C50 PDF BibTeX XML Cite \textit{A. Pillay} and \textit{C. Steinhorn}, Trans. Am. Math. Soc. 295, 565--592 (1986; Zbl 0662.03023) Full Text: DOI
van den Dries, Lou A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. (English) Zbl 0612.03008 Bull. Am. Math. Soc., New Ser. 15, 189-193 (1986). Reviewer: J.M.Plotkin MSC: 03B25 03C65 PDF BibTeX XML Cite \textit{L. van den Dries}, Bull. Am. Math. Soc., New Ser. 15, 189--193 (1986; Zbl 0612.03008) Full Text: DOI
Myasnikov, A. G.; Remeslennikov, V. N. Elementary group equivalence with the integral length function. (English) Zbl 0591.20039 Ill. J. Math. 30, 335-354 (1986). Reviewer: J.D.P.Meldrum MSC: 20F10 20E06 03C60 20A15 PDF BibTeX XML Cite \textit{A. G. Myasnikov} and \textit{V. N. Remeslennikov}, Ill. J. Math. 30, 335--354 (1986; Zbl 0591.20039)
Pixley, A. F. Principal congruence formulas in arithmetic varieties. (English) Zbl 0572.08003 Universal algebra and lattice theory, Proc. Conf., Charleston/S.C. 1984, Lect. Notes Math. 1149, 238-254 (1985). Reviewer: R.Franci MSC: 08B10 08A30 PDF BibTeX XML
Pillay, Anand; Steinhorn, Charles Definable sets in ordered structures. (English) Zbl 0542.03016 Bull. Am. Math. Soc., New Ser. 11, 159-162 (1984). MSC: 03C45 06F15 06F25 03C60 06F20 PDF BibTeX XML Cite \textit{A. Pillay} and \textit{C. Steinhorn}, Bull. Am. Math. Soc., New Ser. 11, 159--162 (1984; Zbl 0542.03016) Full Text: DOI
Baldwin, John T.; Berman, Joel Definable principal congruence relations: Kith and kin. (English) Zbl 0503.08003 Acta Sci. Math. 44, 255-270 (1982). MSC: 08A30 08C15 PDF BibTeX XML Cite \textit{J. T. Baldwin} and \textit{J. Berman}, Acta Sci. Math. 44, 255--270 (1982; Zbl 0503.08003)
Goldblatt, Robert “Locally-at” as a topological quantifier-former. (English) Zbl 0474.03017 Aspects of philosophical logic, Synth. Libr. 147, 119-127 (1981). MSC: 03C99 03C80 PDF BibTeX XML
Csirmaz, Laszlo On definability in Peano arithmetic. (English) Zbl 0424.03008 Bull. Sect. Logic, Pol. Acad. Sci. 8, 148-153 (1979). MSC: 03B30 PDF BibTeX XML Cite \textit{L. Csirmaz}, Bull. Sect. Logic, Pol. Acad. Sci. 8, 148--153 (1979; Zbl 0424.03008)
Lebesgue, H. On analytically representable functions. (Sur les fonctions représentables analytiquement.) (French) JFM 35.0394.01 C. R. 139, 29-31 (1905). Reviewer: Vivanti, Prof. (Messina) MSC: 03F60 PDF BibTeX XML Cite \textit{H. Lebesgue}, C. R. Acad. Sci., Paris 139, 29--31 (1905; JFM 35.0394.01) Full Text: Gallica