| Title:
|
Forcing in the alternative set theory. I (English) |
| Author:
|
Sgall, Jiří |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
32 |
| Issue:
|
2 |
| Year:
|
1991 |
| Pages:
|
323-337 |
| . |
| Category:
|
math |
| . |
| Summary:
|
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. (English) |
| Keyword:
|
alternative set theory |
| Keyword:
|
forcing |
| Keyword:
|
generic extension |
| Keyword:
|
symmetric extension |
| Keyword:
|
axiom of constructibility |
| MSC:
|
03E25 |
| MSC:
|
03E35 |
| MSC:
|
03E40 |
| MSC:
|
03E45 |
| MSC:
|
03E70 |
| idZBL:
|
Zbl 0751.03025 |
| idMR:
|
MR1137794 |
| . |
| Date available:
|
2009-01-08T17:44:35Z |
| Last updated:
|
2012-04-30 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/116974 |
| . |
| Related article:
|
http://dml.cz/handle/10338.dmlcz/116975 |
| . |
| Reference:
|
[S 1979] Sochor A.: Metamathematics of the Alternative set theory I.Comment. Math. Univ. Carolinae 20 (1979), 697-722. Zbl 0433.03028, MR 0555184 |
| Reference:
|
[S 1982] Sochor A.: Metamathematics of the Alternative set theory II.Comment. Math. Univ. Carolinae 23 (1982), 55-79. Zbl 0493.03030, MR 0653351 |
| Reference:
|
[S 1985] Sochor A.: Constructibility and shiftings of view.Comment. Math. Univ. Carolinae 26 (1985), 477-498. Zbl 0583.03040, MR 0817822 |
| Reference:
|
[S 1991] Sochor A.: Scheme of choice in higher order arithmetics.to appear. |
| Reference:
|
[V] Vopěnka P.: Mathematics in the Alternative Set Theory.Leipzig, 1979. MR 0581368 |
| . |
