1. The Consistency problem for positive comprehension principles;Forti;J. Symb. Log.,1989
2. Set theory with free construction principles;Forti;Ann. Sc. Norm. Super. Pisa Cl. Sci. (4),1983
3. Forcing under Anti-Foundation axiom: An expression of the stalks;Sato;Math. Log. Q.