Journal article icon

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:
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
Journal:
Annals of Pure and Applied Logic More from this journal
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

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP