Search

Search Results

1. Axiomatizability of the Class of Subdirectly Irreducible S-Acts over a Commutative Monoid

   An axiomatizability criterion is found for the class of subdirectly irreducible S -acts over a commutative monoid. As a corollary, a number of...

   A. A. Stepanova, E. L. Efremov in Algebra and Logic

   Article 01 May 2023

2. On the Independent Axiomatizability of Quasivarieties of Nilpotent Groups

   A. I. Budkin in Siberian Mathematical Journal

   Article 01 January 2023

3. Independent Axiomatizability of Quasivarieties of Torsion-Free Nilpotent Groups

   Let N be a quasivariety of torsion-free nilpotent groups of class at most two. It is proved that the set of subquasivarieties in N, which have no...

   A. I. Budkin in Algebra and Logic

   Article 01 May 2021

4. Destructibility and axiomatizability of Kaufmann models

   Corey Bacal Switzer in Archive for Mathematical Logic

   Article Open access 26 March 2022

5. Between the Rings \({\mathbb Z}/p^n{\mathbb Z}\) and the Ring \({\mathbb Z}_p\) : Issues of Axiomatizability, Definability and Decidability

   Angus J. Macintyre in Mathematics Going Forward

   Chapter 2023
   

6. Axiomatizability of the Class of Subdirectly Irreducible Acts over an Abelian Group

   Abelian groups are described over which the class of all subdirectly irreducible acts is axiomatizable. Also some properties of subdirectly...

   A. A. Stepanova, D. O. Ptakhov in Algebra and Logic

   Article 29 November 2020

7. Virtual Algebraic Isomorphisms between Predicate Calculi of Finite Rich Signatures

   It is proved that every two predicate calculi of finite rich signatures are algebraically virtually isomorphic, i.e., some of their Cartesian...

   M. G. Peretyat’kin in Algebra and Logic

   Article 01 January 2022

8. Properties not retained by pointed enrichments of finite lattices

   The present work considers algebras and their enrichments. It is shown by two examples of finite lattices that the properties “to have (no) a finite...

   Ainur O. Basheyeva, Manat Mustafa, Anvar M. Nurakunov in Algebra universalis

   Article 30 October 2020
   

9. An Essay in Matrix Semantics for Consequence Relations

   The objective of this chapter is to study abstract sentential calculi (alternatively, abstract propositional logics) construed as pairs...

   Jan Zygmunt in Universal Logic, Ethics, and Truth

   Chapter 2024
   

10. Groups with Nilpotent \( n \)-Generated Normal Subgroups

    A. I. Budkin in Siberian Mathematical Journal

    Article 24 July 2023

11. Ultraproducts

    In this chapter the i-th coordinate of an element a from the product will be denoted by a(i).

    Laszlo Csirmaz, Zalán Gyenis in Mathematical Logic

    Chapter 2022
    

12. Appendix: Algebras of relations

    In this chapter we briefly introduce the classes of algebras that have occurred in the book as algebraic versions of logics.1 This chapter is...

    Hajnal Andréka, Zalán Gyenis, ... Ildikó Sain in Universal Algebraic Logic

    Chapter 2022
    

13. Sessions of the Seminar “Algebra i Logika”

    in Algebra and Logic

    Article 01 July 2022

14. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    We find a sufficient condition for a quasivariety K to have continuum many subquasivarieties that have no independent quasi-equational bases relative...

    A. V. Kravchenko, A. M. Nurakunov, M. V. Schwidefsky in Algebra and Logic

    Article 15 January 2019

15. On Universal Positive Graphs

    We study the existence of the universal computable numberings and the universal graphs for various classes of positive graphs. It is known that each ...

    B. S. Kalmurzaev, N. A. Bazhenov, D. B. Alish in Siberian Mathematical Journal

    Article 01 January 2023

16. An Unexpected Boolean Connective

    Sérgio Marcelino in Logica Universalis

    Article 17 June 2021
    

17. On Finitely-Generated Johansson Algebras

    Alex Citkin in Order

    Article 18 October 2022

18. Similarities of Hybrids from Jonsson Spectrum and \(\boldsymbol{S}\)-Acts

    Abstract

    It is well known that amalgamation property and the joint embedding property are independent of each other. In the case when both of these...

    A. R. Yeshkeyev, O. I. Ulbrikht, N. M. Mussina in Lobachevskii Journal of Mathematics

    Article 01 December 2023

19. Model Theory of Subject Domains. I

    D. E. Palchunov in Algebra and Logic

    Article 01 May 2022

20. The Number of Fragments of the Perfect Class of the Jonsson Spectrum

    Abstract

    In this article, we consider the notion of the Jonsson spectrum of some subclass of existentially closed models of a fixed Jonsson theory....

    A. R. Yeshkeyev, O. I. Ulbrikht, M. T. Omarova in Lobachevskii Journal of Mathematics

    Article 01 December 2022