Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Landi, Lucia Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551 Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023). MSC: 03B45 03C10 06E25 54E05 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103169, 31 p. (2023; Zbl 07601551) Full Text: DOI arXiv OpenURL
D’Agostino, Giovanna Uniform interpolation for propositional and modal team logics. (English) Zbl 1444.03104 J. Log. Comput. 29, No. 5, 785-802 (2019). MSC: 03B60 03B45 03C40 03C10 PDF BibTeX XML Cite \textit{G. D'Agostino}, J. Log. Comput. 29, No. 5, 785--802 (2019; Zbl 1444.03104) Full Text: DOI arXiv OpenURL
Nguyen, Kien Huu Uniform rationality of the Poincaré series of definable, analytic equivalence relations on local fields. (English) Zbl 1469.11478 Trans. Am. Math. Soc., Ser. B 6, 274-296 (2019). MSC: 11U09 03C60 03C10 03C98 11M41 11S80 20C15 20E07 PDF BibTeX XML Cite \textit{K. H. Nguyen}, Trans. Am. Math. Soc., Ser. B 6, 274--296 (2019; Zbl 1469.11478) Full Text: DOI arXiv OpenURL
van Gool, Samuel J.; Metcalfe, George; Tsinakis, Constantine Uniform interpolation and compact congruences. (English) Zbl 1422.03061 Ann. Pure Appl. Logic 168, No. 10, 1927-1948 (2017). MSC: 03C05 03C10 03C40 08B20 PDF BibTeX XML Cite \textit{S. J. van Gool} et al., Ann. Pure Appl. Logic 168, No. 10, 1927--1948 (2017; Zbl 1422.03061) Full Text: DOI arXiv Link OpenURL
Montagna, Franco \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. (English) Zbl 1258.03029 Stud. Log. 100, No. 1-2, 289-317 (2012). Reviewer: Daniele Mundici (Firenze) MSC: 03B52 03B25 03C10 03C40 06D35 06F15 PDF BibTeX XML Cite \textit{F. Montagna}, Stud. Log. 100, No. 1--2, 289--317 (2012; Zbl 1258.03029) Full Text: DOI OpenURL
Fournier, Hervé Quantifier rank for parity of embedded finite models. (English) Zbl 0999.03029 Sgall, Jiří(ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 375-386 (2001). MSC: 03C13 68Q19 68P15 PDF BibTeX XML Cite \textit{H. Fournier}, Lect. Notes Comput. Sci. 2136, 375--386 (2001; Zbl 0999.03029) Full Text: Link OpenURL
Basu, Saugata Uniform quantifier elimination and constraint query processing. (English) Zbl 0915.03031 Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 21-27 (1997). MSC: 03C10 68P15 68W30 12L12 PDF BibTeX XML Cite \textit{S. Basu}, in: Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC '97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press. 21--27 (1997; Zbl 0915.03031) OpenURL
Robinson, Zachary Flatness and smooth points of \(p\)-adic subanalytic sets. (English) Zbl 0897.32014 Ann. Pure Appl. Logic 88, No. 2-3, 217-225 (1997). MSC: 32P05 32B20 03C10 PDF BibTeX XML Cite \textit{Z. Robinson}, Ann. Pure Appl. Logic 88, No. 2--3, 217--225 (1997; Zbl 0897.32014) Full Text: DOI OpenURL
Trlifaj, Jan Two problems of Ziegler and uniform modules over regular rings. (English) Zbl 0880.16005 Arnold, David M. (ed.) et al., Abelian groups and modules. Proceedings of the international conference at Colorado Springs, CO, USA, August 7–12, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 182, 373-383 (1996). Reviewer: Th.Kucera (Winnipeg) MSC: 16E50 16B70 16D50 03C60 PDF BibTeX XML Cite \textit{J. Trlifaj}, Lect. Notes Pure Appl. Math. 182, 373--383 (1996; Zbl 0880.16005) OpenURL
Visser, Albert Uniform interpolation and layered bisimulation. (English) Zbl 0854.03026 Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 139-164 (1996). MSC: 03C40 03C80 03C10 PDF BibTeX XML Cite \textit{A. Visser}, Lect. Notes Log. 6, 139--164 (1996; Zbl 0854.03026) OpenURL
van den Dries, Lou Analytic Ax-Kochen-Ershov theorems. (English) Zbl 0835.03004 Algebra, Proc. Int. Conf. Memory A. I. Mal’cev, Novosibirsk/USSR 1989, Contemp. Math. 131, Pt. 3, 379-398 (1992). Reviewer: M.Yasuhara (MR 93i:03041) MSC: 03C10 03C60 13J15 13J07 13L05 12L12 PDF BibTeX XML Cite \textit{L. van den Dries}, Contemp. Math. 131, 379--398 (1992; Zbl 0835.03004) OpenURL
Koepke, Peter On the elimination of Malitz quantifiers over Archimedian real closed fields. (English) Zbl 0693.03021 Arch. Math. Logic 28, No. 3, 167-171 (1989). MSC: 03C80 03C10 12L12 03E35 03C60 03E50 PDF BibTeX XML Cite \textit{P. Koepke}, Arch. Math. Logic 28, No. 3, 167--171 (1989; Zbl 0693.03021) Full Text: DOI OpenURL
Pas, Johan Uniform \(p\)-adic cell decomposition and local zeta functions. (English) Zbl 0666.12014 J. Reine Angew. Math. 399, 137-172 (1989). Reviewer: Johan Pas (Leuven) MSC: 11S40 03C10 03C60 11U09 PDF BibTeX XML Cite \textit{J. Pas}, J. Reine Angew. Math. 399, 137--172 (1989; Zbl 0666.12014) Full Text: DOI EuDML OpenURL