works on
compactness 1constraint satisfaction problems 1non-measurable sets 1relational structures 1set theory 1width one 1

From the 1 of 1 linked paper with an AI index.

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

Constraint satisfaction problems, compactness and non-measurable sets

Claude Tardif

The paper investigates compactness of finite relational structures, proving that compactness is provable in ZF for structures of width one, while for other structures compactness w…