Touchard, Pierre Burden in Henselian valued fields. (English) Zbl 07741121 Ann. Pure Appl. Logic 174, No. 10, Article ID 103318, 61 p. (2023). MSC: 03C45 03C60 12J10 PDFBibTeX XMLCite \textit{P. Touchard}, Ann. Pure Appl. Logic 174, No. 10, Article ID 103318, 61 p. (2023; Zbl 07741121) Full Text: DOI arXiv
Jeřábek, Emil Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\). (English) Zbl 07680011 Ann. Pure Appl. Logic 174, No. 6, Article ID 103269, 50 p. (2023). MSC: 03F20 03F30 33B10 PDFBibTeX XMLCite \textit{E. Jeřábek}, Ann. Pure Appl. Logic 174, No. 6, Article ID 103269, 50 p. (2023; Zbl 07680011) Full Text: DOI arXiv
Cubides Kovacsics, Pablo; Point, Françoise Topological fields with a generic derivation. (English) Zbl 1511.12003 Ann. Pure Appl. Logic 174, No. 3, Article ID 103211, 38 p. (2023). Reviewer: Luc Bélair (Montréal) MSC: 12L12 12J25 12H05 13N15 03C60 PDFBibTeX XMLCite \textit{P. Cubides Kovacsics} and \textit{F. Point}, Ann. Pure Appl. Logic 174, No. 3, Article ID 103211, 38 p. (2023; Zbl 1511.12003) Full Text: DOI arXiv
Hong, Jizhan Quantifier elimination on some pseudo-algebraically closed valued fields. (English) Zbl 1503.03038 Ann. Pure Appl. Logic 174, No. 1, Article ID 103170, 23 p. (2023). Reviewer: Beibut Kulpeshov (Almaty) MSC: 03C60 03C10 12J10 12L12 12F05 12F10 12F20 PDFBibTeX XMLCite \textit{J. Hong}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103170, 23 p. (2023; Zbl 1503.03038) Full Text: DOI arXiv
Derakhshan, Jamshid; Macintyre, Angus Model theory of adeles. I. (English) Zbl 1525.03096 Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022). Reviewer: Alexandra Shlapentokh (Greenville) MSC: 03C60 03C10 11R56 11U09 11R42 11U05 PDFBibTeX XMLCite \textit{J. Derakhshan} and \textit{A. Macintyre}, Ann. Pure Appl. Logic 173, No. 3, Article ID 103074, 43 p. (2022; Zbl 1525.03096) Full Text: DOI arXiv
Anscombe, Sylvy; Dittmann, Philip; Fehm, Arno Denseness results in the theory of algebraic fields. (English) Zbl 1498.03083 Ann. Pure Appl. Logic 172, No. 8, Article ID 102973, 20 p. (2021). Reviewer: Piotr Kowalski (Wroclaw) MSC: 03C60 12L12 12J12 12J15 PDFBibTeX XMLCite \textit{S. Anscombe} et al., Ann. Pure Appl. Logic 172, No. 8, Article ID 102973, 20 p. (2021; Zbl 1498.03083) Full Text: DOI arXiv
Johnson, Will Dp-finite fields. I(B): Positive characteristic. (English) Zbl 1477.03136 Ann. Pure Appl. Logic 172, No. 6, Article ID 102949, 33 p. (2021). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 03C45 03C60 12J10 12L12 PDFBibTeX XMLCite \textit{W. Johnson}, Ann. Pure Appl. Logic 172, No. 6, Article ID 102949, 33 p. (2021; Zbl 1477.03136) Full Text: DOI arXiv
Johnson, Will Dp-finite fields. I(A): The infinitesimals. (English) Zbl 1473.03018 Ann. Pure Appl. Logic 172, No. 6, Article ID 102947, 39 p. (2021). Reviewer: Amador Martin-Pizarro (Freiburg) MSC: 03C45 03C60 12J10 12L12 PDFBibTeX XMLCite \textit{W. Johnson}, Ann. Pure Appl. Logic 172, No. 6, Article ID 102947, 39 p. (2021; Zbl 1473.03018) Full Text: DOI
Lee, Junguk; Lee, Wan On the structure of certain valued fields. (English) Zbl 1484.11228 Ann. Pure Appl. Logic 172, No. 4, Article ID 102927, 24 p. (2021). Reviewer: Luc Bélair (Montréal) MSC: 11U09 13L05 11S15 03C60 PDFBibTeX XMLCite \textit{J. Lee} and \textit{W. Lee}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102927, 24 p. (2021; Zbl 1484.11228) Full Text: DOI arXiv
Anscombe, Sylvy; Jahnke, Franziska Henselianity in the language of rings. (English) Zbl 1428.03058 Ann. Pure Appl. Logic 169, No. 9, 872-895 (2018). Reviewer: Allen Gehret (Los Angeles) MSC: 03C60 12L12 12J10 12J25 03C40 PDFBibTeX XMLCite \textit{S. Anscombe} and \textit{F. Jahnke}, Ann. Pure Appl. Logic 169, No. 9, 872--895 (2018; Zbl 1428.03058) Full Text: DOI arXiv Link
Darnière, Luck Polytopes and simplexes in \(p\)-adic fields. (English) Zbl 1422.52005 Ann. Pure Appl. Logic 168, No. 6, 1284-1307 (2017). MSC: 52B99 03C60 12J12 55U10 PDFBibTeX XMLCite \textit{L. Darnière}, Ann. Pure Appl. Logic 168, No. 6, 1284--1307 (2017; Zbl 1422.52005) Full Text: DOI arXiv
Montenegro, Samaria Imaginaries in bounded pseudo real closed fields. (English) Zbl 1422.03064 Ann. Pure Appl. Logic 168, No. 10, 1866-1877 (2017). MSC: 03C10 03C60 03C64 03C45 12L12 PDFBibTeX XMLCite \textit{S. Montenegro}, Ann. Pure Appl. Logic 168, No. 10, 1866--1877 (2017; Zbl 1422.03064) Full Text: DOI arXiv
L’Innocente, Sonia; Toffalori, Carlo; Puninski, Gena On the decidability of the theory of modules over the ring of algebraic integers. (English) Zbl 1422.03017 Ann. Pure Appl. Logic 168, No. 8, 1507-1516 (2017). MSC: 03B25 03C60 03C98 13C11 PDFBibTeX XMLCite \textit{S. L'Innocente} et al., Ann. Pure Appl. Logic 168, No. 8, 1507--1516 (2017; Zbl 1422.03017) Full Text: DOI arXiv Link
Montenegro, Samaria Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\). (English) Zbl 1436.03203 Ann. Pure Appl. Logic 168, No. 1, 191-232 (2017). Reviewer: Ali Bleybel (Beirut) MSC: 03C60 03C45 03C64 12L12 PDFBibTeX XMLCite \textit{S. Montenegro}, Ann. Pure Appl. Logic 168, No. 1, 191--232 (2017; Zbl 1436.03203) Full Text: DOI arXiv
Jahnke, Franziska; Koenigsmann, Jochen Uniformly defining \(p\)-Henselian valuations. (English) Zbl 1372.03077 Ann. Pure Appl. Logic 166, No. 7-8, 741-754 (2015). MSC: 03C60 03C40 12J10 12L12 13J15 PDFBibTeX XMLCite \textit{F. Jahnke} and \textit{J. Koenigsmann}, Ann. Pure Appl. Logic 166, No. 7--8, 741--754 (2015; Zbl 1372.03077) Full Text: DOI arXiv
Krupiński, Krzysztof Superrosy fields and valuations. (English) Zbl 1372.03079 Ann. Pure Appl. Logic 166, No. 3, 342-357 (2015). MSC: 03C60 03C45 12J10 12L12 PDFBibTeX XMLCite \textit{K. Krupiński}, Ann. Pure Appl. Logic 166, No. 3, 342--357 (2015; Zbl 1372.03079) Full Text: DOI arXiv
Fehm, Arno Elementary geometric local-global principles for fields. (English) Zbl 1367.12001 Ann. Pure Appl. Logic 164, No. 10, 989-1008 (2013). MSC: 12E30 12L12 14G05 12J12 03C10 11R80 11U09 PDFBibTeX XMLCite \textit{A. Fehm}, Ann. Pure Appl. Logic 164, No. 10, 989--1008 (2013; Zbl 1367.12001) Full Text: DOI arXiv
Buser, Peter; Scarpellini, Bruno Recursive analysis of singular ordinary differential equations. (English) Zbl 1225.03057 Ann. Pure Appl. Logic 162, No. 1, 20-35 (2010). MSC: 03D78 03F60 34A34 PDFBibTeX XMLCite \textit{P. Buser} and \textit{B. Scarpellini}, Ann. Pure Appl. Logic 162, No. 1, 20--35 (2010; Zbl 1225.03057) Full Text: DOI
Guzy, Nicolas; Point, Françoise Topological differential fields. (English) Zbl 1225.03040 Ann. Pure Appl. Logic 161, No. 4, 570-598 (2010). MSC: 03C60 12H05 12L12 PDFBibTeX XMLCite \textit{N. Guzy} and \textit{F. Point}, Ann. Pure Appl. Logic 161, No. 4, 570--598 (2010; Zbl 1225.03040) Full Text: DOI
Sureson, Claude A valuation ring analogue of von Neumann regularity. (English) Zbl 1123.03030 Ann. Pure Appl. Logic 145, No. 2, 204-222 (2007). Reviewer: Mike Prest (Manchester) MSC: 03C60 03B25 03C10 16E50 PDFBibTeX XMLCite \textit{C. Sureson}, Ann. Pure Appl. Logic 145, No. 2, 204--222 (2007; Zbl 1123.03030) Full Text: DOI
Sureson, Claude A generalization of von Neumann regularity. (English) Zbl 1112.03030 Ann. Pure Appl. Logic 135, No. 1-3, 210-242 (2005). Reviewer: Mike Prest (Manchester) MSC: 03C60 11R04 13F99 16E50 PDFBibTeX XMLCite \textit{C. Sureson}, Ann. Pure Appl. Logic 135, No. 1--3, 210--242 (2005; Zbl 1112.03030) Full Text: DOI
Coste, Michel; Lombardi, Henri; Roy, Marie-Françoise Dynamical method in algebra: Effective Nullstellensätze. (English) Zbl 0992.03076 Ann. Pure Appl. Logic 111, No. 3, 203-256 (2001). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F65 06F15 12J10 12J15 18B25 PDFBibTeX XMLCite \textit{M. Coste} et al., Ann. Pure Appl. Logic 111, No. 3, 203--256 (2001; Zbl 0992.03076) Full Text: DOI arXiv
Razon, Aharon The elementary theory of \(e\)-free PAC domains. (English) Zbl 0980.03009 Ann. Pure Appl. Logic 103, No. 1-3, 55-95 (2000). Reviewer: T.Pheidas (Iraklion) MSC: 03B25 03C60 12L12 12L05 12L10 PDFBibTeX XMLCite \textit{A. Razon}, Ann. Pure Appl. Logic 103, No. 1--3, 55--95 (2000; Zbl 0980.03009) Full Text: DOI
Otero, Margarita The joint embedding property in normal open induction. (English) Zbl 0780.03015 Ann. Pure Appl. Logic 60, No. 3, 275-290 (1993). Reviewer: M.Otero MSC: 03C62 PDFBibTeX XMLCite \textit{M. Otero}, Ann. Pure Appl. Logic 60, No. 3, 275--290 (1993; Zbl 0780.03015) Full Text: DOI
Basarab, Serban A. Relative elimination of quantifiers for Henselian valued fields. (English) Zbl 0734.03021 Ann. Pure Appl. Logic 53, No. 1, 51-74 (1991). Reviewer: T.Pheidas (Iraklion) MSC: 03C60 12J10 12L12 03C10 PDFBibTeX XMLCite \textit{S. A. Basarab}, Ann. Pure Appl. Logic 53, No. 1, 51--74 (1991; Zbl 0734.03021) Full Text: DOI
Ershov, Yu. L. RRC-fields with small absolute Galois groups. (English) Zbl 0691.12012 Ann. Pure Appl. Logic 43, No. 2, 197-208 (1989). Reviewer: D.Busneag MSC: 12L05 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Ann. Pure Appl. Logic 43, No. 2, 197--208 (1989; Zbl 0691.12012) Full Text: DOI
Bélair, Luc Substructures and uniform elimination for p-adic fields. (English) Zbl 0656.03023 Ann. Pure Appl. Logic 39, No. 1, 1-17 (1988). MSC: 03C60 12L12 03C10 11S99 PDFBibTeX XMLCite \textit{L. Bélair}, Ann. Pure Appl. Logic 39, No. 1, 1--17 (1988; Zbl 0656.03023) Full Text: DOI Link