×

Found 329 Documents (Results 1–100)

Definability of abelian groups. (Определяемость абелевых групп. Проблематика. Исследования. Обзор.) (Russian) Zbl 1284.03008

Saarbrücken: Palmarium Academic Publishing (ISBN 978-3-8473-9638-3/ebook). electronic only (2012).
PDF BibTeX XML Cite

Cylindric-like algebras and algebraic logic. (English) Zbl 1258.03003

Bolyai Society Mathematical Studies 22. Dordrecht: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-35024-5/hbk; 978-963-9453-15-9/hbk). 478 p. (2012).
PDF BibTeX XML Cite

Diophantine correct open induction. (English) Zbl 1255.03053

Kennedy, Juliette (ed.) et al., Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-00804-5/hbk). Lecture Notes in Logic 36, 93-111 (2011).
PDF BibTeX XML Cite
Full Text: arXiv

Lattices of relatively axiomatizable classes. (English) Zbl 1187.08004

Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 221-239 (2007).
PDF BibTeX XML Cite
Full Text: DOI

On the \(\exists^+\)-conditional varieties, \(\exists^+\)-conditional pseudovarieties and the implicit operations on them. (Russian. English summary) Zbl 1101.08005

Pinus, A.G. (ed.) et al., Algebra and model theory 5. Collection of papers from the 5th summer school “Intermediate problems of model theory and universal algebra”, Erlogol, Russia, June 26–July 1, 2005. Novosibirsk: Novosibirsk State Technical University (ISBN 5-7782-0551-1/pbk). 139-161 (2005).
MSC:  08C15 08C10
PDF BibTeX XML Cite

Every Abelian group universally equivalent to a discriminating group is elementarily equivalent to a discriminating group. (English) Zbl 1017.20025

Cleary, Sean (ed.) et al., Combinatorial and geometric group theory. Proceedings of the AMS special session on combinatorial group theory, New York, NY, USA, November 4-5, 2000 and the AMS special session on computational group theory, Hoboken, NJ, USA, April 28-29, 2001. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 296, 129-137 (2002).
PDF BibTeX XML Cite

Modal logic and universal algebra. I: Modal axiomatizations of structures. (English) Zbl 1001.03019

Zakharyaschev, Michael (ed.) et al., Advances in modal logic. Vol. 2. Selected papers from the 2nd international workshop (AiML’98), Uppsala, Sweden, October 16-18, 1998. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 119, 247-274 (2001).
PDF BibTeX XML Cite

Hyperidentities in semigroups. (English) Zbl 0998.20050

Abe, Jair Minoro (ed.) et al., Unsolved problems on mathematics for the 21st century. A tribute to Kiyoshi Iséki’s 80th birthday. Amsterdam: IOS Press. 37-75 (2001).
PDF BibTeX XML Cite

Series and parallel operations on pomsets. (English) Zbl 0959.08002

Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 316-328 (1999).
PDF BibTeX XML Cite

On nonstandard axiomatization of elementarily nonaxiomatizable classes of discrete algebraic systems. (English. Russian original) Zbl 0936.03031

Sib. Math. J. 40, No. 2, 363-373 (1999); translation from Sib. Mat. Zh. 40, No. 2, 421-433 (1999).
PDF BibTeX XML Cite

Amalgamation and interpolation in abstract algebraic logic. (English) Zbl 0927.03086

Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 187-265 (1999).
MSC:  03G25 08C10 03C40
PDF BibTeX XML Cite

Characterization theorems for infinitary universal Horn logic. (English) Zbl 0871.03028

Martínez Vidal, C. (ed.) et al., Truth: logic, representation and world. Proceedings of the international congress, Santiago de Compostela, Spain, January 17–20, 1996. Santiago de Compostela: Universidade de Santiago de Compostela. Cursos e Congresos da Universidade de Santiago de Compostela. 88, 193-199 (1996).
MSC:  03C75 08C10 03C20
PDF BibTeX XML Cite

Tolerance-primal algebras with one nontrivial tolerance, their dualities and equivalences. (English) Zbl 0789.08002

Denecke, K. (ed.) et al., General algebra and applications. Based on lectures given at the 43. Arbeitstagung Allgemeine Algebra, Potsdam (Germany), 31. Jan. - 2. Febr. 1992. Berlin: Heldermann Verlag. Res. Expo. Math. 20, 70-85 (1993).
Reviewer: I.Chajda (Přerov)
MSC:  08A40 08C10
PDF BibTeX XML Cite

Decidability of the theories of certain infinite, finitely presented quasigroups. (English. Russian original) Zbl 0819.20076

Russ. Math. 36, No. 3, 74-80 (1992); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1992, No. 3(358), 74-79 (1992).
Reviewer: G.A.Noskov (Omsk)
PDF BibTeX XML Cite

On the expressiveness of equational type logic. (English) Zbl 0768.08003

The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 85-100 (1992).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field