| Title:
|
Stranger things about forcing without AC (English) |
| Author:
|
Goldstern, Martin |
| Author:
|
Klausner, Lukas D. |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
61 |
| Issue:
|
1 |
| Year:
|
2020 |
| Pages:
|
21-26 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Typically, set theorists reason about forcing constructions in the context of Zermelo--Fraenkel set theory (ZFC). We show that without the axiom of choice (AC), several simple properties of forcing posets fail to hold, one of which answers Miller's question from the work: Arnold W. Miller, {Long Borel hierarchies}, MLQ Math. Log. Q. {54} (2008), no. 3, 307--322. (English) |
| Keyword:
|
forcing |
| Keyword:
|
axiom of choice |
| Keyword:
|
non-AC forcing |
| Keyword:
|
ZF |
| MSC:
|
03E25 |
| MSC:
|
03E40 |
| idZBL:
|
Zbl 07217155 |
| idMR:
|
MR4093426 |
| DOI:
|
10.14712/1213-7243.2020.013 |
| . |
| Date available:
|
2020-04-30T11:12:52Z |
| Last updated:
|
2022-04-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/148072 |
| . |
| Reference:
|
[1] Karagila A.: Do choice principles in all generic extensions imply AC in $V$?.Answer to a MathOverflow question, 2018. |
| Reference:
|
[2] Kunen K.: Set Theory: An Introduction to Independence Proofs.Studies in Logic and the Foundations of Mathematics, 102, North-Holland Publishing Co., Amsterdam, 1983. Zbl 0534.03026, MR 0756630 |
| Reference:
|
[3] Miller A. W.: Long Borel hierarchies.MLQ Math. Log. Q. 54 (2008), no. 3, 307–322. MR 2417803, 10.1002/malq.200710044 |
| . |
