research
∙
04/19/2023
A note on encoding infinity in ZFA with applications to register automata
Working in Zermelo-Fraenkel Set Theory with Atoms over an ω-categorical ...
share
research
∙
03/29/2020
On amenability of constraint satisfaction problems
Recent results show that a constraint satisfaction problem (CSP) defined...
research
∙
03/10/2020
Beyond sets with atoms: definability in first order logic
Sets with atoms serve as an alternative to ZFC foundations for mathemati...
research
∙
07/22/2019