2 papers
math.LO2025
Interpolation and Amalgamation
George Metcalfe
This chapter presents a state-of-the-art survey of relationships, traditionally referred to as `bridges', between interpolation properties for propositional logics -- including sup…
math.GR2024
Ordering groups and the Identity Problem
Corentin Bodart, Laura Ciobanu, George Metcalfe
In this paper, the Identity Problem for certain groups, which asks if the subsemigroup generated by a given finite set of elements contains the identity element, is related to prob…