Open Research Index

A hyperamalgamation property

Paolo Lipparini

arXivarxiv/2606.09329Jun 8, 2026math.LOscore 0

The superamalgamation property is a strengthening of the amalgamation property and has found many applications in algebraic logic, more recently, also in model theory. Here we introduce an even stronger notion we call the hyperamalgamation property. We show that lattices, semilattices, Boolean algebras and dual Heyting algebras have the hyperamalgamation property. As a first application, we obtain the amalgamation property for semilattices, Boolean algebras and Heyting algebras with further operators.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2606.09329
curl -X POST /api/v1/records/arxiv/2606.09329/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.09329/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'