Set-theoretic geology

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

Descrizione completa

Dettagli Bibliografici
Autori principali:	Fuchs, G, Hamkins, J, Reitz, J
Natura:	Journal article
Lingua:	English
Pubblicazione:	Elsevier 2014

Documenti analoghi

Set-theoretic mereology
di: Hamkins, J, et al.
Pubblicazione: (2016)

The modal logic of set-theoretic potentialism and the potentialist maximality principles
di: Hamkins, J, et al.
Pubblicazione: (2019)

Inter-model reflection principles
di: Barton, N, et al.
Pubblicazione: (2019)

What is the theory ZFC without power set?
di: Gitman, V, et al.
Pubblicazione: (2016)

Bi-interpretation in weak set theories
di: Freire, AR, et al.
Pubblicazione: (2020)

Theoretical studies of rupture processes in geological materials /
di: 384240 Rudnicki, J. W.
Pubblicazione: (19--)

Theoretical and practical aspects of uranium geology/
Pubblicazione: (1979)

Set-theoretic topology/
di: Reed, George M.
Pubblicazione: (1977)

Handbook of set-theoretic topology/
di: Kunen, Kenneth, et al.
Pubblicazione: (1988)

The Kambalda nickel deposits geological setting
di: 249028 Western Mining Corp Ltd

Ward's physical and historical geology sets [slaid]
Pubblicazione: ([197)

Mechanism design with set-theoretic beliefs
di: Chen, Jing, et al.
Pubblicazione: (2022)

Mechanism design with set-theoretic beliefs
di: Chen, Jing, Ph. D. Massachusetts Institute of Technology
Pubblicazione: (2013)

Mechanism Design with Set-Theoretic Beliefs
di: Chen, Jing, et al.
Pubblicazione: (2012)

The logical and set-theoretical foundations of mathematics /
di: 339363 Zulauf, Achim
Pubblicazione: (1969)

Regional Examples of Geological Settings for Nuclear Waste Disposal in Deep Boreholes
di: Sapiie, B., et al.
Pubblicazione: (2012)

Philippine porphyry copper deposits : geologic setting and characteristics /
di: 443128 Sillitoe, Richard H., et al.
Pubblicazione: (1984)

Algorithmic verification problems in automata-theoretic settings
di: Bundala, D
Pubblicazione: (2014)

Recursion Theoretic Operators and Morphisms on Numbered Sets
di: Barendregt, Henk, et al.
Pubblicazione: (2023)

Property Testing via Set-Theoretic Operations
di: Chen, Victor, et al.
Pubblicazione: (2011)

Set-theoretic estimation of distributed parameter systems.
di: Schlaepfer, Felix Martin
Pubblicazione: (2005)

Almost free modules : set-theoretic methods /
di: 463923 Eklof, Paul C., et al.
Pubblicazione: (1990)

A multiverse perspective on the axiom of constructibility
di: Hamkins, J
Pubblicazione: (2014)

Numerical Modeling of Geologic Carbon Dioxide Storage in Faulted Siliciclastic Settings
di: Saló Salgado, Lluís
Pubblicazione: (2024)

Set-theoretic analysis of multi-link systems with applications to gait
di: Ladin, Zvi
Pubblicazione: (2005)

A Set−Theoretic Model for Real−Time Specification and Reasoning
di: Fidge, C, et al.
Pubblicazione: (1998)

Map of Antelope Valley, California, showing geographic setting, geographic setting, generalized geology, boundaries used in the mathematical model and geologic sections through the ground-water basin / [peta]
Pubblicazione: (1978)

Geology /
di: Foster, Robert J. (Robert John), 1929 Apr. 19-
Pubblicazione: (1976)

Geology/
di: Foster, Robert J. (Robert John), 1929 Apr. 19-
Pubblicazione: (1985)

A minimal information set to enable verifiable theoretical battery research
di: Mistry, A, et al.
Pubblicazione: (2021)

Set-theoretic control of a pressurized water nuclear power plant
di: Chenini, Abdelhamid
Pubblicazione: (2007)

ZFC proves that the class of ordinals is not weakly compact for definable classes
di: Enayat, A, et al.
Pubblicazione: (2018)

Topics in general and set-theoretic topology: slice sets, rigid subsets of the reals, Toronto spaces, cleavability, and neight
di: Brian, W
Pubblicazione: (2013)

Geology : an introduction to physical geology /
di: 218380 Chernicoff, Stanley, et al.
Pubblicazione: (2007)

Placer deposits of Alaska : an inventory of the placer mines and prospects of Alaska, their history and geologic setting
di: 444691 Cobb, Edward H.

Geology in petroleum production : a primer in production geology/
di: 454687 Dikkers, A. J.
Pubblicazione: (1985)

Structural geology /
di: 440503 Twiss, Robert J.
Pubblicazione: (2007)

Industrial geology /
di: 301012 Knill, J. L.

Structural connections between a forcing class and its modal logic
di: Hamkins, J, et al.
Pubblicazione: (2015)

Design and testing of a rotating cryogenic check valve
di: Hamkins, Christopher P.
Pubblicazione: (2022)