All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Showing per page

Forcing in the alternative set theory. I

Jiří Sgall (1991)

Commentationes Mathematicae Universitatis Carolinae

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.

Forcing in the alternative set theory. II

Jiří Sgall, Antonín Sochor (1991)

Commentationes Mathematicae Universitatis Carolinae

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.

Currently displaying 1 – 4 of 4

Page 1