Journal article
Set-theoretic geology
- Abstract:
-
A ground of the universe V is a transitive proper class , such that and V is obtained by set forcing over W, so that for some W-generic filter . The model V satisfies the ground axiom GA if there are no such W properly contained in V. The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V. The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V. The generic HOD, written...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Accepted manuscript, pdf, 498.9KB)
-
- Publisher copy:
- 10.1016/j.apal.2014.11.004
Authors
Bibliographic Details
- Publisher:
- Elsevier Publisher's website
- Journal:
- Annals of Pure and Applied Logic Journal website
- Volume:
- 166
- Issue:
- 4
- Pages:
- 464-501
- Publication date:
- 2014-12-24
- Acceptance date:
- 2014-11-23
- DOI:
- EISSN:
-
1873-2461
- ISSN:
-
0168-0072
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
pubs:916663
- UUID:
-
uuid:a82a9d08-d91c-4ee2-b0e5-f8b5279f30a1
- Local pid:
- pubs:916663
- Source identifiers:
-
916663
- Deposit date:
- 2019-12-18
Terms of use
- Copyright holder:
- Elsevier BV
- Copyright date:
- 2014
- Notes:
- © 2014 Elsevier B.V. All rights reserved. This is the accepted manuscript version of the article. The final version is available online from Elsevier at: https://doi.org/10.1016/j.apal.2014.11.004
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record