Forcing in the alternative set theory. II
Jiří Sgall, Antonín Sochor (1991)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
By the technique of forcing, some new independence results are proved for the alternative set theory (AST) and similar weak theories: The scheme of choice is independent both of AST and of second order arithmetic, axiom of constructibility is independent of AST plus schemes of choice.