M. Gabbay, Tadeusz Litak, Daniela Petrisan
Aug 30, 2011
Journal name not available for this finding
We define Boolean algebras over nominal sets with a function-symbol И mirroring the И 'fresh name' quantifier (Banonas), and dual notions of nominal topology and Stone space. We prove a representation theorem over fields of nominal sets, and extend this to a Stone duality.