Dittmann, Philip; Jahnke, Franziska; Krapp, Lothar Sebastian; Kuhlmann, Salma Definable valuations on ordered fields. (English) Zbl 07721466 Model Theory 2, No. 1, 101-120 (2023). Reviewer: Assaf Hasson (Be’er Sheva) MSC: 13A18 03C64 12J20 12L12 13F25 13J30 PDFBibTeX XMLCite \textit{P. Dittmann} et al., Model Theory 2, No. 1, 101--120 (2023; Zbl 07721466) Full Text: DOI arXiv
Berarducci, Alessandro; Kuhlmann, Salma; Mantova, Vincenzo; Matusinski, Mickaël Exponential fields and Conway’s omega-map. (English) Zbl 07676319 Proc. Am. Math. Soc. 151, No. 6, 2655-2669 (2023). MSC: 03C64 16W60 PDFBibTeX XMLCite \textit{A. Berarducci} et al., Proc. Am. Math. Soc. 151, No. 6, 2655--2669 (2023; Zbl 07676319) Full Text: DOI arXiv
Giraudo, Samuele The combinator \(\mathbf{M}\) and the Mockingbird lattice. (English) Zbl 07636993 Math. Struct. Comput. Sci. 32, No. 3, 271-299 (2022). MSC: 03B40 06A07 PDFBibTeX XMLCite \textit{S. Giraudo}, Math. Struct. Comput. Sci. 32, No. 3, 271--299 (2022; Zbl 07636993) Full Text: DOI arXiv
Berarducci, Alessandro; Mamino, Marcello Asymptotic analysis of Skolem’s exponential functions. (English) Zbl 07541921 J. Symb. Log. 87, No. 2, 758-782 (2022). MSC: 03C64 03E10 16W60 26A12 41A58 PDFBibTeX XMLCite \textit{A. Berarducci} and \textit{M. Mamino}, J. Symb. Log. 87, No. 2, 758--782 (2022; Zbl 07541921) Full Text: DOI arXiv
Bickford, Mark; Kozen, Dexter; Silva, Alexandra Formalizing Moessner’s theorem and generalizations in Nuprl. (English) Zbl 07432496 J. Log. Algebr. Methods Program. 124, Article ID 100713, 6 p. (2022). MSC: 03B35 11B83 13F25 68V20 PDFBibTeX XMLCite \textit{M. Bickford} et al., J. Log. Algebr. Methods Program. 124, Article ID 100713, 6 p. (2022; Zbl 07432496) Full Text: DOI
Padgett, Adele Sublogarithmic-transexponential series. arXiv:2211.06736 Preprint, arXiv:2211.06736 [math.LO] (2022). MSC: 03C64 03C60 12H10 16W60 BibTeX Cite \textit{A. Padgett}, ``Sublogarithmic-transexponential series'', Preprint, arXiv:2211.06736 [math.LO] (2022) Full Text: arXiv OA License
Berarducci, Alessandro; Freni, Pietro On the value group of the transseries. (English) Zbl 1480.16079 Pac. J. Math. 312, No. 2, 335-354 (2021). Reviewer: Edward Mosteig (Los Angeles) MSC: 16W60 03C64 12L12 PDFBibTeX XMLCite \textit{A. Berarducci} and \textit{P. Freni}, Pac. J. Math. 312, No. 2, 335--354 (2021; Zbl 1480.16079) Full Text: DOI arXiv
Berarducci, Alessandro Surreal numbers, exponentiation and derivations. arXiv:2008.06878 Preprint, arXiv:2008.06878 [math.LO] (2020). MSC: 03C64 03E10 16W60 26A12 41A58 BibTeX Cite \textit{A. Berarducci}, ``Surreal numbers, exponentiation and derivations'', Preprint, arXiv:2008.06878 [math.LO] (2020) Full Text: arXiv OA License
van den Dries, Lou; van der Hoeven, Joris; Kaplan, Elliot Logarithmic hyperseries. (English) Zbl 1494.12004 Trans. Am. Math. Soc. 372, No. 7, 5199-5241 (2019). Reviewer: Wai Yan Pong (Carson) MSC: 12H05 03C64 03C60 03C98 16W60 PDFBibTeX XMLCite \textit{L. van den Dries} et al., Trans. Am. Math. Soc. 372, No. 7, 5199--5241 (2019; Zbl 1494.12004) Full Text: DOI arXiv
Krapp, Lothar Sebastian Value groups and residue fields of models of real exponentiation. (English) Zbl 1459.13015 J. Log. Anal. 11, Paper No. 1, 23 p. (2019). Reviewer: Ali Benhissi (Monastir) MSC: 13F25 03C64 12J10 13J05 16W60 PDFBibTeX XMLCite \textit{L. S. Krapp}, J. Log. Anal. 11, Paper No. 1, 23 p. (2019; Zbl 1459.13015) Full Text: arXiv Link
Izhakian, Zur; Knebusch, Manfred Supertropical Monoids II: Lifts, Transmissions, and Equalizers. arXiv:1905.02091 Preprint, arXiv:1905.02091 [math.AC] (2019). MSC: 13A18 13F30 16W60 16Y60 03G10 06B23 12K10 14T05 BibTeX Cite \textit{Z. Izhakian} and \textit{M. Knebusch}, ``Supertropical Monoids II: Lifts, Transmissions, and Equalizers'', Preprint, arXiv:1905.02091 [math.AC] (2019) Full Text: arXiv OA License
Blute, Richard; Cockett, Robin; Jacqmin, Pierre-Alain; Scott, Philip Finiteness spaces and generalized power series. (English) Zbl 07517269 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 5-22 (2018). Reviewer: Ali Benhissi (Monastir) MSC: 13F25 03F52 03G30 PDFBibTeX XMLCite \textit{R. Blute} et al., Electron. Notes Theor. Comput. Sci. 341, 5--22 (2018; Zbl 07517269) Full Text: DOI arXiv
Rond, Guillaume Artin approximation. (English) Zbl 1396.13001 J. Singul. 17, 108-192 (2018). Reviewer: Radoslav M. Dimitrić (New York) MSC: 13-02 13B40 13J05 13J15 14-02 14B12 14B25 32-02 32B05 32B10 11J61 26E10 41A58 03C20 PDFBibTeX XMLCite \textit{G. Rond}, J. Singul. 17, 108--192 (2018; Zbl 1396.13001) Full Text: DOI arXiv HAL
L’Innocente, Sonia; Mantova, Vincenzo Factorisation of germ-like series. (English) Zbl 1364.13019 J. Log. Anal. 9, Paper No. 3, 16 p. (2017). Reviewer: Ali Benhissi (Monastir) MSC: 13F25 03E10 12J15 06F25 PDFBibTeX XMLCite \textit{S. L'Innocente} and \textit{V. Mantova}, J. Log. Anal. 9, Paper No. 3, 16 p. (2017; Zbl 1364.13019) Full Text: DOI arXiv
L’Innocente, Sonia; Mantova, Vincenzo A factorisation theory for generalised power series and omnific integers. arXiv:1710.07304 Preprint, arXiv:1710.07304 [math.LO] (2017). MSC: 13F25 13F15 13A05 03E10 BibTeX Cite \textit{S. L'Innocente} and \textit{V. Mantova}, ``A factorisation theory for generalised power series and omnific integers'', Preprint, arXiv:1710.07304 [math.LO] (2017) Full Text: DOI arXiv OA License
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. (English) Zbl 1367.68210 ACM Trans. Comput. Log. 17, No. 3, Article No. 15, 25 p. (2016). MSC: 68Q85 03B70 06F07 68Q55 68Q60 PDFBibTeX XMLCite \textit{B. Dongol} et al., ACM Trans. Comput. Log. 17, No. 3, Article No. 15, 25 p. (2016; Zbl 1367.68210) Full Text: DOI
Droste, Manfred; Perevoshchikov, Vitaly Logics for weighted timed pushdown automata. (English) Zbl 1465.68142 Beklemishev, Lev D. (ed.) et al., Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9300, 153-173 (2015). MSC: 68Q45 03B16 03D05 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{V. Perevoshchikov}, Lect. Notes Comput. Sci. 9300, 153--173 (2015; Zbl 1465.68142) Full Text: DOI
Izhakian, Zur; Knebusch, Manfred; Rowen, Louis Monoid valuations and value ordered supervaluations. (English) Zbl 1327.13017 Commun. Algebra 43, No. 8, 3207-3248 (2015). Reviewer: Marek Golasiński (Olsztyn) MSC: 13A18 06B23 13F30 03G10 12K10 14T05 16W60 16Y60 PDFBibTeX XMLCite \textit{Z. Izhakian} et al., Commun. Algebra 43, No. 8, 3207--3248 (2015; Zbl 1327.13017) Full Text: DOI arXiv
Duffaut Espinosa, Luis A.; Gray, W. Steven Functional series expansions for continuous-time switched systems. (English) Zbl 1317.93143 J. Dyn. Control Syst. 21, No. 2, 211-237 (2015). MSC: 93C30 93E03 93C10 03C15 34A34 47H30 60G51 PDFBibTeX XMLCite \textit{L. A. Duffaut Espinosa} and \textit{W. S. Gray}, J. Dyn. Control Syst. 21, No. 2, 211--237 (2015; Zbl 1317.93143) Full Text: DOI
Droste, Manfred; Pibaljommee, Bundit Weighted nested word automata and logics over strong bimonoids. (English) Zbl 1310.68129 Int. J. Found. Comput. Sci. 25, No. 5, 641-666 (2014). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 03D05 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{B. Pibaljommee}, Int. J. Found. Comput. Sci. 25, No. 5, 641--666 (2014; Zbl 1310.68129) Full Text: DOI
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc Pebble weighted automata and weighted logics. (English) Zbl 1291.03076 ACM Trans. Comput. Log. 15, No. 2, Article No. 15, 35 p. (2014). MSC: 03D05 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., ACM Trans. Comput. Log. 15, No. 2, Article No. 15, 35 p. (2014; Zbl 1291.03076) Full Text: DOI
Lauve, Aaron; Reutenauer, Christophe Rational series in the free group and the Connes operator. (English) Zbl 1355.16020 Berenstein, Arkady (ed.) et al., Noncommutative birational geometry, representations and combinatorics. Proceedings of the AMS special session on noncommutative birational geometry, representations and cluster algebras, Boston, MA, USA, January 6–7, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-8980-0/pbk; 978-1-4704-0971-5/ebook). Contemporary Mathematics 592, 177-197 (2013). MSC: 16S34 20E05 03D05 13F25 16S10 16K40 PDFBibTeX XMLCite \textit{A. Lauve} and \textit{C. Reutenauer}, Contemp. Math. 592, 177--197 (2013; Zbl 1355.16020) Full Text: DOI arXiv
Izhakian, Zur; Knebusch, Manfred; Rowen, Louis Supertropical monoids: basics and canonical factorization. (English) Zbl 1283.13004 J. Pure Appl. Algebra 217, No. 11, 2135-2162 (2013). Reviewer: Marek Golasiński (Olsztyn) MSC: 13A18 06B23 13F30 03G10 12K10 14T05 16W60 16Y60 PDFBibTeX XMLCite \textit{Z. Izhakian} et al., J. Pure Appl. Algebra 217, No. 11, 2135--2162 (2013; Zbl 1283.13004) Full Text: DOI arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Toward a model theory for transseries. (English) Zbl 1314.03037 Notre Dame J. Formal Logic 54, No. 3-4, 279-310 (2013). Reviewer: Luc Bélair (Montréal) MSC: 03C64 03C10 26A12 16W60 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Notre Dame J. Formal Logic 54, No. 3--4, 279--310 (2013; Zbl 1314.03037) Full Text: DOI arXiv Euclid
Izhakian, Zur; Knebusch, Manfred; Rowen, Louis Dominance and transmissions in supertropical valuation theory. (English) Zbl 1283.13003 Commun. Algebra 41, No. 7, 2736-2782 (2013). Reviewer: Péter E. Frenkel (Budapest) MSC: 13A18 13F30 16W60 16Y60 03G10 06B23 12K10 14T05 PDFBibTeX XMLCite \textit{Z. Izhakian} et al., Commun. Algebra 41, No. 7, 2736--2782 (2013; Zbl 1283.13003) Full Text: DOI arXiv
Droste, Manfred; Perevoshchikov, Vitaly Multi-weighted automata and MSO logic. (English) Zbl 1344.68117 Bulatov, Andrei A. (ed.) et al., Computer science – theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25–29, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38535-3/pbk). Lecture Notes in Computer Science 7913, 418-430 (2013). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} and \textit{V. Perevoshchikov}, Lect. Notes Comput. Sci. 7913, 418--430 (2013; Zbl 1344.68117) Full Text: DOI arXiv
Bell, Paul C.; Halava, Vesa; Hirvensalo, Mika Decision problems for probabilistic finite automata on bounded languages. (English) Zbl 1279.68130 Fundam. Inform. 123, No. 1, 1-14 (2013). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{P. C. Bell} et al., Fundam. Inform. 123, No. 1, 1--14 (2013; Zbl 1279.68130) Full Text: DOI
Elkhadiri, Abdelhafed Link between Noetherianity and the Weierstrass division theorem on some quasianalytic local rings. (English) Zbl 1278.26024 Proc. Am. Math. Soc. 140, No. 11, 3883-3892 (2012). Reviewer: Armin Rainer (Wien) MSC: 26E10 13F25 32B05 32B20 03C10 PDFBibTeX XMLCite \textit{A. Elkhadiri}, Proc. Am. Math. Soc. 140, No. 11, 3883--3892 (2012; Zbl 1278.26024) Full Text: DOI
Kuhlmann, Salma; Tressl, Marcus Comparison of exponential-logarithmic and logarithmic-exponential series. (English) Zbl 1267.12005 Math. Log. Q. 58, No. 6, 434-448 (2012). Reviewer: Arno Fehm (Konstanz) MSC: 12J15 12J10 13F25 12L12 13A18 03C60 PDFBibTeX XMLCite \textit{S. Kuhlmann} and \textit{M. Tressl}, Math. Log. Q. 58, No. 6, 434--448 (2012; Zbl 1267.12005) Full Text: DOI arXiv
Droste, Manfred; Vogler, Heiko Weighted automata and multi-valued logics over arbitrary bounded lattices. (English) Zbl 1245.03060 Theor. Comput. Sci. 418, 14-36 (2012). Reviewer: Roger Villemaire (Montréal) MSC: 03D05 03B50 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{H. Vogler}, Theor. Comput. Sci. 418, 14--36 (2012; Zbl 1245.03060) Full Text: DOI
Chaieb, Amine Formal power series. (English) Zbl 1266.03022 J. Autom. Reasoning 47, No. 3, 291-318 (2011). Reviewer: Viorica Sofronie-Stokkermans (Koblenz) MSC: 03B35 32A05 68T15 PDFBibTeX XMLCite \textit{A. Chaieb}, J. Autom. Reasoning 47, No. 3, 291--318 (2011; Zbl 1266.03022) Full Text: DOI
Izhakian, Z.; Knebusch, M.; Rowen, L. A glimpse at supertropical valuation theory. (English) Zbl 1240.13003 An. Științ. Univ. “Ovidius” Constanța, Ser. Mat. 19, No. 2, 131-142 (2011). MSC: 13A18 13F30 16W60 16Y60 03G10 06B23 12K10 14T05 PDFBibTeX XMLCite \textit{Z. Izhakian} et al., An. Științ. Univ. ``Ovidius'' Constanța, Ser. Mat. 19, No. 2, 131--142 (2011; Zbl 1240.13003) Full Text: arXiv
Izhakian, Zur; Knebusch, Manfred; Rowen, Louis Supertropical semirings and supervaluations. (English) Zbl 1225.13009 J. Pure Appl. Algebra 215, No. 10, 2431-2463 (2011). Reviewer: Mirela Ştefănescu (Constanţa) MSC: 13A18 13F30 16W60 16Y60 03G10 06B23 12K10 14T05 PDFBibTeX XMLCite \textit{Z. Izhakian} et al., J. Pure Appl. Algebra 215, No. 10, 2431--2463 (2011; Zbl 1225.13009) Full Text: DOI arXiv
Droste, Manfred; Vogler, Heiko Weighted logics for unranked tree automata. (English) Zbl 1226.03048 Theory Comput. Syst. 48, No. 1, 23-47 (2011). Reviewer: Magnus Steinby (Turku) MSC: 03D05 03B70 68P15 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{H. Vogler}, Theory Comput. Syst. 48, No. 1, 23--47 (2011; Zbl 1226.03048) Full Text: DOI
Elkhadiri, Abdelhafed On some noetherian rings of \(C^{\infty}\) germs on a real closed field. (English) Zbl 1226.32005 Ann. Pol. Math. 100, No. 3, 261-275 (2011). Reviewer: Armin Rainer (Wien) MSC: 32B05 26E10 13F25 32B20 03C10 PDFBibTeX XMLCite \textit{A. Elkhadiri}, Ann. Pol. Math. 100, No. 3, 261--275 (2011; Zbl 1226.32005) Full Text: DOI
Mathissen, Christian Weighted logics for nested words and algebraic formal power series. (English) Zbl 1189.68076 Log. Methods Comput. Sci. 6, No. 1, Paper No. 5, 34 p. (2010). MSC: 68Q60 03B70 03D05 68N30 68Q45 68Q70 PDFBibTeX XMLCite \textit{C. Mathissen}, Log. Methods Comput. Sci. 6, No. 1, Paper No. 5, 34 p. (2010; Zbl 1189.68076) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner Partial Conway and iteration semirings. (English) Zbl 1167.08002 Fundam. Inform. 86, No. 1-2, 19-40 (2008). Reviewer: Albert A. Mullin (Madison) MSC: 08A70 16Y60 68Q70 03D05 03D75 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Fundam. Inform. 86, No. 1--2, 19--40 (2008; Zbl 1167.08002)
Galanova, N. Yu.; Pestov, G. G. Symmetry of cuts in fields of formal power series. (Russian, English) Zbl 1164.12006 Algebra Logika 47, No. 2, 174-185 (2008); translation in Algebra Logic 47, No. 2, 100-106 (2008). MSC: 12J15 03E04 PDFBibTeX XMLCite \textit{N. Yu. Galanova} and \textit{G. G. Pestov}, Algebra Logika 47, No. 2, 174--185 (2008; Zbl 1164.12006); translation in Algebra Logic 47, No. 2, 100--106 (2008) Full Text: DOI
Rahonis, George Weighted Muller tree automata and weighted logics. (English) Zbl 1144.68036 J. Autom. Lang. Comb. 12, No. 4, 455-483 (2007). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{G. Rahonis}, J. Autom. Lang. Comb. 12, No. 4, 455--483 (2007; Zbl 1144.68036) Full Text: DOI
Droste, Manfred; Rahonis, George Weighted automata and weighted logics with discounting. (English) Zbl 1139.68361 Holub, Jan (ed.) et al., Implementation and application of automata. 12th international conference, CIAA 2007, Prague, Czech Republic, July 16–18, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-76335-2/pbk). Lecture Notes in Computer Science 4783, 73-84 (2007). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} and \textit{G. Rahonis}, Lect. Notes Comput. Sci. 4783, 73--84 (2007; Zbl 1139.68361) Full Text: DOI
Droste, Manfred; Gastin, Paul Weighted automata and weighted logics. (English) Zbl 1118.68076 Theor. Comput. Sci. 380, No. 1-2, 69-86 (2007). MSC: 68Q45 03D05 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{P. Gastin}, Theor. Comput. Sci. 380, No. 1--2, 69--86 (2007; Zbl 1118.68076) Full Text: DOI
Hellström, Lars A Generic Framework for Diamond Lemmas. arXiv:0712.1142 Preprint, arXiv:0712.1142 [math.RA] (2007). MSC: 16S15 22A05 18D50 16W60 16Z05 03C05 BibTeX Cite \textit{L. Hellström}, ``A Generic Framework for Diamond Lemmas'', Preprint, arXiv:0712.1142 [math.RA] (2007) Full Text: arXiv
Droste, Manfred; Rahonis, George Weighted automata and weighted logics on infinite words. (English) Zbl 1227.68053 Ibarra, Oscar H. (ed.) et al., Developments in language theory. 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26–29, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35428-X/pbk). Lecture Notes in Computer Science 4036, 49-58 (2006). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} and \textit{G. Rahonis}, Lect. Notes Comput. Sci. 4036, 49--58 (2006; Zbl 1227.68053) Full Text: DOI
Droste, Manfred; Vogler, Heiko Weighted tree automata and weighted logics. (English) Zbl 1154.68068 Theor. Comput. Sci. 366, No. 3, 228-247 (2006). MSC: 68Q45 03D05 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{H. Vogler}, Theor. Comput. Sci. 366, No. 3, 228--247 (2006; Zbl 1154.68068) Full Text: DOI
Todorov, Todor; Wolf, Robert Hahn Field Representation of A. Robinson’s Asymptotic Numbers. arXiv:math/0601722 Preprint, arXiv:math/0601722 [math.AC] (2006). MSC: 03H05 06A05 12J10 12J25 13A18 16W60 BibTeX Cite \textit{T. Todorov} and \textit{R. Wolf}, ``Hahn Field Representation of A. Robinson's Asymptotic Numbers'', Preprint, arXiv:math/0601722 [math.AC] (2006) Full Text: arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Differentially algebraic gaps. (English) Zbl 1151.12002 Sel. Math., New Ser. 11, No. 2, 247-280 (2005). MSC: 12H05 12J10 03C64 16W60 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Sel. Math., New Ser. 11, No. 2, 247--280 (2005; Zbl 1151.12002) Full Text: DOI
Galanova, N. Y. An investigation of the fields of bounded formal power series by means of theory of cuts. (English) Zbl 1073.03023 Acta Appl. Math. 85, No. 1-3, 121-126 (2005). MSC: 03E04 12J15 12J25 PDFBibTeX XMLCite \textit{N. Y. Galanova}, Acta Appl. Math. 85, No. 1--3, 121--126 (2005; Zbl 1073.03023) Full Text: DOI
Galanova, N. Yu. Symmetric and asymmetric gaps in fields of power series. (English) Zbl 1063.12007 Serdica Math. J. 30, No. 4, 495-504 (2004). Reviewer: Ivan D. Chipchakov (Sofia) MSC: 12J15 03E04 12J25 PDFBibTeX XMLCite \textit{N. Yu. Galanova}, Serdica Math. J. 30, No. 4, 495--504 (2004; Zbl 1063.12007) Full Text: EuDML Link
Pitteloud, Daniel Algebraic properties of rings of generalized power series. (English) Zbl 0996.06009 Ann. Pure Appl. Logic 116, No. 1-3, 39-66 (2002). MSC: 06F25 13J05 03C60 03C62 13L05 13F25 12J25 PDFBibTeX XMLCite \textit{D. Pitteloud}, Ann. Pure Appl. Logic 116, No. 1--3, 39--66 (2002; Zbl 0996.06009) Full Text: DOI
Pitteloud, Daniel Existence of prime elements in rings of generalized power series. (English) Zbl 1006.13005 J. Symb. Log. 66, No. 3, 1206-1216 (2001). Reviewer: Carlos Galindo (Castellon) MSC: 13F25 03C60 13A05 PDFBibTeX XMLCite \textit{D. Pitteloud}, J. Symb. Log. 66, No. 3, 1206--1216 (2001; Zbl 1006.13005) Full Text: DOI
Kedlaya, Kiran S. Algebraic Generalized Power Series and Automata. arXiv:math/0110089 Preprint, arXiv:math/0110089 [math.AC] (2001). MSC: 13J05 03D05 BibTeX Cite \textit{K. S. Kedlaya}, ``Algebraic Generalized Power Series and Automata'', Preprint, arXiv:math/0110089 [math.AC] (2001) Full Text: arXiv
Puninski, Gennadi Pure-injective and finite length modules over certain rings of differential polynomials. (English) Zbl 1060.16500 Fong, Yuen (ed.) et al., Lie algebras, rings and related topics. Papers of the 2nd Tainan-Moscow international algebra workshop ’97, Tainan, Taiwan, January 11–17, 1997. Hong Kong: Springer (ISBN 962-430-110-7/pbk). 171-185 (2000). MSC: 16D50 16S32 16D90 16G70 16B70 03C60 16W60 PDFBibTeX XMLCite \textit{G. Puninski}, in: Lie algebras, rings and related topics. Papers of the 2nd Tainan-Moscow international algebra workshop '97, Tainan, Taiwan, January 11--17, 1997. Hong Kong: Springer. 171--185 (2000; Zbl 1060.16500)
Ressayre, Jean-Pierre Model theory and a small problem of Hardy. (La théorie des modèles, et un petit problème de Hardy.) (French) Zbl 0987.03037 Pier, Jean-Paul (ed.), Development of mathematics 1950-2000. Basel: Birkhäuser. 925-938 (2000). Reviewer: A.Prestel (Konstanz) MSC: 03C60 12L12 03C64 PDFBibTeX XMLCite \textit{J.-P. Ressayre}, in: Development of mathematics 1950--2000. Basel: Birk\-häu\-ser. 925--938 (2000; Zbl 0987.03037)
Puninski, Gennadi Finite length and pure-injective modules over a ring of differential operators. (English) Zbl 0974.16018 J. Algebra 231, No. 2, 546-560 (2000). Reviewer: M.Prest (Manchester) MSC: 16S32 16D70 16G60 16G70 16D90 16B70 03C60 16W60 16D50 PDFBibTeX XMLCite \textit{G. Puninski}, J. Algebra 231, No. 2, 546--560 (2000; Zbl 0974.16018) Full Text: DOI Link
Berarducci, Alessandro Factorization in generalized power series. (English) Zbl 0957.13020 Trans. Am. Math. Soc. 352, No. 2, 553-577 (2000). Reviewer: A.Prestel (Konstanz) MSC: 13J05 12J25 03C60 06F25 13L05 13F25 12D99 PDFBibTeX XMLCite \textit{A. Berarducci}, Trans. Am. Math. Soc. 352, No. 2, 553--577 (2000; Zbl 0957.13020) Full Text: DOI
Mordeson, John N.; Nair, Premchand S. Fuzzy mathematics. An introduction for engineers and scientists. (English) Zbl 0956.03046 Studies in Fuzziness and Soft Computing. 20. Heidelberg: Physica-Verlag. xiv, 258 p. (1998). Reviewer: Siegfried Johannes Gottwald (Leipzig) MSC: 03E72 00A06 54-01 68-01 03-01 54A40 08A72 PDFBibTeX XMLCite \textit{J. N. Mordeson} and \textit{P. S. Nair}, Fuzzy mathematics. An introduction for engineers and scientists. Heidelberg: Physica-Verlag (1998; Zbl 0956.03046)
Hasegawa, Ryu The generating functions of lambda terms (extended abstract). (English) Zbl 0911.03007 Bridges, D. S. (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9–13, 1996. Berlin: Springer. 253-263 (1997). MSC: 03B40 05A15 03G30 PDFBibTeX XMLCite \textit{R. Hasegawa}, in: Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS '96, Auckland, New Zealand, December 9--13, 1996. Berlin: Springer. 253--263 (1997; Zbl 0911.03007)
Pippenger, Nicholas Theories of computability. (English) Zbl 0879.03013 Cambridge: Cambridge University Press. ix, 251 p. (1997). Reviewer: U.Schöning (Ulm) MSC: 03Dxx 68Qxx 03-01 68-01 03D05 03D10 03D75 03D35 68Q45 68Q70 68Q42 PDFBibTeX XMLCite \textit{N. Pippenger}, Theories of computability. Cambridge: Cambridge University Press (1997; Zbl 0879.03013)
Delon, Françoise Formal power series. (English) Zbl 0899.03028 Ann. Math. Artif. Intell. 16, No. 1-4, 59-73 (1996). MSC: 03C60 13F25 03B25 12L12 03C20 03C50 PDFBibTeX XMLCite \textit{F. Delon}, Ann. Math. Artif. Intell. 16, No. 1--4, 59--73 (1996; Zbl 0899.03028) Full Text: DOI
Eslami, Esfandiar; Mordeson, John N. Completions and fuzzy power series subrings. (English) Zbl 0897.13028 Fuzzy Sets Syst. 82, No. 1, 97-102 (1996). Reviewer: J.N.Mordeson (Omaha) MSC: 13J10 03E72 13J05 13F25 PDFBibTeX XMLCite \textit{E. Eslami} and \textit{J. N. Mordeson}, Fuzzy Sets Syst. 82, No. 1, 97--102 (1996; Zbl 0897.13028) Full Text: DOI
Ringel, Claus Michael Some algebraically compact modules. I. (English) Zbl 0848.16011 Facchini, Alberto (ed.) et al., Abelian groups and modules. Proceedings of the Padova conference, Padova, Italy, June 23-July 1, 1994. Dordrecht: Kluwer Academic Publishers. Math. Appl., Dordr. 343, 419-439 (1995). Reviewer: M.Prest (Manchester) MSC: 16G20 03C60 16P10 68R15 16D50 PDFBibTeX XMLCite \textit{C. M. Ringel}, Math. Appl., Dordr. 343, 419--439 (1995; Zbl 0848.16011)
Alling, Norman L.; Kuhlmann, Salma On \(\eta_{\alpha}\)-groups and fields. (English) Zbl 0816.06019 Order 11, No. 1, 85-92 (1994). Reviewer: S.Kuhlmann (Heidelberg) MSC: 06F20 12J15 03C60 PDFBibTeX XMLCite \textit{N. L. Alling} and \textit{S. Kuhlmann}, Order 11, No. 1, 85--92 (1994; Zbl 0816.06019) Full Text: DOI
Hatzikiriakou, Kostas A note on ordinal numbers and rings of formal power series. (English) Zbl 0808.03042 Arch. Math. Logic 33, No. 4, 261-263 (1994). MSC: 03F35 03B30 PDFBibTeX XMLCite \textit{K. Hatzikiriakou}, Arch. Math. Logic 33, No. 4, 261--263 (1994; Zbl 0808.03042) Full Text: DOI
Bruyère, Véronique; Hansel, Georges; Michaux, Christian; Villemaire, Roger Logic and \(p\)-recognizable sets of integers. (English) Zbl 0804.11024 Bull. Belg. Math. Soc. - Simon Stevin 1, No. 2, 191-238 (1994). Reviewer: Jean-Paul Allouche (Marseille) MSC: 11B85 03D05 68R15 68Q45 PDFBibTeX XMLCite \textit{V. Bruyère} et al., Bull. Belg. Math. Soc. - Simon Stevin 1, No. 2, 191--238 (1994; Zbl 0804.11024) Full Text: EuDML
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 PDFBibTeX XMLCite \textit{P. Scowcroft} and \textit{A. Macintyre}, Ann. Pure Appl. Logic 61, No. 3, 241--276 (1993; Zbl 0795.03049) 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
Ray, A. K.; Chatterjee, B.; Majumdar, A. K. A formal power series approach to the construction of minimal fuzzy automata. (English) Zbl 0717.68059 Inf. Sci. 55, No. 1-3, 189-207 (1991). MSC: 68Q45 68Q42 68Q80 03B52 PDFBibTeX XMLCite \textit{A. K. Ray} et al., Inf. Sci. 55, No. 1--3, 189--207 (1991; Zbl 0717.68059) Full Text: DOI
Bélair, Luc Anneaux \(p\)-adiquement clos et anneaux de fonctions définissables. (p- adically closed rings and rings of definable functions). (French) Zbl 0746.03025 J. Symb. Log. 56, No. 2, 539-553 (1991). Reviewer: A.Nesin (Irvine) MSC: 03C60 12L12 12J10 PDFBibTeX XMLCite \textit{L. Bélair}, J. Symb. Log. 56, No. 2, 539--553 (1991; Zbl 0746.03025) Full Text: DOI
Allouche, J.-P.; Flajolet, P.; Mendes France, M. Algebraically independent formal power series: A language theory interpretation. (English) Zbl 0725.68059 Analytic number theory, Proc. Jap.-Fr. Symp., Tokyo/Jap. 1988, Lect. Notes Math. 1434, 11-18 (1990). Reviewer: P.Liardet (Marseille) MSC: 68Q45 13F25 11J85 03D40 11Z05 11T99 PDFBibTeX XML
Delon, Françoise; Rouani, Yamina Indécidabilité de corps de séries formelles. (Undecidability of fields of formal series). (French) Zbl 0678.03017 J. Symb. Log. 53, No. 4, 1227-1234 (1988). Reviewer: Ş.A.Basarab MSC: 03C60 12L05 03B25 12J10 PDFBibTeX XMLCite \textit{F. Delon} and \textit{Y. Rouani}, J. Symb. Log. 53, No. 4, 1227--1234 (1988; Zbl 0678.03017) Full Text: DOI
Pheidas, Thanases An undecidability result for power series rings of positive characteristics. II. (English) Zbl 0664.03008 Proc. Am. Math. Soc. 100, 526-530 (1987). MSC: 03B25 12L05 13F25 11U05 11D88 PDFBibTeX XMLCite \textit{T. Pheidas}, Proc. Am. Math. Soc. 100, 526--530 (1987; Zbl 0664.03008) Full Text: DOI
Pheidas, Thanases An undecidability result for power series rings of positive characteristic. (English) Zbl 0639.03009 Proc. Am. Math. Soc. 99, 364-366 (1987). Reviewer: R.Rumely MSC: 03B25 11U05 12L05 03D35 13F25 13L05 PDFBibTeX XMLCite \textit{T. Pheidas}, Proc. Am. Math. Soc. 99, 364--366 (1987; Zbl 0639.03009) Full Text: DOI
Delon, Françoise Périodicité des théories élémentaires des corps de séries formelles itérées. (French) Zbl 0628.03019 J. Symb. Log. 51, 334-351 (1986). MSC: 03C60 12L12 13F25 12L05 12F99 PDFBibTeX XMLCite \textit{F. Delon}, J. Symb. Log. 51, 334--351 (1986; Zbl 0628.03019) Full Text: DOI
Krishna, J. G. Some order based and probabilistic approximations. (English) Zbl 0587.41027 Approximation theory and applications, Proc. Int. Conf. 75th Birthday G. G. Lorentz, St. John’s/Newfoundland 1984, Res. Notes Math. 133, 74-95 (1985). MSC: 41A65 60H99 68Q45 03H99 32A15 30D20 PDFBibTeX XML
Jacobsson, Carl; Stoltenberg-Hansen, Viggo Poincaré-Betti series are primitive recursive. (English) Zbl 0584.03032 J. Lond. Math. Soc., II. Ser. 31, 1-9 (1985). MSC: 03D45 16E40 PDFBibTeX XMLCite \textit{C. Jacobsson} and \textit{V. Stoltenberg-Hansen}, J. Lond. Math. Soc., II. Ser. 31, 1--9 (1985; Zbl 0584.03032) Full Text: DOI
Cherlin, Gregory L. Undecidability of rational function fields in nonzero characteristic. (English) Zbl 0551.03027 Logic colloquium ’82, Proc. Colloq., Florence 1982, Stud. Logic Found. Math. 112, 85-95 (1984). Reviewer: J.M.Plotkin MSC: 03D35 03B25 PDFBibTeX XML
Jensen, Christian U. Sur une classe de corps indecidables. (French) Zbl 0514.03020 C. R. Acad. Sci., Paris, Sér. I 295, 507-509 (1982). MSC: 03C60 PDFBibTeX XMLCite \textit{C. U. Jensen}, C. R. Acad. Sci., Paris, Sér. I 295, 507--509 (1982; Zbl 0514.03020)
Mekler, Alan H. Primitive rings are not definable in \(L_{\infty\infty}\). (English) Zbl 0507.16008 Commun. Algebra 10, 1689-1690 (1982). MSC: 16D60 16W60 03C60 PDFBibTeX XMLCite \textit{A. H. Mekler}, Commun. Algebra 10, 1689--1690 (1982; Zbl 0507.16008) Full Text: DOI
Delon, Francoise Indecidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées. (French) Zbl 0515.12020 Fundam. Math. 112, 215-229 (1981). MSC: 12L05 13F25 03B25 03F35 03C60 PDFBibTeX XMLCite \textit{F. Delon}, Fundam. Math. 112, 215--229 (1981; Zbl 0515.12020) Full Text: DOI EuDML
Richman, Fred Seidenberg’s condition P. (English) Zbl 0461.03016 Constructive mathematics, Proc. Conf., Las Cruces/N.M. 1980, Lect. Notes Math. 873, 1-11 (1981). MSC: 03F65 12E12 12F05 12J10 13J05 PDFBibTeX XML
Claus, Volker The (n,k)-bounded emptiness-problem for probabilistic acceptors and related problems. (English) Zbl 0449.03010 Acta Inf. 16, 139-160 (1981). MSC: 03B25 68Q45 03D05 68Q99 03D10 68Q05 13F25 PDFBibTeX XMLCite \textit{V. Claus}, Acta Inf. 16, 139--160 (1981; Zbl 0449.03010) Full Text: DOI
Becker, Joseph; Lipshitz, Leonard Remarks of the elementary theories of formal and convergent power series. (English) Zbl 0526.13016 Fundam. Math. 105, 229-239 (1980). MSC: 13L05 13F25 13J05 12L10 12L05 03B25 PDFBibTeX XMLCite \textit{J. Becker} and \textit{L. Lipshitz}, Fundam. Math. 105, 229--239 (1980; Zbl 0526.13016) Full Text: DOI EuDML
Tall, David Looking at graphs through infinitesimal microscopes, windows and telescopes. (English) Zbl 0499.26008 Math. Gaz. 64, 22-48 (1980). MSC: 26E35 03H05 PDFBibTeX XMLCite \textit{D. Tall}, Math. Gaz. 64, 22--48 (1980; Zbl 0499.26008) Full Text: DOI
Todorov, T. D. Asymptotic numbers. II: Order relation, infinitesimals and interval topology. (English) Zbl 0478.03030 Bulg. J. Phys. 7, 547-562 (1980). MSC: 03H05 12J99 12L15 46F99 PDFBibTeX XMLCite \textit{T. D. Todorov}, Bulg. J. Phys. 7, 547--562 (1980; Zbl 0478.03030)
Becker, Joseph; Lipshitz, Leonard Remarks of the elementary theories of formal and convergent power series. (English) Zbl 0465.03015 Fundam. Math. 105, 229-239 (1980). MSC: 03C60 13F25 13J05 13L05 03C10 PDFBibTeX XMLCite \textit{J. Becker} and \textit{L. Lipshitz}, Fundam. Math. 105, 229--239 (1980; Zbl 0465.03015) Full Text: DOI EuDML
Kim, Kukjin On the structure of Hensel fields. (English) Zbl 0453.12011 J. Korean Math. Soc. 16, 155-160 (1980). MSC: 12L05 03B25 11T99 PDFBibTeX XMLCite \textit{K. Kim}, J. Korean Math. Soc. 16, 155--160 (1980; Zbl 0453.12011)
Becker, J.; Denef, J.; Lipshitz, L. Further remarks on the elementary theory of formal power series rings. (English) Zbl 0452.12013 Model theory of algebra and arithmetic, Proc. Conf., Karpacz/Pol. 1979, Lect. Notes Math. 834, 1-9 (1980). MSC: 12L05 13F25 13J05 13L05 03B25 PDFBibTeX XML
Yagzhev, A. V. Algorithmic problem of recognizing automorphisms among endomorphisms of free associative algebras of finite rank. (English) Zbl 0451.16026 Sib. Math. J. 21, 142-146 (1980). MSC: 16W20 16S10 16S50 16W60 16P50 03D40 PDFBibTeX XMLCite \textit{A. V. Yagzhev}, Sib. Math. J. 21, 142--146 (1980; Zbl 0451.16026) Full Text: DOI
Yagzhev, A. V. The algorithmic problem of recognizing automorphisms among the endomorphisms of free associative algebras of finite rank. (Russian) Zbl 0433.16025 Sib. Mat. Zh. 21, No. 1, 193-199 (1980). MSC: 16W20 16S10 16S50 16W60 16P50 03D40 PDFBibTeX XMLCite \textit{A. V. Yagzhev}, Sib. Mat. Zh. 21, No. 1, 193--199 (1980; Zbl 0433.16025) Full Text: EuDML
Tall, David The calculus of Leibniz - An alternative modern approach. (English) Zbl 0499.26009 Math. Intell. 2, 54-55 (1979). MSC: 26E35 03H05 PDFBibTeX XMLCite \textit{D. Tall}, Math. Intell. 2, 54--55 (1979; Zbl 0499.26009) Full Text: DOI
Robbin, J. W. Evaluation fields for power series II. The Reelnullstellensatz. (English) Zbl 0479.14002 J. Algebra 57, 212-222 (1979). MSC: 14A05 13L05 13F25 14A25 03C60 12D99 13J05 PDFBibTeX XMLCite \textit{J. W. Robbin}, J. Algebra 57, 212--222 (1979; Zbl 0479.14002) Full Text: DOI
Robbin, Joel W. Evaluation fields for power series I. The Nullstellensatz. (English) Zbl 0479.14001 J. Algebra 57, 196-211 (1979). MSC: 14A05 13L05 13F25 14A25 03C60 12D99 13J05 PDFBibTeX XMLCite \textit{J. W. Robbin}, J. Algebra 57, 196--211 (1979; Zbl 0479.14001) Full Text: DOI
Johansen, Peter The generating function of the number of subpatterns of a DOL sequence. (English) Zbl 0419.68098 Theor. Comput. Sci. 8, 57-68 (1979). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{P. Johansen}, Theor. Comput. Sci. 8, 57--68 (1979; Zbl 0419.68098) Full Text: DOI
Esterle, Jean Sur l’existence d’un homomorphisme discontinu de C(K). (French) Zbl 0411.46038 Proc. Lond. Math. Soc., III. Ser. 36, 46-58 (1978). MSC: 46J10 46J20 46E25 03E50 PDFBibTeX XMLCite \textit{J. Esterle}, Proc. Lond. Math. Soc. (3) 36, 46--58 (1978; Zbl 0411.46038) Full Text: DOI
Salomaa, Arto; Soittola, Matti Automata-theoretic aspects of formal power series. (English) Zbl 0377.68039 Texts and Monographs in Computer Science. New York - Heidelberg -Berlin: Springer-Verlag. X, 171 p. DM 38.00; $ 19.00 (1978). MSC: 68Q45 68-02 03D05 30B10 16U10 PDFBibTeX XML
Esterle, J. Solution d’un problème d’Erdős, Gillman et Henriksen et application à l’étude des homomorphismes de C(K). (French) Zbl 0411.46037 Acta Math. Acad. Sci. Hung. 30, 113-127 (1977). MSC: 46J10 46J20 46E25 03E50 03E55 PDFBibTeX XMLCite \textit{J. Esterle}, Acta Math. Acad. Sci. Hung. 30, 113--127 (1977; Zbl 0411.46037) Full Text: DOI