• Aucun résultat trouvé

On the Structure of Classical Realizability Models of ZF

N/A
N/A
Protected

Academic year: 2021

Partager "On the Structure of Classical Realizability Models of ZF"

Copied!
18
0
0

Texte intégral

Loading

Références

Documents relatifs

The phasing of precession and obliquity appears to influence the persistence of interglacial conditions over one or two in- solation peaks: the longest interglacials are

Notice that Y cannot contain both vertices of any pair st from Q (otherwise Conditions (i) and (ii) could no be together true: some color sequence must start at st and lead to some

Videotaped lessons of a model on energy chain, from two French 5 th grade classes with the same teacher, were analysed in order to assess the percentage of stability as

When 2k is small compared with A, the level of smoothing, then the main contribution to the moments come from integers with only large prime factors, as one would hope for in

We proposed a novel metric, based on a simple structure from factor analysis, for the measurement of the interpretability of factors delivered by matrix de- composition

It follows that the constructible universe of a realizability model is an elementary extension of the constructible universe of the ground model (a trivial fact in the particular

Q.. In this way, we have defined three function symbols of the language of ZF ε ; thus, in the realizability model N , they define a Boolean algebra structure on the set ג

• Inner models (particularly the model of constructible sets) : the model is a subclass of the ground model.. • Forcing : the model is an extension of the ground model ; the axiom