Models of selfdescriptive set theories