# 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...

Publication status:
Published
Peer review status:
Peer reviewed

### Access Document

Files:
• (Accepted manuscript, pdf, 498.9KB)
Publisher copy:
10.1016/j.apal.2014.11.004

### Authors

More by this author
Institution:
University of Oxford
Division:
Humanities Division
Department:
Philosophy
Oxford college:
University College
Role:
Author
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
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