Salehi, Saeed Axiomatic (and non-axiomatic) mathematics. (English) Zbl 1525.03055 Rocky Mt. J. Math. 52, No. 4, 1157-1176 (2022). Reviewer: Xavier Vidaux (Concepción) MSC: 03B25 03B30 03C10 03F40 11U05 12L05 PDFBibTeX XMLCite \textit{S. Salehi}, Rocky Mt. J. Math. 52, No. 4, 1157--1176 (2022; Zbl 1525.03055) Full Text: DOI arXiv Link
Forey, Arthur A motivic local Cauchy-Crofton formula. (English) Zbl 07428816 Manuscr. Math. 166, No. 3-4, 523-533 (2021). MSC: 03C98 12J10 14B05 32Sxx 03C68 11S80 PDFBibTeX XMLCite \textit{A. Forey}, Manuscr. Math. 166, No. 3--4, 523--533 (2021; Zbl 07428816) Full Text: DOI arXiv
Onay, Gönenç \(\mathbb{F}_p((X))\) is decidable as a module over the ring of additive polynomials. arXiv:1806.03123 Preprint, arXiv:1806.03123 [math.LO] (2018). MSC: 11U05 12L05 12J10 03C68 BibTeX Cite \textit{G. Onay}, ``$\mathbb{F}_p((X))$ is decidable as a module over the ring of additive polynomials'', Preprint, arXiv:1806.03123 [math.LO] (2018) Full Text: arXiv OA License
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
Loeser, François Definability in non-Archimedean geometry. (English) Zbl 1373.03053 Jang, Sun Young (ed.) et al., Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13–21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa (ISBN 978-89-6105-805-6/hbk; 978-89-6105-803-2/set). 59-77 (2014). MSC: 03C40 03C65 03C98 12J10 14G22 22E35 03C64 03C68 11S80 11F85 14G20 14T05 20G25 22E50 PDFBibTeX XMLCite \textit{F. Loeser}, in: Proceedings of the International Congress of Mathematicians (ICM 2014), Seoul, Korea, August 13--21, 2014. Vol. II: Invited lectures. Seoul: KM Kyung Moon Sa. 59--77 (2014; Zbl 1373.03053)
Nazari, E.; Movsisyan, Yu. M. A Cayley theorem for the multiplicative semigroup of a field. (English) Zbl 1269.20055 J. Algebra Appl. 11, No. 2, 1250042, 12 p. (2012). Reviewer: Anna Romanowska (Warsaw) MSC: 20M25 03C68 12L99 20M30 20M20 PDFBibTeX XMLCite \textit{E. Nazari} and \textit{Yu. M. Movsisyan}, J. Algebra Appl. 11, No. 2, 1250042, 12 p. (2012; Zbl 1269.20055) Full Text: DOI
Koenigsmann, Jochen The regular inverse Galois problem over non-large fields. (English) Zbl 1159.12310 J. Eur. Math. Soc. (JEMS) 6, No. 4, 425-434 (2004). MSC: 12F12 03C68 PDFBibTeX XMLCite \textit{J. Koenigsmann}, J. Eur. Math. Soc. (JEMS) 6, No. 4, 425--434 (2004; Zbl 1159.12310) Full Text: DOI Link
Denef, Jan; Loeser, François Definable sets, motives and \(p\)-adic integrals. (English) Zbl 1040.14010 J. Am. Math. Soc. 14, No. 2, 429-469 (2001). Reviewer: Werner Kleinert (Berlin) MSC: 14G40 14G20 03C10 03C98 03C68 03C95 12E30 12L12 14G15 14G27 11G25 11S40 12L10 14F20 14G05 14G10 14J20 14F42 PDFBibTeX XMLCite \textit{J. Denef} and \textit{F. Loeser}, J. Am. Math. Soc. 14, No. 2, 429--469 (2001; Zbl 1040.14010) Full Text: DOI arXiv
Delon, Françoise; Lucas, François Inclusions et produits de groupes abéliens ordonnés étudiés au premier ordre. (Inclusions and products of ordered abelian groups studied in first-order theories). (French) Zbl 0699.03019 J. Symb. Log. 54, No. 2, 499-511 (1989). MSC: 03C60 06F20 03C68 12L12 12J10 03C30 PDFBibTeX XMLCite \textit{F. Delon} and \textit{F. Lucas}, J. Symb. Log. 54, No. 2, 499--511 (1989; Zbl 0699.03019) Full Text: DOI
Basarab, Şerban A. Definite functions over ordered fields. II: The absolute Galois group of a pseudo real closed field. (English) Zbl 0668.12008 Rev. Roum. Math. Pures Appl. 31, 283-291 (1986). Reviewer: Alexander Prestel (Konstanz) MSC: 12J15 12D15 14G05 03B30 03C60 14Pxx 12F10 PDFBibTeX XMLCite \textit{Ş. A. Basarab}, Rev. Roum. Math. Pures Appl. 31, 283--291 (1986; Zbl 0668.12008)
Hatcher, William S. Elementary extension and the hyperreal numbers. (English) Zbl 0581.03050 Mathematical logic and formal systems, Coll. Pap. Hon. N. C. A. da Costa, Lect. Notes Pure Appl. Math. 94, 205-219 (1985). MSC: 03H99 12F99 12J15 12L12 03C68 03C50 PDFBibTeX XML
van den Dries, Lou Remarks on Tarski’s problem concerning \(({\mathbb{R}},+,\cdot,\exp)\). (English) Zbl 0585.03006 Logic colloquium ’82, Proc. Colloq., Florence 1982, Stud. Logic Found. Math. 112, 97-121 (1984). Reviewer: A.Wojciechowska MSC: 03B25 03C10 12L05 03B30 PDFBibTeX XML
Cegielski, Patrick La théorie élémentaire de la divisibilité est finiment axiomatisable. (The elementary theory of divisibility of natural numbers is finitely axiomatizable). (French) Zbl 0583.03005 C. R. Acad. Sci., Paris, Sér. I 299, 367-369 (1984). MSC: 03B30 03C10 03B25 12L05 PDFBibTeX XMLCite \textit{P. Cegielski}, C. R. Acad. Sci., Paris, Sér. I 299, 367--369 (1984; Zbl 0583.03005)
Jarden, Moshe The elementary theory of large e-fold ordered fields. (English) Zbl 0513.12020 Acta Math. 149, 239-260 (1982). MSC: 12J15 11U05 12E99 03C68 12D15 03B25 PDFBibTeX XMLCite \textit{M. Jarden}, Acta Math. 149, 239--260 (1982; Zbl 0513.12020) Full Text: DOI
Keisler, H. J. (ed.); Körner, S. (ed.); Luxemburg, W. A. J. (ed.); Young, A. D. (ed.) [Robinson, Abraham] Selected papers of Abraham Robinson. Vol. 1: Model theory and algebra. Ed. and with an introduction by H. J. Keisler. (English) Zbl 0424.01030 Amsterdam - New York - Oxford: North-Holland Publishing Company. XXXVII, 694 p. $ 56.00; Dfl. 115.00 (1979). MSC: 01A75 03C60 03C95 68Q05 51N35 12Hxx PDFBibTeX XML
Schwartz, Niels \(\eta_\alpha\)-Strukturen. (German) Zbl 0356.08001 Math. Z. 158, 147-155 (1978). MSC: 08A05 08Axx 08C10 06F15 06A06 12J15 03C68 PDFBibTeX XMLCite \textit{N. Schwartz}, Math. Z. 158, 147--155 (1978; Zbl 0356.08001) Full Text: DOI EuDML
Nagumo, Mitio Quantities and real numbers. (English) Zbl 0379.02019 Osaka J. Math. 14, 1-10 (1977). MSC: 03C68 08C10 12D99 PDFBibTeX XMLCite \textit{M. Nagumo}, Osaka J. Math. 14, 1--10 (1977; Zbl 0379.02019)
Fuller, A. T. On redundance in stability criteria. (English) Zbl 0366.93023 Int. J. Control 26, 207-224 (1977). MSC: 93D05 93C05 93C99 12D10 PDFBibTeX XMLCite \textit{A. T. Fuller}, Int. J. Control 26, 207--224 (1977; Zbl 0366.93023) Full Text: DOI
Toffalori, Carlo Alcune proprieta di teorie di campi con un sottocampo privilegiato. (Italian) Zbl 0362.02047 Boll. Unione Mat. Ital., V. Ser., B 14, 254-266 (1977). MSC: 03C60 03C68 12L10 PDFBibTeX XMLCite \textit{C. Toffalori}, Boll. Unione Mat. Ital., V. Ser., B 14, 254--266 (1977; Zbl 0362.02047)
Lacava, Francesco Teoria dei campi differenziali ordinati. (Italian) Zbl 0353.02032 Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 59(1975), 322-327 (1976). MSC: 03C68 12H05 PDFBibTeX XMLCite \textit{F. Lacava}, Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 59, 322--327 (1976; Zbl 0353.02032)
Weispfenning, Volker Model-completeness and elimination of quantifiers for subdirect products of structures. (English) Zbl 0318.02052 J. Algebra 36, 252-277 (1975). MSC: 03C60 03C68 13L05 12L99 12H05 06F15 PDFBibTeX XMLCite \textit{V. Weispfenning}, J. Algebra 36, 252--277 (1975; Zbl 0318.02052) Full Text: DOI
Wood, Carol The model theory of differential field of characteristic \(p \neq 0\). (English) Zbl 0273.02039 Proc. Am. Math. Soc. 40, 577-584 (1973). MSC: 03C60 12H05 03C68 12L99 PDFBibTeX XMLCite \textit{C. Wood}, Proc. Am. Math. Soc. 40, 577--584 (1973; Zbl 0273.02039) Full Text: DOI