submodel

To each submodel we attach a weight that equals the probability of the corresponding scenario.

Dr. Vladimir A. Masch: Harnessing Our Technological Strengths for the Economy: Risk-Constrained Optimization 2010

To each submodel we attach a weight that equals the probability of the corresponding scenario.

Dr. Vladimir A. Masch: Harnessing Our Technological Strengths for the Economy: Risk-Constrained Optimization 2010

Together, these facts help us to isolate what's really going on in the transitive submodel version of Skolem's Paradox.

Skolem's Paradox Bays, Timothy 2009

The well-foundedness of is in practice often the consequence of being a submodel of some.

Kurt Gödel Kennedy, Juliette 2007

By a combination of the Levy Reflection principle and the Löwenheim-Skolem Theorem there is a countable submodel of satisfying a sufficiently large finite part of the ZF axioms +

Kurt Gödel Kennedy, Juliette 2007

I.e., we cannot say that, e.g., model specified in 78., is better/worse as model in 78. as the submodel of 78. could be written as 75. with certain assumptions on the error e in 75.

Juckes Omnibus « Climate Audit 2006

I.e., we cannot say that, e.g., model specified in 78., is better/worse as model in 78. as the submodel of 78. could be written as 75. with certain assumptions on the error e in 75.

Juckes Omnibus « Climate Audit 2006

(indeed, we may assume that this countable model is a submodel of the model with which we started).

Skolem's Paradox Bays, Timothy 2009

This transitive submodel version of the paradox has been widely discussed in the literature (McIntosh 1979; Benacerraf 1985; Wright

Skolem's Paradox Bays, Timothy 2009

Finally, the Transitive Submodel Theorem strengthens the downward Löwenheim-Skolem theorem by saying that if our initial M happens to be a so-called transitive model for the language of set theory, then the submodel generated by the downward theorem can also be chosen to be transitive. [

Skolem's Paradox Bays, Timothy 2009