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...
Príomhchruthaitheoirí: | Fuchs, G, Hamkins, J, Reitz, J |
---|---|
Formáid: | Journal article |
Teanga: | English |
Foilsithe / Cruthaithe: |
Elsevier
2014
|
Míreanna comhchosúla
Míreanna comhchosúla
-
Set-theoretic mereology
de réir: Hamkins, J, et al.
Foilsithe / Cruthaithe: (2016) -
The modal logic of set-theoretic potentialism and the potentialist maximality principles
de réir: Hamkins, J, et al.
Foilsithe / Cruthaithe: (2019) -
Inter-model reflection principles
de réir: Barton, N, et al.
Foilsithe / Cruthaithe: (2019) -
What is the theory ZFC without power set?
de réir: Gitman, V, et al.
Foilsithe / Cruthaithe: (2016) -
Bi-interpretation in weak set theories
de réir: Freire, AR, et al.
Foilsithe / Cruthaithe: (2020)