EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Exx Set theory
03E45 Inner models, including constructibility, ordinal definability, and core models

Items

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 – 2 of 2

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 – 2 of 2

Page 1