Topology and permutations in NF

Olivier Esser

Abstract


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:

PDF

Refbacks

  • There are currently no refbacks.