Post #2103984

@ncf Makes sense, I will edit that, thanks. By relativises I basically mean the ‘contextualisation’ procedure, which in the basic case takes a Tarski universe and turns it into a CwF (but there are a few variations of it that are given in @rafaelbocquet ‘s thesis, one of which is the correspondence between SOGAT and GAT models)