Set-theoretic geology
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 satisfi...
| Հիմնական հեղինակներ: | , , |
|---|---|
| Ձևաչափ: | Journal article |
| Լեզու: | English |
| Հրապարակվել է: |
Elsevier
2014
|