Cover Image

Ivanova contact join-semilattices are not finitely axiomatizable

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lipparini, Paolo
Format:	Preprint
Published:	2023
Subjects:	Logic Rings and Algebras 03G25, 06A12, 06F99, 54E05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

Multi-argument specialization semilattices
by: Lipparini, Paolo
Published: (2022)

Finitely additive measures on Boolean algebras
by: Cardona, Miguel A., et al.
Published: (2025)

Semilattices with a congruence
by: Lipparini, Paolo
Published: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Foulis m-semilattices and their modules
by: Botur, Michal, et al.
Published: (2025)

Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)

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

Quasiorders for a characterization of iso-dense spaces
by: Richmond, Tom, et al.
Published: (2024)

Embeddings into P(N)/fin and extension of automorphisms
by: Bella, A., et al.
Published: (2001)

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

A model theory of topology
by: Lipparini, Paolo
Published: (2022)

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

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)

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

Problems on $β\mathbb{N}$
by: Hart, Klaas Pieter, et al.
Published: (2022)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

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

Reconstructing Classical Algebras via Ternary Operations
by: Fatelo, Jorge, et al.
Published: (2024)

Minus Partial Order in Regular Modules
by: Ungor, Burcu, et al.
Published: (2019)

Definability of band structures on posets
by: Kuperman, Joel, et al.
Published: (2024)

Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Categorical-algebraic aspects of Heyting semilattices
by: García-Martínez, Xabier, et al.
Published: (2025)

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

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

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

The measure algebra adding $θ$-many random reals is $θ$-FAM-linked
by: Mejía, Diego A., et al.
Published: (2023)

The intersection number for forcing notions
by: Uribe-Zapata, Andrés F.
Published: (2024)

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

Filtered Boolean powers of finite simple non-abelian Mal'cev algebras
by: Mayr, Peter, et al.
Published: (2024)

Invariants for metrisable locally compact Boolean spaces
by: Apps, Andrew B.
Published: (2025)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Algebraic structures arising from the finite condensation on linear orders
by: Brown, Jennifer, et al.
Published: (2025)

Critical elements in algebras of numerical events
by: Dorninger, Dietmar, et al.
Published: (2025)