Ji\v r\'\i {} Sgall
Forcing in the alternative set theory I

Comment.Math.Univ.Carolinae 32,2 (1991) 323-337.

Abstract:The technique of forcing is developed for the alternative set theory (AST) and similar weak theories, where it can be used to prove some new independence results. There are also introduced some new extensions of AST.

Keywords: alternative set theory, forcing, generic extension, symmetric extension, axiom of constructibility
AMS Subject Classification: Primary 03E70; Secondary 03E25, 03E35, 03E45