All Questions

Consider structures $(A,f)$ encoding a Boolean algebra $A$ endowed with an automorphism $f$. There is an obvious notion of isomorphism between such structures. Consider the endomorphism $\hat{\Phi}$ ...

Given a binary operation $\star$ on $\mathbb{N}$, we can naturally extend $\star$ to a semicontinuous operation $\widehat{\star}$ on the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ as ...

During my research, I came a cross on these notions : Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...