|previous article in this issue||next article in this issue|
Document Details :
Title: Partial Type-Shifting Automorphisms
Author(s): ROUVELAS, Panagiotis
Journal: Logique et Analyse
Volume: 238 Date: 2017
We attempt to shed some light on the consistency problem for NF by proving the existence of certain partial type-shifting automorphisms of TST4-models.