:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Liedokto, M. S. L.
Formato:	Preprint
Publicado:	2025
Materias:	Rings and Algebras 03G27 F.4
Acceso en línea:	https://arxiv.org/abs/2501.02678
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Representability for distributive quasi relation algebras via nested sums
por: Craig, Andrew, et al.
Publicado: (2025)

Residuated lattices do not have the amalgamation property
por: Jipsen, Peter, et al.
Publicado: (2025)

Representable distributive quasi relation algebras
por: Craig, Andrew, et al.
Publicado: (2023)

Nilpotent BCK-algebras
por: Evans, C. Matthew
Publicado: (2025)

Interpolation and the Exchange Rule
por: Fussner, Wesley, et al.
Publicado: (2023)

Interpolation in Hájek's Basic Logic
por: Fussner, Wesley, et al.
Publicado: (2024)

On $\mathscr{T}$-based orthomodular dynamic algebras
por: Paseka, Jan, et al.
Publicado: (2026)

Amalgamation in Semilinear Residuated Lattices
por: Fussner, Wesley, et al.
Publicado: (2024)

Uniform Interpolation
por: van Gool, Sam
Publicado: (2025)

Random expansions of finite structures with bounded degree
por: Koponen, Vera
Publicado: (2024)

Ivanova contact join-semilattices are not finitely axiomatizable
por: Lipparini, Paolo
Publicado: (2023)

A Homological Separation of $\mathbf{P}$ from $\mathbf{NP}$ via Computational Topology and Category Theory
por: Tang, Jian-Gang
Publicado: (2025)

Commuting degree for BCK-algebras
por: Evans, C. Matthew
Publicado: (2025)

On Nondefinability of Interior-Connectedness via the Contact Relation
por: Gruszczyński, Rafał, et al.
Publicado: (2025)

Prime Radical and Primary decomposition of Ideals in an L subring
por: Ajmal, Naseem, et al.
Publicado: (2025)

The fork and its role in unification of closure algebras
por: Düntsch, Ivo, et al.
Publicado: (2023)

L-algebras and their ideals: from simplicity to semidirect products
por: Properzi, Silvia, et al.
Publicado: (2025)

Hypercontact semilattices
por: Lipparini, Paolo
Publicado: (2023)

Assume-guarantee contract algebras are dp-algebras
por: Castiglioni, Jose Luis, et al.
Publicado: (2024)

On the structure and theory of McCarthy algebras
por: Bonzio, Stefano, et al.
Publicado: (2025)

Axiomatizing small varieties of periodic l-pregroups
por: Galatos, Nikolaos, et al.
Publicado: (2025)

A quantitative Hilbert's basis theorem and the constructive Krull dimension
por: Kuroki, Ryota
Publicado: (2025)

Skolem, Gödel, and Hilbert fibrations
por: Trotta, Davide, et al.
Publicado: (2024)

Word equations and the exponent of periodicity
por: Diekert, Volker, et al.
Publicado: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
por: Liu, Zhangchi
Publicado: (2025)

Linear Algebra and Galois Theory
por: Gupta, Ashish, et al.
Publicado: (2024)

A convergence law for continuous logic and continuous structures with finite domains
por: Koponen, Vera
Publicado: (2025)

Polynomial definability in constraint languages with few subpowers
por: Bulín, Jakub, et al.
Publicado: (2023)

Model Theory of Local Real Closed SV-Rings of Finite Rank
por: Piepenborn, Ricardo Palomino
Publicado: (2024)

Derived operators on skew orthomodular and strong skew orthomodular posets
por: Chajda, Ivan, et al.
Publicado: (2025)

Interval matrices: realization of ranks by rational matrices
por: Rubei, Elena
Publicado: (2019)

Congruence Extensions in Congruence-modular Varieties
por: Georgescu, George, et al.
Publicado: (2020)

Grothendieck rings of ordered subgroups of $\mathbb{Q}$
por: Bhardwaj, Neer, et al.
Publicado: (2025)

On p-Lie algebras of finite Morley rank
por: Zamour, Samuel
Publicado: (2026)

Wilson conjecture for omega-categorical Lie algebras, the case 4-Engel characteristic 3
por: d'Elbée, Christian
Publicado: (2024)

Soluble Lie rings of finite Morley rank
por: Deloro, Adrien, et al.
Publicado: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

Finite skew braces of square-free order and supersolubility
por: Ballester-Bolinches, Adolfo, et al.
Publicado: (2024)

A factorisation theory for generalised power series and omnific integers
por: L'Innocente, Sonia, et al.
Publicado: (2017)