Displaying similar documents to “Forcing in the alternative set theory. II”

Forcing in the alternative set theory. I

Jiří Sgall (1991)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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.