Topology and permutations in NF

Olivier Esser


A usual technique in NF to show consistency result is to use the technique of Rieger-Bernays of permutation models. The purpose of this paper is to define topologies (i.e. the Stone and Henson topologies) associated with permutations models and to study their properties. The main result of this paper is a characterisation of the notion of definability in topological terms.

Full Text:



  • There are currently no refbacks.