Bannister, Nathaniel; Bergfalk, Jeffrey; Moore, Justin Tatch On the additivity of strong homology for locally compact separable metric spaces. (English) Zbl 07720424 Isr. J. Math. 255, No. 1, 349-381 (2023). MSC: 03Exx 55Nxx 55Pxx PDFBibTeX XMLCite \textit{N. Bannister} et al., Isr. J. Math. 255, No. 1, 349--381 (2023; Zbl 07720424) Full Text: DOI arXiv
Mundici, Daniele Computing on lattice-ordered abelian groups. (English) Zbl 07614728 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 210-225 (2020). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{D. Mundici}, Lect. Notes Comput. Sci. 12180, 210--225 (2020; Zbl 07614728) Full Text: DOI
Gavrilovich, Misha Covers of abelian varieties as analytic Zariski structures. (English) Zbl 1273.03135 Ann. Pure Appl. Logic 163, No. 11, 1524-1548 (2012). MSC: 03C98 03C35 03C45 14F20 14F35 14H30 32Q55 PDFBibTeX XMLCite \textit{M. Gavrilovich}, Ann. Pure Appl. Logic 163, No. 11, 1524--1548 (2012; Zbl 1273.03135) Full Text: DOI arXiv
Pulcini, Gabriele Rewriting systems for the surface classification theorem. (English) Zbl 1204.03055 Math. Struct. Comput. Sci. 20, No. 4, 577-588 (2010). MSC: 03F07 03F52 57N05 68Q42 PDFBibTeX XMLCite \textit{G. Pulcini}, Math. Struct. Comput. Sci. 20, No. 4, 577--588 (2010; Zbl 1204.03055) Full Text: DOI
Nathanson, Melvyn B. Desperately seeking mathematical proof. (English) Zbl 1172.03004 Math. Intell. 31, No. 2, 8-10 (2009). Reviewer: Reinhard Kahle (Coimbra) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{M. B. Nathanson}, Math. Intell. 31, No. 2, 8--10 (2009; Zbl 1172.03004) Full Text: DOI arXiv
Pulcini, Gabriele A geometrical procedure for computing relaxation. (English) Zbl 1160.03040 Ann. Pure Appl. Logic 158, No. 1-2, 80-89 (2009). MSC: 03F52 03F07 57N05 PDFBibTeX XMLCite \textit{G. Pulcini}, Ann. Pure Appl. Logic 158, No. 1--2, 80--89 (2009; Zbl 1160.03040) Full Text: DOI
Korovina, Margarita; Vorobjov, Nicolai Bounds on sizes of finite bisimulations of Pfaffian dynamical systems. (English) Zbl 1166.68031 Theory Comput. Syst. 43, No. 3-4, 498-515 (2008). MSC: 68Q85 03C64 14P15 37B10 PDFBibTeX XMLCite \textit{M. Korovina} and \textit{N. Vorobjov}, Theory Comput. Syst. 43, No. 3--4, 498--515 (2008; Zbl 1166.68031) Full Text: DOI Link
Mundici, Daniele A characterization of the free \(n\)-generated MV-algebra. (English) Zbl 1094.06010 Arch. Math. Logic 45, No. 2, 239-247 (2006). Reviewer: Rostislav Horcik (Praha) MSC: 06D35 03B50 52B20 55N10 PDFBibTeX XMLCite \textit{D. Mundici}, Arch. Math. Logic 45, No. 2, 239--247 (2006; Zbl 1094.06010) Full Text: DOI
Ly, Olivier Automatic graphs and D0L-sequences of finite graphs. (English) Zbl 1114.68048 J. Comput. Syst. Sci. 67, No. 3, 497-545 (2003). MSC: 68Q45 03D05 03D10 03B25 03D35 05C20 68Q42 PDFBibTeX XMLCite \textit{O. Ly}, J. Comput. Syst. Sci. 67, No. 3, 497--545 (2003; Zbl 1114.68048) Full Text: DOI
Pratt-Hartmann, Ian; Schoop, Dominik Elementary polyhedral mereotopology. (English) Zbl 1011.03003 J. Philos. Log. 31, No. 5, 469-498 (2002). MSC: 03B30 54A99 68T01 PDFBibTeX XMLCite \textit{I. Pratt-Hartmann} and \textit{D. Schoop}, J. Philos. Log. 31, No. 5, 469--498 (2002; Zbl 1011.03003) Full Text: DOI
Bianconi, Ricardo On sets \(\forall\)-definable from Pfaffian functions. (English) Zbl 0771.03012 J. Symb. Log. 57, No. 2, 688-697 (1992). Reviewer: R.Bianconi (São Paulo) MSC: 03C65 03C40 03C07 PDFBibTeX XMLCite \textit{R. Bianconi}, J. Symb. Log. 57, No. 2, 688--697 (1992; Zbl 0771.03012) Full Text: DOI
da Costa, N. C. A.; Doria, F. A.; de Barros, J. A. A Suppes predicate for general relativity and set-theoretically generic spacetimes. (English) Zbl 0707.03045 Int. J. Theor. Phys. 29, No. 9, 935-961 (1990). MSC: 03E75 83C05 53C50 53C80 03E40 03E45 PDFBibTeX XMLCite \textit{N. C. A. da Costa} et al., Int. J. Theor. Phys. 29, No. 9, 935--961 (1990; Zbl 0707.03045) Full Text: DOI
Ivanov, A. A. The problem of finite axiomatizability for strongly minimal graph theories. (English. Russian original) Zbl 0727.05028 Algebra Logic 28, No. 3, 183-194 (1989); translation from Algebra Logika 28, No. 3, 280-297 (1989). MSC: 05C25 03C60 08C10 PDFBibTeX XMLCite \textit{A. A. Ivanov}, Algebra Logic 28, No. 3, 183--194 (1989; Zbl 0727.05028); translation from Algebra Logika 28, No. 3, 280--297 (1989) Full Text: DOI EuDML
Ivanov, A. A. Problem of finite axiomatizability for strongly minimal theories of graphs and groups with a nonzero number of ends. (English. Russian original) Zbl 0718.03028 Algebra Logic 28, No. 2, 108-116 (1989); translation from Algebra Logika 28, No. 2, 160-173 (1989). Reviewer: S.R.Kogalovskij (Ivanovo) MSC: 03C60 20A15 05C25 03C35 08C10 PDFBibTeX XMLCite \textit{A. A. Ivanov}, Algebra Logic 28, No. 2, 108--116 (1989; Zbl 0718.03028); translation from Algebra Logika 28, No. 2, 160--173 (1989) Full Text: DOI EuDML
Arnon, Dennis S. A bibliography of quantifier elimination for real closed fields. (English) Zbl 0646.03024 J. Symb. Comput. 5, No. 1-2, 267-274 (1988). Reviewer: D.Yu.Grigor’ev MSC: 03C10 12L12 68W30 00A15 PDFBibTeX XMLCite \textit{D. S. Arnon}, J. Symb. Comput. 5, No. 1--2, 267--274 (1988; Zbl 0646.03024) Full Text: DOI
Remeslennikov, V. N.; Roman’kov, V. A. Model-theoretic and algorithmic questions in group theory. (English) Zbl 0573.20031 J. Sov. Math. 31, 2887-2939 (1985). MSC: 20F10 20A15 03C60 03D40 PDFBibTeX XMLCite \textit{V. N. Remeslennikov} and \textit{V. A. Roman'kov}, J. Sov. Math. 31, 2887--2939 (1985; Zbl 0573.20031) Full Text: DOI
Lenard, A.; Stillwell, J. An algorithmically unsolvable problem in analysis. (English) Zbl 0516.58043 Proc. Am. Math. Soc. 88, 129-130 (1983). MSC: 58J50 31C12 03D35 53C20 20F10 PDFBibTeX XMLCite \textit{A. Lenard} and \textit{J. Stillwell}, Proc. Am. Math. Soc. 88, 129--130 (1983; Zbl 0516.58043) Full Text: DOI