Professional Documents
Culture Documents
For information about Vols. 1-669, please contact your book- Vol. 699: R. E. Greene and H.-H. Wu, Function Theory on Manifolds
seller or Springer-Verlag. Which Possess a Pole. Ill, 215 pages. 1979.
Vol. 670: Fonctions de Plusieurs Variables Complexes Ill, Pro· Vol. 700: Module Theory, Proceedings, 1977. Edited by C. Faith and
ceedings, 1977. Edite par F. Norguet. XII, 394 pages. 1978. S. Wiegand. X, 239 pages. 1979.
Vol. 671: R. T. Smythe and J. C. Wierman, First-Passage Perculation Vol. 701: Functional Analysis Methods in Numerical Analysis, Pro-
on the Square Lattice. VIII, 196 pages. 1978. ceedings, 1977. Edited by M. Zuhair Nashed. VII, 333 pages. 1979.
Vol. 672: R. L. Taylor, Stochastic Convergence of Weighted Sums Vol. 702: Yuri N. Bibikov, Local Theory of Nonlinear Analytic Ordinary
of Random Elements in Linear Spaces. VII, 216 pages. 1978. Differential Equations. IX, 147 pages. 1979.
Vol. 673: Algebraic Topology. Proceedings 1977. Edited by P. Hoff· Vol. 703: Equadiff IV, Proceedings, 1977. Edited by J. Fabera. XIX,
man. R. Piccinini and D. Sjerve. VI, 278 pages. 1978. 441 pages. 1979.
Vol. 674: Z. Fiedorowicz and S. Priddy, Homology of Classical Vol. 704: Computing Methods in Applied Sciences and Engineering,
Groups Over Finite Fields and Their Associated Infinite Loop Spaces. 1977, I. Proceedings, 1977. Edited by R. Glowinski and J. L. Lions.
VI, 434 pages. 1978. VI, 391 pages. 197g_
Vol. 675: J. Galambos and S. Katz, Characterizations of Probability Vol. 705: 0. Forster und K. Knorr, Konstruktion verseller Familien
Distributions. VIII, 169 pages. 1978. kompakter komplexer Raume. VII, 141 Seiten. 1979.
Vol. 676: Differential Geometrical Methods in Mathematical Physics II, Vol. 706: Probability Measures on Groups, Proceedings, 1978.
Proceedings, 1977. Edited by K. Bleuler, H. R. Petry and A Reetz. Edited by H. Heyer. XIII, 348 pages. 1979.
VI, 626 pages. 1978.
Vol. 707: R. Zielke, Discontinuous Cebyaev Systems. VI, 111 pages.
Vol. 677: Seminaire Bourbaki, val. 1976/77, Exposes 489-506. IV, 1979.
264 pages. 1978.
Vol. 708: J. P. Jouanolou, Equations de Pfaff algebriques. V, 255
Vol. 678: D. Dacunha·Castelle, H. Heyer et B. Roynette. Ecole d'Ete
pages. 1979.
de Probabilites de Saint-Flour. Vll-1977. Edite par P. L. Hennequin.
IX, 379 pages. 1978. Vol. 709: Probability in Banach Spaces II. Proceedings, 1978. Edited
Vol. 679: Numerical Treatment of Differential Equations in Applica· by A Beck. V, 205 pages. 1979.
lions, Proceedings, 1977. Edited by R. Ansorge and W. T-ornig. IX, Vol. 710: Seminaire Bourbaki val. 1977/78, Exposes 507-524. IV,
163 pages. 1978. 328 pages.1979.
Vol. 680: Mathematical Control Theory, Proceedings, 1977. Edited
Vol. 711: Asymptotic Analysis. Edited by F. Verhulst. V, 240 pages.
by W. A Cappel. IX, 257 pages. 1978.
1979.
Vol. 681: Semmaire de Theorie du Potentiel Paris, No.3, Directeurs:
M. Brelot, G. Choquet et J. Deny. Redacteurs: F. Hirsch et G. Moko· Vol. 712: Equations Differentielles et Systemes de Pfaff dans le
bodzki. VII, 294 pages. 1978. Champ Complexe. Edite parR. Gerard et J.-P. Ram is. V, 364 pages.
1979.
Vol. 682: G. D. James, The Representation Theory of the Symmetric
Groups. V, 156 pages. 1978. Vol. 713: Seminaire de Theorie du Potentiel, Paris No.4. Edite par
F. Hirsch et G. Mokobodzki. VII, 281 pages. 1979.
Vol. 683: Varietes Analytiques Compactes, Proceedings, 1977.
Edite par Y. Hervier etA Hirschowitz. V, 248 pages. 1978. Vol. 714: J. Jacod, Calcul Stochastique et Problemas de Martingales.
X, 539 pages. 1979.
Vol. 684: E. E. Rosinger, Distributions and Nonlinear Partial Dif·
ferential Equations. XI, 146 pages. 1978. Vol. 715: lnder Bir S. Passi, Group Rings and Their Augmentation
Ideals. VI, 137 pages. 1979.
Vol. 685: KnotTheory, Proceedings, 1977. Edited by J. C. Hausmann.
VII, 311 pages. 1978. Vol. 716: M. A Scheunert, The Theory of Lie Superalgebras. X, 271
pages. 1979.
Vol. 686: Combinatorial Mathematics, Proceedings, 1977. Edited
by D. A Holton and J. Seberry. IX, 353 pages. 1978. Vol. 717: Grosser, Bidualriiume und Vervollstiindigungen von Ba-
nachmoduln. Ill, 209 pages. 1979.
Vol. 687: Algebraic Geometry, Proceedings, 1977. Edited by L. D.
Olson. V, 244 pages. 1978. Vol. 718: J. Ferrante and C. W. Rackoff, The Computational Com-
Vol. 688: J. Dydak and J. Segal, Shape Theory. VI, 150 pages. 1978. plexity of Logical Theories. X, 243 pages. 1979.
Vol. 689: Cabal Seminar 76-77, Proceedings, 1976-77. Edited by Vol. 719: Categorial Topology, Proceedings, 1978. Edited by H.
AS. Kechris andY. N. Moschovakis. V, 282 pages. 1978. Herrlich and G. Preu6. XII, 420 pages. 1979.
Vol. 690: W. J. J. Rey, Robust Statistical Methods. VI, 128 pages.1978. Vol. 720: E. Dubinsky, The Structure of Nuclear Frechet Spaces.
V, 187 pages. 1979.
Vol. 691: G. Viennot, Algebres de Lie Libres et Mono'ides Lib res.
Ill, 124 pages. 1978. Vol. 721: Seminaire de Probabilites XIII. Proceedings, Strasbourg,
1977/78. Edite par C. Dellacherie, P. A Meyer et M. Wei I. VII, 64 7
Vol. 692: T. Husain and S. M. Khaleelulla, Barrelledness 1n Tapa· pages. 1979.
logical and Ordered Vector Spaces. IX, 258 pages. 1978.
Vol. 722: Topology of Low-Dimensional Manifolds. Proceedings,
Vol. 693: Hilbert Space Operators, Proceedings, 1977. Edited by 1977. Edited by R. Fenn. VI, 154 pages. 1979.
J. M. Bachar Jr. and D. W. Hadwin. VIII, 184 pages. 1978.
Vol. 723: W. Branda!, Commutative Rings whose Finitely Generated
Vol. 694: Seminaire Pierre Lelong - Henri Skoda (Analyse) An nee Modules Decompose. II, 116 pages. 1979.
1976/77. VII, 334 pages. 1978.
Vol. 724: D. Griffeath, Additive and Cancellative Interacting Particle
Vol. 695: Measure Theory Applications to Stochastic Analysis,
Proceedings, 1977. Edited by G. Kallianpur and D. Kolzow. XII, Systems. V, 108 pages. 1979.
261 pages. 1978. Vol. 725: Algebres d'Operateurs. Proceedings, 1978. Edite par
Vol. 696: P. J. Feinsilver, Special Functions, Probability Semigroups, P. de Ia Harpe. VII, 309 pages. 1979.
and Hamiltonian Flows. VI, 112 pages. 1978.
Vol. 726: Y.-C. Wong, Schwartz Spaces, Nuclear Spaces and Tensor
Vol. 697: Topics in Algebra, Proceedings, 1978. Edited by M. F. New· Products. VI, 418 pages. 1979.
man. XI, 229 pages. 1978.
Vol. 727: Y. Saito, Spectral Representations for Schrodinger Opera-
Vol. 698: E. Grosswald, Bessel Polynomials. XIV, 182 pages. 1978. tors With Long-Range Potentials. V, 149 pages. 1979.
890
Springer-Verlag
Berlin Heidelberg New York 1981
Editors
Chantal Berline
Universite Paris VII, U.E.R. de Mathematiques
Tour 45-55, 5eme Etage, 2, Place Jussieu
75251 Paris Cedex 05, France
Kenneth McAloon
Brooklyn College of CHNY
Brooklyn, New York 11210, USA
Jean-Pierre Ressayre
129 Rue Marceau, 91.120 Palaiseau, France
Anand PIllAY
Models of Peano Arithmetic (a survey of basic results) .
Anand PIllAY
Cuts in r10dels of Arithmetic........................................... 13
Peter ACZEL
Two notes on the Paris independence result..... 21
Chanta1 BERLINE
Ideaux des anneaux de Peano (d apres CHERLIN)..........................
I 32
Patrick CEGIELSKI
Theorie elementaire de la multiplication des entiers naturels.......... 44
Zoe CHATZIDAKIS
la representation en termes de faisceaux des mode1es de 1a theorie
el errenta i re de la multiplication des entiers naturels.................. 90
Peter ClOTE
Anti-Basis theorems and their relation to independence results in Peano
arithmetic 115
VI
Peter CLOTE
A note on Decidable Model theory...................................... 134
Michele JAMBU-GIRAUDET
Interpretations d'Arithmetiques dans des groupes et des treillis...... 143
Angus MACINTYRE
The laws of exponentiation............................................ 185
M. MARGENSTERN
Le theoreme de MATIYASSEVITCH et resultats connexes... 198
Pasca1 CHEL
Borne superieure de la complexite de de la relation de
di vi sib i 1i te , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 242
Jeff B. PARIS
Some conservation results for fragments of arithmetic 251
Anand PILLAY
Partition properties and definable types in Peano Arithmetic 263
Denis RICHARD
De la structure additive a la saturation des modeles de Peano et a une
classification des sous-langages de l'Arithmetique 270
Alex J. WILKIE
On discretely ordered rings in which every definable ideal is
principal 297
George WILMERS
An observation concerning the relationship between finite and
infinitary l:i-sentences 304
MODELS OF PEANO ARITHMETIC
(A SURVEY OF BASIC RESULTS)
Anand PILLAY
1,
L, the language for Peano arithmetic has as symbols O,+,.,S. Let P be the set
of axioms which say:
1) Both + and· are commutative and associative binary operations and, is dis-
tributive over + .
2) S is a oneone unary operation, and everything is in its range except for O.
ILk refers to the induction schema for formulae S(x,u) which are in Lk. Similarly
for ITI k. Then, if we assume P- u ILo' any Lk formula is equivalent to a Lk formula
whose quantifiers are alternating, i.e. of the form 3x1 VX 2... QxkS (where S is L O ) .
This can be done by means of a pairing function, both itself and its inverses being
defined in P u IL o.
The work of Paris and Kirby (see ego [ 3J) has shown the importance of the follo-
wing "collection" schema. B (collection schema) is the following: for each formula
S(x,y,u),
Again BLk' LLk etc. refer to these schemas restricted to Lk etc. formulae. We
have (cf. [3J).
i) M 1= ILn 1= ITI
n M 1= LL
n M 1= LTI
n .
ii) M 1= BL n+ 1 *=? M 1= BTI n
iii) M 1= E n+ 1 =7>M 1= BLn+l and 1= BL n+ 1 ==;o-M 1= ILn·
We note that due to the fact that the minimum schema L holds in models of P, we
3
p IIU((IIV)(C{"(v,u) ------'f(v,u))
For we simply let f' (v,u) say: v is the smallest x such that 'f(x,u), if such
an x exists, and otherwise v = O. Then by standard model theory, if Mis a model of
p , X is a subset of M, and M' is the substructure of Mconsisting of elements defi-
nable from X (i.e. definable in Mby formulae with parameters from X), then actually
M' is an elementary substructure of M. This gives us a simple way of constructing
models.
2, END EXTENSIONS,
Some results here can be obtained at a greater level of generality. So let us
place ourselves in a language L' which is countable and which contains, among other
things, a binary relation symbol <. We restrict our attention to those L' structures
Min which < is a total ordering of M.
Let the Regularity schema say the following: for each formula f(x,y,u) of L',
It also makes sense to talk of the collection schema B in the context of the L'
structures that we are considering. We have:
4
THEOREM 2 - Let Mbe a countable model. Then the following are equivalent.
i) Mhas a proper end elementary extension.
iii) Assume that Msatisfies B. Suppose also that there are arbitrarily large
x in Msuch that
Now by schema B
This clearly says MF (vy < yo)(vx > zo) 18(x,y), which contradicts (*). Thus
iii) _ii).
We say that a formula G(x) is Ln(P) if there is a L n formula \jJ(x) such that
P f- G(x) oE--+\jJ(x). Similarly with Iln(P). O(x) is said to be Lln(P) if it is both
Ln(P) and Iln(P). Now one can make some preliminary observations on the strength of P.
N 1= 8 iff P f- G.
Proof. 8 is of form 3X \jJ(X) , for some \jJ in LO (i .e. for some \jJ which has only bounded
quantifiers). Then one checks, by induction on the complexity of such a formula,
that for all a E IN, IN F \jJ(a) iff P f- \jJ(a).
We work in the "real model", and look at recursive functions and relations, and
formulae which can define them in the model. Recall that the primitive recursive
functions are those obtained from the constant functions, projection functions
((xr··x n) and the successor function, by closing under the operations of
composition and primitive recursion. The recursive functions are obtained from the
primitive recursive functions by closing under the operator (least number such
that ... ). Note that a recursive function need not be total.
This (by induction) clearly gives us the correct definition of f, and so as g and h
have Ll graphs, so does_ f.
Fact 8 - Let A <;; x": Then A is recursively enumerable if and only if there is a L1
formula Lj'(x) such that for all 11 E lN n, 11 E A iff IN 10 lfCa).
Proof. Look at the definition of f from g and h before Proposition 8 and show that
if g and h are proved total in P, so is f.
Note: The results on indicators by Paris & Kirby give rise to interesting recursive,
non provably-recursive functions.
a E A iff = 0)
Fact 11 - For any 21 formula 8(X) there is an existential formula such that
P HIIX)(8(X)
9
We know that existential formulae are persistent upwards in models. Thus the
same is now true of L1 formulae in models of IP. Thus it is clear that if 8(x) is
61(P), and Mc K are models of IP and a E M, then M1= 8(a) K 1= 8(a), or otherwise
said 61(P) formulae are absolute in models of P. This generalises Corollary 5.
We now state without proof some more preservation theorems of this kind. These
are due to Gaifman [1 ] .
i i) K 1= P
iii) for all Vs 3s formulae (namely formulae built from a quantifier free formula
by a string of bounded existential quantifiers preceded by a string of bounded
universal quantifiers) 8(x) and a E t·" M1= 8(a) =* K 1= 8(a).
iv) for all V3 formulae 8(x), and a E M,
M F 8(a) =* K 1= 8(a)
It follows from Theorem 14, that a formula is persistent upwards for models of P
iff it is persistent upwards for those pairs of models of P where one is an end-
extension of the other.
if lN F F(n). This can be done such that the following holds. For each k '" 0 there
is a formula. satL:k (x o " " ,x n ) which is t, 1 (P) for k = 0, and L:k(P) for k > 0 such
that for any L: k formula ,x n )
Fact 15 (Overspill) - Let Mbe a nonstandard model of IP (M f. 1'1) , and I any proper
initial segment of Mwith no last element. Then I is not definable (with parameters)
in M.
Proof. As p is a recursive set there is a formula which is 61(P) and represents the
set of codes of formulae in p. So as p(x,c) is finitely satisfiable in M, for each
j E lN, M1= 3X Iii < -----+ SatL: (i ,x,c)). By Fact 15, 1'1 cannot be definable in M,
k
so there must be j > lN such that
Proof. Assume that <ao"" ,an> =0 <b o"" ,b n>· Let be a finite collection
of ZI formulae such that MF ,an,a) for each i.
So M F ./\ Cfi(ao"" ,an,a), and so M i= 3X < ao .11 Cf'i(ao,.. an,x). This last formula is
rs r 1" r
zo' so we have
M 1= 3X <
(*) MF 3X < bo IIi < j (Sat z (i,ao,· .. ,an,a) (i,bo, ... ,bn,x))
o 0
Again using overspill, there is an infinite j for which (*) holds. Take B for
the x which is given to us, and clearly <ao'''' ,an,a> =0 <b o'''' ,bn,B>.
Using Proposition 17, and a standard back and forth argument, we deduce:
PROPOSITION 18 - Let Mbe a countable nonstandard model of F, and ao,b o E Msuch that
<ao> =0 <b o>' Then defining" ao to be {x EM: M F x " ao} and similary for bo' there
is an isomorphism f:" boo
is unbounded.
Proof. For each j < w, Let be the set of Lo formulae which have code number
< j. is finite. So there is an unbounded set A in Msuch that all a,b in A have
the same Choose a E A, so
So again (*) is true for some infinite j. Put y =j and the Proposition is proved.
Proof. Let a,y E Mbe as given by Proposition 19. By Corollary 3, Mhas a countable
end elementary extension, K say. For arbitrarily large b E r,1,
REFERENCES.
[lJ H. GAIFMAN - Models of Arithmetic. Conference in Mathematicel Logic 1970 London,
Springer Lecture Notes.
[2J H. GAIFMAN - r10dels and Types of Peano arithmetic. Annals of Mathematicel Logic
1976.
Anand PILLAY
We here develop, following Kirby's thesis and work by Kirby and Paris, the model
theory of cuts in models of Peano's arithmetic. By looking at properties of cuts (or
initial segments) of models, one is able to make a finer analysis of properties of
models of P. For example, we know that if Mis a model of P u IL o then Mis a model
of P iff Mhas an elementary end extension iff M has a "definable" elementary end
extension. However there can be a cut I of Msuch that Mhas an elementary I-extension,
but does not have an I-definable elementary I-extension. We here prove equivalences
of combinatoric, arithmetic and model-theoretic properties of cuts. We do not here go
into the theory of indicators, although we mention it. It is with indicators (definable
functions which "tell" one if there is a cut of a certain kind in between a and b,
say) that the specificity of Peano arithmetic really comes into play (namely that one
can to some extent talk about truth in a model, in the model). With indicators and
the important notion of symbioticity of cuts, independence results can be obtained.
Recall that ILn is the induction schema for L n formulae, and BL n is the collec-
e
tion schema for Ln formulae. Now suppose I M. We will say that I F I*L n if
whenever 8(X,X I, ... ,x n) is a formula with parameters in Mand
A = {x E: I : 3X I E: I \lx 2 E: ..... QX n E: I M1= 8(X,Xl"" ,x 2)} is nonempty, then A
has a least element.
Similarly we say that I F B*L n if whenever 8(X,y,x l,x2, ... ,x n) is a formula with
parameters in M, a E: I and \IX < a 3Y E: I 3xI E I \lx 2 E I. .. Qx n ElM F 8(X,y,x l, ... ,x n)
then there is b E: I such that
We now begin to define some properties of initial segments. These can be seen as
closure properties, or as analogs of properties of regular cardinals.
(To say that F as above is coded in Mjust means that there is formula
(maybe with parameters in M)such that MF \Ix < a 3=ly and \Ix < a \ly
M F \(i(x,y) iff F(x) = Y .
Clearly IN, the standard model is semiregular in M, because for any a E IN,
«a) = {x EM: MF x < a) is really finite, and so its image under a function is
rea lly fi nite.
PROPOSITION 2 I c Mis semiregular if and only if I F I*LI (of course relative to M).
e
15
One can show that for any a E M, there is I c Mwith a E I, and I semiregular
e
i n M (See [ 3 J ) .
iii) --+ i). Let f : I -e- <a be coded in M. There is a definable function f' of
Msuch that fiI = f' II. We may assume that f is already such a function. Suppose for
contradiction that for each b < a, f-I(b) is bounded in I.
So vx < a 3Y E I vz EMF Z > y ..,. f(z) x .
17
This implies that If X < a Ifz ElM Z >e -+ f(z) F x, which contradicts the fact
that f : I -+ <a. Thus I is regular.
SYMBIOSIS.
Again let Mbe a nonstandard countable model of P. Let Q and R be two sets of
initial segments of M. Q and R are said to be symbiotic if each is dense in the other,
i.e. for all a < b in M
In fact J. Paris has shown that if T is a recursive theory in 2nd order arithmetic,
e
then the set of cuts MT = {I MI<I, coded subsets of I> T} has an indicator
Y(x,y) = z, which is a LI formula, and is independent of M. This result can also be
obtained by using recursive saturation theory.
PROPOSITION 5 - Initial segments which are i) regular ii) semiregular iii) models
of BL2 iv) models of ILl' are all symbiotic (in any countable model M).
Proof. As regul ar ----+ BL2 ----+ ILl' and regul ar --+ semi regul ar ---+ ILl it is enough
to show that if I e Mis model of ILl then there are regular initial segments
18
Again let I c M. [IJ n is the n-element subsets of I, each such subset usually
e
being represented as an increasing n-tuple. If n E IN and a E I, we say that
I if whenever f : [IJ n <a is coded in M then there is an unbounded coded
A I such that f is constant on [AJ n.
Proof. Immediate.
I-definable.
If Mt K,
let us denote by KM- I the set of b E K that b < M-I. With this
notation we can mention some interesting properties of a strong cut I. For example
i) There is K'I Msuch that KM- I is ;-iI-like, namely IKM_II = '1,1 but every
proper initial segment of it is countable.
iif If f is coded in Mand I s dom f, then there is b E M-I such that
va E I(f(a) E I or f(a) > b).
Proofs.
i) follows almost immediately from Theorem 9. We iterate the process of realising
I-definable I-types, as their existence depends only on the coded subsets of I,
which remain the same. Doing this times gives the result. Note that the
which we obtain is semiregular, for cardinality reasons alone.
ii) follows easily i). For suppose that f is coded in M, and dom f I. Let K be
as given by (i). The code for f gives us f' in K such that dom f' KM_ I. Pick
b E b > I, then f'«b) is bounded in So by overspill there is c > KM- I
such that vx < b, f'(x) E KM- I or fl(x) > c. We can assume c E M. Then in M,
vX E I, f (x) E I or f (x) > c.
PROPOSITION 10 - Any countable model Mof P has an end elementary extension K such
that M isstrong in K.
Proof. One constructs a type over Mto ensure that condition (ii) above holds in K
((ii) above is equivalent to I being strong).
There exist indicators for strong cuts, and by facts about indicators and
Proposition 10, it follows that any countable model of P has arbitrarily large strong
initial segments. From this, it follows that if I c Mand I P then there are
e
20
Let us say that I is Iextendible in Mif there is K with M < K. And I is n+l-
I
extendible in Mif there is K with M K such that I is nextendible in K. Strong
I
initial segments are clearly nextendible for all n < w.
It now follows from the remarks above that the following sets of initial
segments are symbiolic.
i) Strong
ii) nextendible for all n
iii) models of B*Zk all k
iv) models of P.
REFERENCES,
[2J A. PILLAY Definable types and Partition properties in Peano arithmetic. this
volume.
[3J L. KIRBY and J. PARIS Initial segments of Models of Peano's axioms,
Conference on Set Theory & Hierarchy Theory, Bierutowice, 1976, Springer
Lecture Notes.
TWO NOTES ON THE PARIS INDEPENDENCE RESULT
Peter ACZEL
Note des editeurs : Ces deux elegantes notes inedites furent ecrites
dans les jours suivant la parution du resultat d'independence de
Paris et de sa preuve. Elles prefigurent deja tres clairement certains
developpements ulterieurs, et tout particulierement l'analyse ordinale
du Theoreme de Harrington-Paris fournie par Ie travail de Ketonen
et Solovay [ 1 ] . En effet, Ketonen et Solovay demontrent la conjec-
ture enoncee dans les notes qui sui vent, et cette demonstration consti-
tue Le CCEur de leur travail.
22
(L) P X
<w
Exarnples.-
(1) D {y E: P
<w
X I Iy I n}
(2 ) D
w
= {Y E: P
<w
wi IYI > Min(Y)}
r
Proof.- If f : [XJ k then by the infinite form of Ramsey's theorem
there is an infinite Z X homogeneous for f. Now choose Y E: D such
that Y Z. Y is also homogeneoux for f.
Proof. - This will be a simple applica tion of the compactness theorem for
r.
the sentential logic having sentence symbols pi for i < k, a E [XJ
. " a
Let S = {W pl A ;X\
., (pl A pJ) I a E: [X] r}. Clearly the models
i<k a i<j<k a a
r,
of S are identifiable with the functions f : [X]r k. For a E: [xJ
i.
f (a) is the unique i < k such that f \=: Pa If Z E: Diet ¢z be\;(/ ¢i
i<k Z
23
where ¢ is iX\
pi. Clearly f \= ¢ Z iff Z is homogeneous for f.
a
aE[Zl
Hence by the Lemma 5 U ¢Z I ZED} cannot have a model. So by the
compactness theorem there are ZI""'Zn ED such that
5' S u { ,¢z , ... , ,¢Z } does not have a model. Let Y = Zl u ••• u Zn'
1 n
r
If f [yJr k,extend f arbitrairily to f [XJ k. f cannot be a
model of S'. So there must be 1 i n such that f ¢Z. i.e.
1
- r
Zi E D is homogeneous for f and hence for f. Thus Y (D)k'
r
Corollary.- For any density D on X, {Y E P X I Y (D) k} is also
<w
a density.
Remarks.-
4) If 0 is a density on w let
o -x {y:: X {x } I y u {x ) ED}
1 0 I 0 i f 0 is trivial
10 I s. A (V X E X) ( 10 x I < A).
26
1 1° n °2 I = °
Max ( 10 1 I ' 1 2 [ ) .
Proof. -
if 0 then, as 0 -x
I0 1 I > O-x and 101-x I < I011, IO-x I s: 101-x I by induc-
1 2 2
tion hypothesis. So (V x EX) (lo;x 1 < 1011) and hence 1021 s: 1011.
(iii) s: w <c==> (V x E X) 3 n (0 ) -x
°-x .
Proof.-
X
(V x E X) D;>n :::. D-
and
r
Lemma 4.- (Do, ... ,D
does not depend on the order of Do, ... ,D 1
k_ 1) k_
and is monotone in each argument.
Proof.- Trivial D
r
It follows that (D)k
c (D , ... ,D l)r if r > 0 and D=D a n •. ;,nD k_ 1
a k-
If Do, ... ,D are densities then so is D and hence It easily
k_ 1
follows that (Do" .. ,Dk_1)r must be a density.
Let
Lemma 7.- Let k > a, r O. Let Do, ... ,D oS P<wX. For each x EX
(
k_ 1
and i,j < k let
t
if i j
lJ D. x if i f j.
J
Le t Dxi =
(x
Di o'···' ik-1
DX )r+1 f
or
l' < k.
Finally let
x x r
D {Y u {x j I x E X and Y E (Do' ... ,D
k_ 1)
}
Then D
29
As y" E .i.
there is a J' < k and U' E
l]
such that U· y" and
[U' Jr+1 c f,-l(j) Now let
U = f U' u {x} if L j
( U· if i j D
r+1( )
gk i ' ... , k $
r r+1 r+1
1 Sup 1 gk(gk ,···,gk ';\'+1'
l .i. r,
!O xl , ! = I(Oxio" x
.. ,Oik-1
)r+1[ r+1([ x I
" gk
I x
°io' ... , °ik-1
I) .
But .,A " Sup 10-x: + 1 where the sup ranges over o-x for-
k)
med from Do" "'Ok_1 such that 10i l " Ai for i < k, and x E X and the
theorem is easily seen to follow.
(1 )
r
(2) gk (A
A does not depend on the order of j, 1'" ., Ak and is order
1,··., k)
preserving in each argument
(3)
(1) follows from lemma 5 and lemma 2 (ii). (2) follows from lemma 4
and (3) from lemma 6.
Lemma 10.-
31
2
Although I have shown that EO is closed under g2 I do not yet
have good bounds for this function.
REFERENCE
Chantal BERLINE
CNRS - Universite de Paris 7
Les ideaux definissables d'un anneau de Peano sont taus prineipaux. Cet expose
presente des resultats dus a Cherlin sur les ideaux non neeessairement definissables
de ees anneaux. L'aeeent est mis sur les ideaux premiers et plus generalement sur les
ideaux eontenus dans un seul ideal maximal.
1. ANNEAUX DE PEANO.
On appellera anneau de Peano tout anneau R eonstruit a partir d'un modele de
Peano eomme 1 'est a partir de ; un anneau de Peano est done en fait un anneau
d'entiers rationnels non standard et un anneau eommutatif unitaire totalement ordonne
R est un anneau de Peano ssi tout sous-ensemble non vide definissable a 1 'aide de
de 1 'ensemble R+ des elements strietement positifs de R a un plus petit
element. En partieulier, dans un anneau de Peano
00 (p,a) designe 1'ideal engendre par p et a. La premlere egalite exprime que tout
element irreductible p est premier (au sens (p) est un ideal premier) et recipro-
quement si (p) est premier il est clair que pest irreductible, la deuxieme egalite
dit que (p) est en fait maximal. On obtient done :
1.3. No.ta.UolU. Soit \P 1 "ensemb le des nombres premiers de R+. 'is' s'identifie avec
1'ensemble des ideaux maximaux definissables de R+. Pour tout element a de R soit Ca
1'ensemble des elements de qui divisent a. Ca est done un sousensemble definissa-
ble borne de R e'estadire un sousensemble "fini" au sens de R. Par la suite nous
parlerons de sousensembles Rfinis.
lip E C
1.5. Tout ideal definissable de R est "produit", de maniere unique, d'un nombre
Rfini d'ideaux maximaux definissables.
1.6. RemaAque. Les ideaux (p), p E Ca' sont exaetement les ideaux maximaux definissa-
bles qui contiennent (a). Si a = pn, n E R+, le seul ideal maximal eontenant a est
(p). En effet tout c qui n'est pas dans (p) est premier avec p done avec pn et
(c,a) = R. Plus generalement si a n'a qu'un nombre fini (standard) de diviseurs pre-
miers distincts Pi les seuls ideaux maximaux qui contiennent (a) sont les (Pi) mais
il resultera de ce qu'on va faire plus tard que si a a un nombre non standard de
diviseurs premiers (a) est inclus dans des ideaux maximaux non definissables.
34
1.7. Les anneaux de Peano satisfont le lemme Chinois sous la forme suivante : pour
tout sous-ensemble R-fini C de et toutes fonctions definissables f de C dans R et
n de C dans R+ il y a un element a de R tel que:
1.9. Ve61iU;tLon. Soit I un ideal de R. On definit son "radiCal non standard" r(I) de
la maniere suivante :
r ( I) = {x E R I 3n E R+ I}.
La remarque 1.8 montre que r(I) est inclus dans tous les ideaux maximaux qui con-
tiennent I.
Demonstration. Si r(I) est maximal c'est fini sinon il suffit de voir que pour tout
element u de R tel que u i r(I) et (I,u) f R il y a un ideal maximal de R qui contient
I et pas u. Soit a E I, alors a = bc pour deux elements b et c de R tels que
Cb = Ca - Cu et Cc = Ca n Cu' Ainsi b A u = 1 et c/u n pour un certain n E R+, Comme u
n'est pas dans r(I) c n'est pas dans I. Comme u n'est premier avec aucun element de
b n'est pas dans I. D'autre part, si (b,I) = R alors bAd = 1 pour un element d de
I donc a A dc = c et c E I, contradiction. 11 suffit alors de prendre n'importe quel
ideal maximal contenant b et I.
1.11. Tout ideal premier est incius dans un seul ideal maximal.
Demonstration. 11 suffit de verifier que pour tout ideal I premier r(I) est maximal,
or la demonstration de 1.10 nous dit que si r(I) n'est pas maximal tout element a
35
Exercice - Un ideal I de Rest primaire ssi pour taus x,y de R tels que xy est dans I
on a x ou une puissance (standard) de y dans I. Deduire de 1.9 que tout ideal primai-
re est contenu dans un seul ideal maximal.
2. M-IDEAUX DE R.
2.1. Soit Mun ideal maximal de R. Un ideal I de R est un M-ideal si
est inclus dans Met dans aucun autre ideal maximal de R done, avec 1.10, I est un
M- idea 1 ssir ( I) = M.
2.2. Exemp!e. Les ideaux premiers et les ideaux primaires sont des M-ideaux (pour un
M-adequat ; cf. 1.11).
2.3. Exemp!e. Si Mest un ideal maximal definissable les M-ideaux definissables sont
exactement les Mn, n R+. En effet si M= (p), P E \S', et si I = (a), a EM, il est
clair que I est un M-ideal ssi pest le seul diviseur premier de a. Remarquons que
si Mest un ideal (quelconque) de R et n E n f 0, Mn denote en algebre usuelle
1'ideal enqendr'e par les produits de n elements de Si Mest def ini ss abl e cette
definition s'etend clairement a tout n c R+ et coincide avec celle que nous avons
implicitement utilisee.
2.6. 11 est facile de verifier que les coupures qui correspondent aux ideaux premiers
sont les coupures "additives" de R+ c'est-a-dire les coupures d telles que n,m < d
implique m+n < d.
Soit P(x) la formule a une variable libre et sans parametres qui definit les
nombres premiers dans n'importe quel anneau de Peano.
Ve.MrU.tioYL6. Un type sur R est un ensemble consistant de formules a une variable li-
bre et parametres dans R clos pour 1'implication. Un P-type borne sur R est un type
consistant avec P(x) et contenant une formule x/a, a E R, a f 0 (borne sous-entend
donc ici borne par un element de R pour la divisibilite et P-type est une abrevation
pour: type d'element premier).
A tout ideal propre I non nul de R on associe le P-type borne q(1) engendre par
les formules x/a, a E I. Reciproquement a tout P-type borne q on peut associer 1'ideal
non nul 1(q) = {a E R / x/a E q}. Si I est definissable q(1) est realise dans R.
3. 1. The.olterne-.
(iii) I et q echangent bijectivement les P-types bornes sur R qui sont complets
et les ideaux maximaux de R.
(iv) I(q(I)) = r(I).
3.2. Theoneme. Soient Met I deux ideaux, Mmaximal, I c M. Alors I est un M-ideal
ssi q(I) = q(M).
Demonstrations. (i) et (ii) de 3.1 sont clairs et (iii) est consequence immediate de
(ii). D'autre part, a e I(q(I)) ssi il y a un b E I tel que x/b A P(X) x/a done
ssi il y a un b E I tel que b divise an pour un certain n E R+ i.e. ssi il y a un
n E R+ te 1 que an E Ii. e . ss i a E r ( I ).
Passons a 3.2. Si q(I) = q(M) alors r(I) = I(q(I)) = Mdone I est un M-ideal. Reci-
proquement si q(I) est strictement inclus dans q(M) il n'est pas complet et il existe
une formule f(x,y) et des parametres b dans R tels que et sa negation soient
consistentes avec q(I). Soit a un element quelconque de I, on a a = cd avec
Cc = {x E Ca / R F q(x,b)} et Cd = {x E Ca / R F 11 est clair que cAd = 1
et la consistence de q(I) avec et If(x,b) implique (I,c) I R, (I,d) I R done I
est inclus dans au moins deux ideaux maximaux.
Soit Mun ideal maximal de R et a une realisation de q(M) dans une extension
elementaire R' de R. Sans changer quoique ce soit a ce qui precede on peut supposer
que notre langage L contient des fonctions de Skolem. On peut alors parler de la
sous-extension (elementaire) RM de R' engendree par a. On a :
3.5. ThcOfLeme.
(i) 1'intersection avec R d'un a-ideal est un M-ideal.
(ii) Tout M-ideal I est, de maniere unique, intersection de R avec un a-ideal.
(iii) Pour tout a-ideal J de RM on a RM/J c: R/ RnJ, en particulier
RMI (a) '" RIM.
3.6. Lemme.
J n Rc c (a)n
Demonstration de 3.6.
(i) En utilisant 3.4 il est facile de voir que pour tout ideal J on a
r(J n R) = r(J) n R. Si J est un a-ideal r(J) est maximal donc premier donc
r(J n R) est premier donc maximal et J n R est un M-ideal par 2.1.
(ii) 11 suffit de montrer que J nRc (a)n implique J c (a)n. Soit f(a,o) un
element quelconque de J. Comme J est un a-ideal J contient am pour un
certain m = g(a,c) E Si n = h(a,d) et r(x) = sup (h(x,d),g(x,c)), si a
39
pour tous les x premiers divisant a (un tel e existe par le lemme ehinois
(1. 7)), alors :
R
M 1= e = f(a,o) modulo ar(a)
done 0/ a et a E I . C.O. F. D.
(ii) Soit J un a-ideal de RM. 3.5 (ii) et (iii) permettent d'affirmer que la
coupure d(J) de associee a J depend uniquement de J n R autrement dit
tout a-ideal est determine par son intersection avec R. Soit I un M-ideal
de Ret d la coupure : d = {n E / Ie (a)n}. Alors 3.5 (iv) implique
I = (a)d n R.
Demonstration. Nous nous contenterons de regarder les ideaux premiers et laissons les
primaires en exercice. Compte-tenu de 3.5 il suffit de verifier que si J est un
a-ideal tel que J n R est premier alors J est premier. Soit f(a,o) et g(a,c) deux
elements de RM. Soit d un element arbitraire de Met a et b deux elements de R tels
que :
a = f(x,o) modulo xn
b = g(x,c) modulo xn
41
Pour une demonstration de 4.3 nous renvoyons a [lJ p. 79 et 81. 11 s'agit essen-
tiellement de decrire 1'espace des coupures de Dedekind additives de R+M.
4.4. Theoneme. Soit P = Md un ideal premier non maximal de R. Alors RIP est un anneau
de valuation discrete de corps residuel RIM, de corps quotient K henselien et de grou-
pe de valuation
{± n I n E R+M n < d}
Bien sDr "anneau de valuation discrete" doit etre compris dans un sens non standard.
42
Montrons que K est henselien. Par 3.5 et 4.1 on peut supposer Mdefinissable. Soit
M = (p), peR, et P = Md, d c R+. Il suffit de montrer que Rip est un anneau hense-
lien c'estadire que pour tout polyn6me Q de RCXJ toute racine simple de Q modulo
Mse releve en une racine modulo P. Soit n ( R+ tel que n > d. Alors P c Mn = (pn)
et il suffit de montrer, ce qui est facile avec Peano, que si n est un entier 2 1 et
si r E R est racine simple de Q • RJX] modulo p alors il y a un s F R tel que p/rs
et pn/Q(s).
On connait egalement pas mal de choses sur les corps RIM, Mmaximal. En particu-
lier ils sont finis (si est engendre par un nombre premier standard) ou pseudofinis
i.e. modeles infinis de la theorie des corps finis (pour ceci et d'autres resultats
sur ces corps residuels cf. L31).
REFERENCES.
REMARQUES.
Ici nous nous sommes occupe presque uniquement des Mideaux. 11 est a noter que
Cherlin pousse ses resultats a des ideaux quelconques et represente en particulier
tout ideal comme section semicontinue a support compact de 1'espace fibre
X = {(M,d) I Mideal maximal de R, d coupure de Dedekind de muni de la topologie
adequate. Notons encore que le cadre dans lequel se place Cherlin est a la fois plus
general et plus restreint que celui adopte dans cet expose: plus restreint en ce sens
qu'il travaille avec des extensions e1ementaires 2* de 2 (mais en rea1ite ses demons-
trations sont faites dans Peano), plus large en ce sens qu'il traite non seulement
les 2* mais aussi 1es anneaux d'entiers des corps de nombres construits a partir des
Z* (dans [1J) et d'autres anneaux de Dedekind non standards [2J. En fait i1 s'agit
43
essentiellement des memes demonstrations modifiees pour tenir compte du fait que dans
ces anneaux les ideaux definissables sont engendres par 2 elements au lieu d'etre
principaux. Enfin et pour faire plaisir a Daniel Lascar j'ai choisi de formaliser
les demonstrations a 1'aide de types au lieu des ultrapuissances definissables utili-
sees dans les articles originaux.
THEORIE ELEMENTAIRE DE LA MULTIPLICATION
CEGIELSKI
27, rue Dezobry
93200 SAINT-DENIS (France)
A2. y Vy (x+y=y+x=y)
cet element neutre est unique et on Ie note Q) .
A3. (Commut.a t Lv i t e ) V x V y (x + y = y + x )
(x $n y v y $n x) .
D3.-0n dit qu'une theorie T admet des fonctions de Skolem ssi pour
toute (n + 1) -formule 8 (x,x ' •. ' ,x de L (T) il existe une relation
1 n)
fonctionnelle (ou application definissable) y = f(x , ... ,x n) telle
1
que :
x
[n] est Ie quotient dans la division euclidienne de x par n, aont
n.
l'existence est affirmee par A9
x y _ (x ,; Y /\ Y ,; x )
x 'I y (x + 1 s Y v Y + 1 ,; x )
la forme canonique
u
p ,; /\ v 1 /\ ...
v' )
m q
q
avec
u' .:.. U
ax+u s s C-a--J pour a E IN * , et
ul .:.
u ' s ax+u (u ' S U v [ u J s x).
a
A X
Or des que nous connaissons les restes modulo les m pour les x. nous
r J
les connaissons aussi pour u, nous savons donc exprin,er Ie plus petit
u' plus grand que u tel que u I _ a A ••• A U I = ap, il est de la
m 1 -m
1 p
forme : u I = U + N, avec N E IN.
(sans" u' ,; v " eventuellement s'il n'y a pas de v), ce aui montre le
theoreme de l'elimination, et d'autre part,
B.·- AXIOMATISATION
B = {f E IT
iEI
At/f(i) ° sauf pour au plus un nombre fini de i}
-f:r
pour R predicat n-aire de L R (f , .. . ,f ssi pour tout i de I
l n)
@l.
(i" l(fl(i), ... ,fnli)) )id'
2.- AXIOMATIQUE.
n
(on note x le terme defini par recurrence sur
o n+l n
n E IN par x = 1 et : x = X • x) .
n._ n
A6 (Pas de torsion) (Pour n E IN* : \f x v y (x
p 1 II \f x (x I p > (x = 1 v x = p))
A8. (Existence de nombres premiers) \f x 3 p (W (p) II P t x)
(cet axiome dit beaucoup plus que l'existence de nombres premiers, a
savoir l'existence d'une infinite de nombres premiers).
53
V P V x V y (( PR (p , x) 1\ PR (p , y» ->- (x Iy v y I x) )
A13.- (Division)
A14.- (Troncage)
A15.- (Incrementation)
(c'est-a-dire, si x
p I x. y
A
p
{x E A/@L 1= PR (P , x) }
et . est la restriction de • a A .
P
n, yn z et z minimal
d'apres A7 ilexiste y et z tels que x on a
56
P2 n (pour tout n E
n,
Demonstration.- En effet, d'apres l'axiome de divisibilite A7 il
existe y et z tels que: X = yn. z et z Ie plus petit possible; c'est
ce z qui convient. 0
-+
V x V X
o
'] Y V p (lP(p) -+ ((p I xo -+ V(p,Y) f(V(p,5t)))
II (p t x
o
-+ V(p,Y) 1 )) )
W -+ Z
l$i$k
-+
avec k eventuellement different de celui ci-dessus et les Cij(y) de
la forme: u(y) _ u' (y), avec n .. E IN , u et u' termes de
n
ij 1J
(+,0, l).
P .. SP ..
n
(u(5t) ,u' (5t» . (x o 7 (u(5t) . u' (5t»)
1J
1J
mais p t SP
n
(u (}t) , u' (*» ).
i j
P.
1 ·
n P .. (ceci est obtenu grace au troncage).
1 $J$m 1J
i
D5.- On note M" la theorie de 1angage L" (. ,V,P), extension par d§-
finition evidente de M.
;)(\ JP(Pi)/\
bi,;k
lR (8+))
k m+n m n
x (R (8 A • • • •\ 1 R (8 )) •
k1 1) k m+n m+n
n,nl,n"E:N
n ':s:k'-l
n+n'=k
n'+n"=k' o
o Lemme 2.- Etant donne une formule
M R
k.
(e
i
) A M 5 (e ) A I R (8).
k. i l
l:s:i:S:m m+l:s:i:s:m+n
des disjonctions. D
A w R
l(8 i
(O, o } ) A lRl(l-J x l8} A
l:5i:5m
A l R ( /)(\ 3 x 8, A l ( W 3 x 8 ,) ) ) (n)
() li}+l m+l:5i:5m+n l
I s j sm J
m+l:5i:5m+n
CN Seul Ie deuxieme terme n'est pas evident. Soit un modele de M,
et f tel que @L i== ¢[fJ, alors i l existe a tel que @z. F=
Si f = (fl, ... ,f n), soit a' = a. fl . . . . . f n, alors d t apr e s AS, il
existe un nombre premier p (et meme une infinit§) qui ne divise pas a',
donc C9I- 1= 8 i (0, ... ,0) pour un certain i E [l,m+nJ, car
8 v 'VV8 est une tautologie et on a l R (8Ha,f], or
l:5i:5m+n i l
8 (0, ... ,O) est un §nonc§ et &p est un modele de la th§orie de I' addi-
i
tion, qui est complete, donc pour tout p on a & 1= 8, (0) ,
P l
ce qui montre que l'on a l R l (l 8 i (0) ) •
l:5l:5m+n
On ne peut pas avoir i E [m+l,m+n] car sinon on n'aurait pas
@L 1= l R . (8 i ) [ a , f] .
k
l
- pour p I fl' .f
p
et non encore considere
11 x( W 8 (X) )
i
lsism
a
A.
l
{(x,y) E Q+ x I'l/(X N avec a E IN) et (x o ->- Y E :N)}
O
D§monstration.- 0 D'apres Ie th§oreme BT3, toute formule ¢ de L est
MO-§quivalente a une combinaison bool§enne de formules du genre
R II r§sulte alors de ce que la th§orie de l'addition de langage
k(8).
(+, ,0,1) §limine les quantificateurs, de la mise sous forme
normale et de la distributivit§ des quantificateurs existentiels par
rapport a la disjonction, que les formules 8 des R
k(8)
peuvent etre
prises comme conjonction de formules de la forme: t =n t', avec
t, t' termes de (. ,1,1).
o Soit 8 8
i
avec 8
i
de la forme v.
l
lsisk
Premier cas.- Pour tout i de [l,k] on a : t (1, ... ,1) -n. ti (1, ... ,1).
i
l
O,
Alors R est vrai dans M car il y a une infinit§ de nombres pre-
k(8)
miers ne divisant aucun des parametres, et on a, par exemple :
R (8) lEI (1) •
k
O
Remarque.- Nous venons de voir que M elimine les quantificateurs, en
particulier relations definies jusqu'ici s'expriment dans le lan-
O
gage L ; verifions-le :
02.- 1°. On dit qu'un entier x est un ensemble fini de nombre premiers
et on note Fin(x) 5si pour tout p de 1P on a : V(p,x) = 1 ou p,
Le. : x = SPo(x,x).
P si P Ix et p t y
Remargue.- On a, pour p premier, V(p,x\y) = 1
f sinon.
03.- Pour (sl, ... ,sn) E {-l,nn \{(-1, ... ,-1)} on d e f Ln i.t;
y = sl xl n ••• n snxn par z = n xi' z' = U xi' Y = z\z'.
Ls Ls n Ls i.s n
s.=l s.=-l
1 1
66
- Si u ' = T(v,v'), on a
- S i u' = SP m (v , v') on a :
et V(p,U) + 1 - k V(p,t'))
- Analogue si s I O. 0
Si t 1 ou t
avec n,k E IN* (sl, ... ,sk) E {-l,l}k\{(-l, ... ,-l)}, Y. ensemble fini
primitif definissable a partir de Xl'· .. ,X n .
a et b ont meme type si, et seulement si, ils verifient les memes
de la forme En(slY l n ••• n SpYpJ, avec
n,pElN (sl"'''sp) E {-l,l}P\{(-l, ... ,-l)}, Y i de la forme
F(X), VEk(X) ou VCk,r(x),
1.- La theorie I L
o
\f x (x + 0 x) - \f x \f Y (x + Sy S(x + y))
\f x v Y (x Y <'------+::1 z (y z + x))
\I x \I Y \I z ((x Iy • z et x A y = 1) -> x I z)
n
dl.- On definit, par recurrence ex t er i eur e sur n E :IN, le terme x
a n+l
par : x = 1 et x = x n . x. On parlera de puissance exterieure.
n
Demonstration.- Premier cas: x = 0 alors x = 0 (par recurrence ex-
terieure), d'ou yn = 0, donc y 0 (d'apres PI). Ainsi x = y.
n- 1
(recurrence ex t e r i eur e classique). Puisque x t 0, alors x of 0 (PI)
d "ou : x n-l + ... + Yn-l -+- ' i t.ee, x - y = 0 , SOli t;
r 0, et, par lntegrl
X = y. D
Demonstration.- Soient X
o
= V(p,x), Yo = V(p,y). On a : x = x'x o'
y = y'Yo avec P t x ' et p t y' (d t apr e s P7), d'ou xy = x'y'xoYo
avec PR(p,x .y ), p t x'y' (Theoreme de Gauss), d'ou, d'apres P7,
o 0
V(p,xy) = xoYo = V(p,x) . V(p,Y). 0
Demonstration.- CN Evident.
z"
0
= 1 , en contradiction avec le fait que pi zit .
0
V(p,y) lIn
Si V(p,y' ) vtp,y) alors soit y"
0
= z"
V(p,y') , on a : 0 Yo avec
y" t- 1 (car pi z;) done y ne serait pas le plus grand u tel que F(u) .
0
II (p+x+V(p,y) =1)))
II (p t x + V(p,y)= 1))))
Si x 1, il suffit de prendre y 1.
76
d4.- Le y dont l'existence est affirmee par Pll (et qui est unique)
s'appelle l'ensemble fini de x et se note F(x).
Corollaire.- (Incrementation)
Y x ;"j Y Y p(lP(p) ->- ((p I x ->- V(p,y) p. V(p,x)) II (p t x ->- V(p,y) = 1)))
P12.- (Troncage)
y' Alors y' < Y done, par hypothese de recurrence, il existe z'
a y' r epondant. a la question. Si q t
a s s oo i.e x posons z = z'. Si q Ix
et q I y' posons z = z'. q. Sinon posons z = z'. V(q,y). Alors ce z
repond a la question.
z'
Si V(q,x) -
n
V(q,y' ) si n = 1 posons z = z' , sinon z = q
Si V(q,x) fn V(q,y' ) si V(q,x) -
n
V(q,y) pesons z = qz' , sinon z = z I.
2
Theoreme.- Toute formule du langage (.,Q ) est, modulo la theorie de
2
(:N ,.,Q ), equivalente a une formule du seul langage (.).
2 2
Q x Y \XI /)(\ ± R ( 8) W Q x y 1)0. ± R (8) .
k k
2
v R (3 x 8 (x, x ,
k
->-
Z ) v Q x y e (x, y , ->-z) ))
- soit il existe k nombres Pl, ... ,Pk de pI tel que pour x,y
Pl ->-
de Y, avec x y, on a : 8 (V(Pi'x) ,V(Pi,y) ,V(Pi'z)) pour 1 i k.
2 -+ Pi
+ sinonona: (Q xy 8(x,y,z))
V(p,x
n)
= 0 sinon.
2
Alors X est un ensemble temoin et on a Q x Y R (8) .
k
V(Pi'X m) x
0
V(P ,x Yo si m < n
i n)
V(Pi,X m) Yo
d'o\l R (8 (xn,xm,i)) et R (8 (x ,x , i) ) . 0
k k m n
82
2
o Lemme 2 - Q x Y 1 R (8) -...
1
+ 2 +
(lR 1\ lR1(l(3x18(x,x,z) v Q xy18(x,y,z»))
1(8(0,0,0))
2 2
+ On a : Q x y 1 R1 (8)........... Q x y ( \f P E F) (1 8) .
2 P
- sinon on a : (Q x y 18 (x,x, z) )
2 -+
R1(Q xYI8(x,y,z)).
d'ou : R
1(
3x(x t 01\ 18(0,x,0) 1\ I 8(x,0,0),d'ou la der n Le.re condi-
tion.
83
est temoin.
et lR1(l'J xl8(x,x,i)).
+ V(p,x )
n
= x
p
pour P E p'
x
o
o pour i -I n
2 2 +
Lemme 3.- Q x Y Sk (8) (Q x y R (8) /I I R (8 (0,0,0))
k 1
+ 2 +
/I l R + (l ( j xl8(x,z,x) v Q xyi8(x,y,z)))
k 1
2 + 2 +
/I R (Q x y 8 (x , y, z) v Q x y 1 8 (x, y, z)
1
2
(I) lj
( x 16 (x, x, +z) " 1 Q x Y 1 8 (x, y, +z) ) P
+
CS. + Soient m <; k tel qu e Sm(l( j x 16 (x,x,z) v
2 + -
Q x y l 6 (x, y, z) » et PI'." 'Pm les m nombres premiers coricer-ne s , On
mettra : V(Pi'x) = 0. Dans la suite on peut done considerer que:
+ 2 +
lR v Q xyI8(x,y,z»)
I(l(Jx16(x,x,z)
R 2 xy 8(x,y,z)
-+
vQ 2 xyj8(x,y,z)
-+
v 3 x(x;o' 0 *
A 18(x,O,v»)
l(Q
- si on a
- si on a
alcrs soient {xo'Yo) un tel couple d'entiers, P' l'ensemble des nom-
bres premiers divisant les parametres et une enumeration de
lP\P', on construit un ensemble t emo i n X = {x
n
In E avec
V(p,x) E Y, Y ensemble temoin si on a au
n p p
V(p,x) = Yp tel que sinon, pour PEP', et
V(Pi'x n) = 0 sinon.
-+ 2 -+
+ Sinon on a Rk(3x 8(x,x,z) v Q xy 8(x,y,z»
2 2 -+ ,;,
A R l(Q xy 8(x,y,z) v Q xy,8(x,y,z) A 3 x(x;o' Y /I, 8(x,O,v)
/I -, 8 (O,x,O) »
86
2 2
Q x Y 1)(\ ¢i ..,. I'x:\ Q x y ¢i '
ce qui fait que l'on peut se servir des lemmes precedents pour etablir
la condition necessaire ; pour la condition suffisante, on fera la
construction effective d'un ensemble temoin. La difficulte est que
l'on peut avoir des chevauchements c'est-a-dire que, malgre que les
8. soient independants, pour un nombre premier on peut avoir, par
J 2 2 P
exemple : (Q x y8 1 II Q x Y 8
2)
Disons d'abord, pour 11' .. ' ,lk entiers, 8 ... ,8 formules de (.),
1, k
que ,lk,8 k) signifie:
..,. 2 ..,. P
(j x 8. (x,x,z) v Q xy 8. (x,Y,z)) "
l l
2
Q x y ( rc: R (0.) II /c: Sk. (0 ) II \ R (8))
l:<;i:<;n ki i l
l n+l:<;i:<;n+m l
f>(\
..,. 2 ..,.
II l R . + 1 (l ( j X I 0 i (x , X , Z) v Q x Y \ 8 i (x, y , z) ) )
n+1:<; i:<;n+m k
l
..,. 2 ..,.
111R ( l ( ] x i 8 (x , x , z ) v Q xyi0(x,y,z)))
l
II W II N\ R
l(]x3Y(8.(X,y,O)))
Ic[l,n+m] l l ll' iEI l
II R W v vV 3x"lY8.(x,y,O)
l( Ls i s n-em l I s L s n l
d'ou le resultat. D
n
Remaroue.- Pour n 2, le quantificateur de Ramsey 9- est tel que
Qn x i ... x
¢(x ... ,x est vrai si, et seulement si, il existe un
n I' n)
ensemble infini X tel que ¢ (al, ... ,a soit vrai pour tout n-ensemble
n)
{a ... ,an} de X.
l,
Schmerl et Simpson ([SSJ) ont montre que les quantificateurs de
Ramsey superieurs Qn s'eliminaient pour l'addition. Le resultat est
encore vrai pour la multiplication. 11 suffit de reprendre la demons-
tration precedente, que nous avons traitee seulement dans le cas n =2
pour simplifier.
88
REFERENCES
[RA] Ch. RACKOFF : "On the complexity of the theories of weak direct
products", preprint de janvier 1974.
89
[SS] J.H. SCHMERL, S.G. SIMPSON: "On t.he role of Ransey quantifier
in first order atithmetic", a proposer au Journal of
symbolic logic.
*
* *
91
Soit L un language
(ATTENTION les notions de faisceaux que nous introduisons ici ne sont pas les plus
generales).
2) pour tout point x de X, n-I{x}, note Ex, est muni d'une L-structure.
(n) _ n
3) Soit E - {(rI"" ,r n) E E n(r I) =.... = n(r n)} , muni de I a topologie
induite par la topologie produit sur En. Alors
- pour tout symbole de constante c du langage L, 1 'application qui a tout point
x de X associe c x' 1 'interpretation de c dans Ex, doit etre continue.
- pour tout symbole f de fonction an places, 1 'application de E(n) dans E, qui
a un n-uplet (r I, ... ,r n) associe son image f(r I, ... ,r n), doit etre continue.
- pour tout symbole R de relation n-aire, le graphe de R dans E(n) doit etre
ouvert-ferme.
- le graphe de 1 'egalite dans E(2) doit etre ouvert-ferme.
Les E sont appeles les fibres du faisceau, Ex = E est appele 1 'espace etale.
x XEX
4) Soit Y compact, inclus dans X. Soit s une section continue de E sur Y. Alors
il existe t, section continue de E sur X, qui cOlncide avec s sur Y.
5) Pour toute section continue s de E sur X, s(X) et X sont homeomorphes (par IT).
7) Si pour tout point x de X, {O} est une sous-structure (au sens de L) de Ex'
alors fc(X,E) est une sous-structure de f(X,E).
Weispfenning, dans [W] a introduit des methodes tres approprlees pour 1'etude de
de sections continues verifiant ces conditions. 11 se place dans un
langage plus grand, avec des symboles de fonctions v=' vR' ... , et un predicat pour
une algebre de Boole. Les fonctions v= et vR correspondent au valeurs de verites
de = ou de R dans 1'algebre de Boole des ouverts fermes de X.
11 donne aussi une axiomatique pour les structures de sections continues sur un espa-,
ce Booleen. Voulant etudier les structures de sections continues sur un espace loca-
lement compact zero-dimensionnel, pas necessairement compact, nous devons raffiner
un peu les methodes de [W] . En effet le v= def in i ci-dessus prend ses valeurs dans
les ouverts fermes co-compacts. Rien ne distingue (model-theoriquement parlant) dans
1'algebre de Boole des ouverts-fermes de X ceux qui sont compacts de ceux qui ne le
sont pas. On voudrait pouvoir dire par exemple que 1 'on ne considere que les sections
continues a support compact.
Pour ce l a, nous n'allons parler que des ouverts-fermes compacts de X, qui forment sous
les operations ¢, n, u, - (complementaire relatif) un treillis distributif relative-
ment complemente avec un plus petit element ¢. Nous definirons les valeurs de verite,
non plus sur X tout entier, mais sur les ouverts-fermes compacts de X.
Les lettres grecques a,S ... , designeront toujours des variables ou des parametres
a valeur dans MB, tandis que les lettres latines a,b, ... ,U, ... des i qnerorit des varia-
bles ou parametres a valeur dans ML.
Axiomes de P :
(1) \/x,y, x = Y +-+ va, v=,x,y,a) = a
(6) lix,y, z ,«, V=' x,y .«) n v=,y ,z .o ) <; v=' x, z .o.)
{P E U alP} b(P}}
{P E U 313 I- P, vJa,b,s) = S}
Soit a E M
B tel que v=(a,b,a} = ¢ /I \113, anS = ¢, + v=(a,b,B} B.
{PEU PI-O(a)}
= U - O(a)
C'est bien un ouvert.
E fc(X,M'}, 3a E M, a = s .
A
- \IS
D'apres la demonstration du lemme, on voit que M' est Hausdorff. Done le support
de s est un O(a) pour un certain a E MB.
Soit P E O(a). Soit a p E Mtel que
s(P) = = ap(P) .
97
Vx E a
98
COROLLIURE - Si ML = <it (IN,+), = parties finies de w, alors pour tout enonce I.f'
nEW
de Th(lN,+),
50it A(X) 1'algebre de Boole des ouverts fermes de X qui sont compacts ou
cocompacts.
THEOREME [CoJ, [FV]. Soit une formule de L. Alors il existe une suite
<<!>(zl"" ,zm) ,8 1(v), ... ,8 m(V» , ou ¢(zl"" ,zm) est une formule du langage des alge-
bres de Boole augmente d'un pr-ed i ca t unaire (pour '3:>(X)) et 8 1(V) , ... ,8 m(V) sont des
formules de L, telles que pour tout uplet a de fc(X, 8M x)
= (R(u)).
*Si\jJ=Cf lllc,02
Si <<!Jl,8 l, ... ,8 m> et <<!J2,8i, ... sont 1es suites as soc i ees a (1\ et Cf , l a
2
suite associee a \jJ sera
* Si \jJ = l'f
Si <<!J,8 l, ... ,8m> est 1a suite associee a f, 1a suite associee a \jJ sera
Remarquons ensuite que si <<!J,8 l, ... ,8m> est une te11e suite, on peut trouver
<'¥,8i, ... te11e que
* Si \jJ = 3U
Soit <<!J,8 l, ... ,8m> une suite associee a et verifiant 1es hypotheses de parti·
tion enumerees ci-dessus.
A ./tl. Yin Yj = <p A • U, Yi = (j) A <1>( Y1 U Ym+ 1' ... ,Ym U Y2m}
11"J 1Sl sZm
Nous voulons trouver une section b de rc(X, telle que 1'on ait
ve.(b i) Bi
1
On fait de meme pour chaque s m.
On prend ensuite b comme etant egal a bi sur Bi (pour ism et a0 sur
Bm+ lu ... uB 2m· b est bien un element de r c(X, Mx)' et l'on a bien
Remarque 3 - On voit par exemple que si les Mx sont tous elementairement equivalents,
la theor ie de ne depend que de la theor i e de (A(X), SJ(X)). En fait, avec
le lemme suivant, nous allons montrer qu'elle ne depend que de la theorie de 5)(X).
1l, 'lh
(A,P) = (B,Q) .
Pour avoir une demonstration un peu plus effective, voir le theoreme 9.6 de [FV].
COROLLAIRE - Soit (fc(X, ill,(X)) modele de P, ver i f l ant les hypotheses du theo-
me, et verifiant de plus que toutes les fibres sont modeles d'une theorie complete T.
Alors la theor i e de fc(X, ne depend que de la theor i e de
Le lemme suivant va nous donner les moyens d'exprimer dans L* qu'un modele de
P, (fc(X, ;P.,(X)) satisfait les hypotheses du theoreme.
vx E a Ex F alors
IJx E a Ex F W(c(x),a(x)).
COROLLAIRE - On peut dire dans L* que (f c (X,8 Mx)' verifie les hypotheses du
theoreme.
Le dernier theoreme de cette partie, dO a Ershov [Erl, nous permet de donner 1 'axio-
matisation du treillis des parties finies d'un ensemble infini.
Demonstration nous allons en fait montrer que eette theorie admet 1 'elimination
des quantificateurs dans un langage L' defini comme suit:
Prenons ensuite deux modeles A et B de notre theorie, que nous supposerons etre w-sa-
tures. Nous allons montrer que tout isomorphisme partiel de domaine fini se prolonge.
Si al' ... ,am sont des elements de A, nous noterons <al' ... ,am> la L'-structure engen-
dree par al, ... ,a m dans A.
Remarquons d'abord que si al' .. ' ,am sont des elements disjoints (ainaj = ¢
pour i I j) de A, et 13 1, ... ,13 m des elements disjoints de B, alors il suffit que les
a i et l3 i satisfassent les memes formules de la forme a i >m a (ai >m 0) pour qu'il y
ait un L'-isomorphisme partiel de A dans B qui envoie ai sur l3 i. Cette condition est
evidemment necessaire.
Nous noterons a > 0 pour !X\ a > O.
00 n<w n
Soient a l, ... ,an et 13 1, ... ,Sn deux n-uples de A et de B tels qu'il existe un
L'-isomorphisme de A dans B qui envoie a i sur l3 i. Cet isomorphisme se prolonge evidem-
ment A <al,· .. ,an>. Soient El'··· ,Em' les atomes de <al,··· ,an> et
<13 1, ... ,l3 n>, enumeres de tel1e que 1'isomorphisme envoie Ei sur
Soit a n+ l E A. a n+ l s'exprime comme reunion des termes de la forme a n+ l n Ej et
a n+ 1 - Elu... UE m. (ils constituent d'ailleurs avec les Ej - a n+ l les atomes de
<al,··· ,a n+ l » · Nous allons construire Sn+l comme reunion de au pour
1 ,;; j ,;; m, j ,;; Ej et 1 n (El u... UE m) = ¢.
Cela implique notamment que Ej >k+k' 0 A l(Ej >k+k'+l 0). 'j satisfait donc la meme
formule. Donc il existe un ,;; 'j' tel que 1'on ait
On le prend.
Cela entraine que Ej >00 O. 'j satisfait donc la meme formule. Soient AI"·· ,Ak
104
* Si a n+ 1 veri fie
11 est a remarquer que comme un modele de notre theorie n'a pas de plus grand element,
alors pour tout element 6 de S, le treillis des elements disjoints de 6 a aussi une
infinite d'atomes.
Soit L = {+,OL
Maintenant, nous allons dHinir le langage L* de Weispfenning dans (I'J* .x ,t). Pour
cel a , il suffit de dHinirl'appartenance a. ())(X), les operations de t re i l l i s ainsi
que le symbole de fonction v=( , , ).
mn n p.g.c.d(m,n)
mu n p.p.c.m(m,n)
m - n = m/p.g.c.d(m,n)
Remarque 1 - contient tous les nombres premiers. Ceux-ci sont d'ailleurs les
atomes de
Definissons ensuite v
Soit m E'tD(X) a,b E I'J *
vJa,b,m) n -e-e- n E 1l(X) /I n/m /I liX (lip c P pix ++ pin) + (x/a) -e-e- x/b).
106
C'est-a-dire nest exactement le produit des nombres premiers qui divisent m et qui
apparaissent avec le meme exposant dans la decomposition de a et b en produit de
puissances de nombres premiers.
vm E I5'l(X) , e,o*(m) .
En effet, si l'on a e(O), alors IIV, ve(v) v)v,6) i 'l\(X), done IIV, ve(v) i:0
B) Si (MiliE! est une famille de mode l es el emen te i rement equivalents a ]N*. alors
$ Mi est el emen ta i remen t equivalent a 1'1*.
iEI
En effet si Xi est 1'espace topologique sousjacent a Mi' 1'espace sousjacent
a $ M. est Xi' qui est evidemment non compact. a une base d'ouverts compacts
iEI 1 iEI
et 00 les points isoles sont denses.
D'autre part le fait pour une formule d'etre vraie sur un ouvert ferme compact ou
cocompact est preserve. car les uplets qui peuvent intervenir dans la formule pren-
nent des valeurs nulles pour presque tout i.
109
C) Soit X un espace topologique infini, non compact, ayant une base d'ouverts
compacts, et 00 I, 1'ensemble des points isoles, est dense.
A partie de cette description des elements de rc(X,M) il est facile de voir que
les formules "a 'O b" et "a =n b" sont vraies sur des ouverts-fermes, qui sont
co-compacts.
Remarque 3 - ,x) n'est pas modele complete (voir remarque 1.4). Elle le devient
si 1'on ajoute au langage un predicat pour les nombres premiers. Un nombre premier p
joue en effet le role d'un atome dans la partie treillis, et de 1 dans sa fibre.
Remarque 4 - On voit facilement que ,I) est isomorphe a une somme directe de
copies de ,'O). On alors que le langage de Weispfenning peut etre defini
de la meme avec cependant une petite modification pour 1'appartenance a
A X F1 A x/mJ x p
Les memes techniques s'appliquent alors pour donner une axiomatisation de la theorie
complete de ,1).
110
Tous les modeles de cette theorie seront donc des Mx)' 00 X a une base
d'ouverts compacts, est non compact et a un sous-ensemble dense de points isoles,
00 chacun des Mx est un ensemble discretement et totalement ordonne avec plus petit
element 0, et 00 les formules sont vraies sur des ouverts fermes compacts ou co-
compacts.
BIBLIOGRAPHIE.
[FV] S. FEFERMAN et R.L. VAUGHT - The first order properties of algebraic systems.
Fundamenta Mathematicae XLVII (1959), pp. 57-103.
In [2J the following Nullstellensatz was proved (and applied to the represen-
tation of positive definite polynomials on real closed rings) :
THEOREM 1. Let A be a real closed ring (hence a valuation ring cf. [IJ) and let M
be its maximal ideal. Let I be an ideal of A[XJ satisfying the following conditions
(1) I is finitely generated.
(2) For every k 2 1, PI , ... ,Pk,G1 , ... ,G k E A[XJ and al' ... ,a k E: M,
if I(I + 1 1 1
E I, then G
1,··· ,G k are in 1.
(3) For every Q E: A[XJ and a E M, a f 0, if aQ E I , then Q E 1.
The purpose of the present note is to remark that condition (1) is superfluous
and that if condition (3) is removed, then the result still holds if we weaken
condition (II) to
(Of course, if I n A"I (0), then VA(I) ¢ and (II') holds vacuously).
Thus we state:
THEOREM l.a. With the notation of Theorem 1, if the ideal I satisfies (2), then
for all P E ALXJ, (I) 4=>(II').
Let us briefly recall the structure of the proof of Theorem 1. The implication
(II) =? (I) [or (II') =} (I)J is of course trivial. For the converse one proves
THEOREM l.b. With the notation of Theorem 1, assume that the ideal I satisfies
conditions (2), (3). [In the terminology of [2J, I is "strongly rea l "}, If
P E AeXJ, P I, then there is a real closed ring S A satisfying:
(i) A is an elementary substructure of S.
(ii) VS(I) is not contained in VS(P).
Remark 1. [2; Proposition 4.1J and the first half of [2 ; Proposition 2.2J prove
that P I implies the existence of a real closed ring B and a totally ordered
ring C such that A " C < S, (i) holds, and
(ii c) VC(I) is not contained in VC(P).
Condition (ii) follows at once from (ii c)'
Remark 2. Theorem 1 is an instantaneous consequence of Theorem l.b. (If I is
finitely generated, then condition (ii) is a first order property of B, inherited
by A). The point of the present note is that Theorem l.a is also an easy consequence
of Theorem 1. b.
113
Condition (3) is trivial. As for condition (2), suppose PI"" ,Pk,GI,··. ,G k E A[XJ,
a!' ... ,a k E M, and:
Fix b E A, b f- 0 so that
Letting Hi = bG i we conclude
Step 3. Transfer to A.
Let K be the field of fractions of A, and set J = I·K[XJ. As K[XJ is noetherian,
we can choose a finite set F I such that J is generated by F over K[X]. Let J o be
the ideal of A[XJ generated by F. Then J o s I, so condition (ii) above yields:
114
Thus, P does not satisfy condition (I), and we conclude ,(II') as claimed.
REFERENCES,
[2J M.A. DICKMANN, "On polynomials over real closed rings", to appear in
Proceedings of the Sixth Sierutowice Conference (1979), Lecture Notes in
Mathematics, Springer-Verlag, 1980.
ANTI-BASIS THEOREMS AND THEIR RELATION TO
Pe-te-ft CLOTE
o
Ever since Paris [llJ and Paris-Harrington found sentences IT
2
¢ with intrinsic "mathematical" interest (related to Ramsey's theorem)
which are true but unprovable in first-order Peano arithmetic, deno-
ted P, there has been an extensive search for other independent sen-
tences with "mathematical" (Le. not explicitely meta-mathematical)
content. The purpose of this paper is to separate clearly the recur-
sion theoretic part from the combinatorial aspects in the proofs of
most known independence results (thus simplifying and unifying the
results) and further to suggest that a similar analysis is possible
for the sharp results of Paris [12] on sentences provable with the
schema of induction yet unprovable with the schema of induc-
tion.
Let ID denote the set of natural numbers, let {e}B designate the
Turing machine with index e and oracle B, where B ID. For A,B ID
A B means that there is an e such that
T
]N 1= ¢} • ¢ == ZO(]N).
T 0
n
(ii) for each n 2 2,3 recursive partition F : [lliJ ->- 2
¥ X (X is infinite homogeneous ->- X is not LO).
n
F(a) = F(b) and a < b. If B is the unbounded branch given by the tree
property then F"B has cardinality 1.
The key result for all known independence results for Peano
arithmetic is the following proposition due to Kirby-Paris [5J.
f(n+1) least x E T [x > f(n) and V y J Z > YLx < Z and rank(x) = y]
T
(I, :IRMI) F V X " a (':I y " b ep (x, y , X) <"-+ ':I y " d ep (x, y, X) ) .
3
Since Z is unbounded, F"[ZJ {a}.
Proof.- Let
X E 0' T1(x,x,b
x, 1
) so 0' ,; B. o
T
Let f I I be defined by
1 if such exists
undefined otherwise
A is clearly recursive, the player II can always win and for any
winning strategy a for II
so 0' ,; a.
T
Let V X 3 Y ¢2(X,Y) be the second order sentence expressing
V 3-games 3 a (a is a w.s. for I or II). In a similar way to Proposi-
tion 2 we can show
4. FLIPPING PROPERTY
5. KONIG'S LEMMA
thus insuring that 0' $ B. It will actually turn out that 0' T B - the
T
ai's will be the minimal "witnesses" for the T predicate.
l
For a f 0
o and = a
and V i < £hs-l [S ((s) i ' (s) i+{ 1\ Ve < (s) i (T 1 (e,e, (s) i+l)
o
a least b > a o "i (O,O/b) <-- 1 z T (O,O/z)
l l
V e ,,; n+l.
126
v c (0 < c < c
n+ l
+ (J a' < c
n
S(a' ,c) or 3 e c
n
,(T
I
v c (0 < c < b +
n l
+ (:] a' < b n S (a' ,c) or :] e b I (T 1 (e , e, c)
But V e b
n
V a' b
n
cn,S(a',b n + l ) A. '(S(a',c n + l ) . Hence b n + l = c n+ l . D
and
For a t- 0
a+l
S(a,b) iff a < b and s,; Pa ((S)o = 0 and (s) £hs-l = a
or :! e ,; a i (T 1 (e, e, c) T 1 (e, e, b) )
a+l ,
or j s ,; Pa ((s)o = 0 and (s) £hs-l = a and V l < £hs-l S( (s)i' (s)i+l)
Thus we have
n
Let G : IIJ -.. 2 be a given coded partition. Let
¢ : In -.. [IJn be the bijection given by ¢ (xl"" = ,X
n)
(xl,x l + x 2' ... ,x l + ... + Xn). By induction on n, it is easy to show
that for A ::: In A is n-unbounded iff ¢ (A) is n-unbounded, and for
B::: u r'. B is n-unbounded iff ¢-l(B) is n-unbounded. Suppose, in order
to obtain a contradiction, that V i < m G-l(i) is not n-unbounded.
-1 -1 }
Letting Ai = ¢ (G (L) and A ={(i,xl,·.·,x n) (Xl' ... ,X n) E Ai
it is clear that A::: I n+ l is coded. Let f : I -.. 2 be the coded flip
given by hypothesis. f(i) = 1 for each i < m, since G-l(i) is not
n-unbounded. But then n 0. Contradiction.
i<m l
130
n 1 m th
<F= Let A I +
be coded. For i < 2 let X, be the i subset of
1
n m
{O, ... ,m-1} and define G : [IJ 2 by G(x ... ,x = i iff
1, n)
'" j < m [(xl"'" x E (A ) - E Xi r. By the hypothesis let i < z'"
-1
n) j o
be such that G (i ) is n-unbounded. The desired flipf : I 2 is given
o
if i = i
o
by f (L)
otherwise.
lim F(x ... ,x ... ,sn) lim (lim ... lim F(X ... ,x ... s
1, m,sl, 1, ms 1 n)
sn s1 102 sn
Lemma 13.- For all n " 1 there is a recursive partial function F such
n
that \j e I x
n
1 im lim F (e , xl' s 1 ' . . . , s n ) {e }0 ( X)
sl sn
Moreover, regardless of wether F(e,x ... ,sn) is defined or not, the
1,sl,
computation terminates in a finite number of steps.
n 1
Proposition 14.- For each n " 1 there is a recursive set A c ill + such
that for any flipping function f : ill 2 if \j m n is
1
i<m
n-unbounded then On f.
T
REFERENCES
PeteY' CLOTE
{e : 3 z T (e,e,z)}
l
This insures that 0' :;; A. Since B -A we also will have 0' :;; B.
T T
Stage 1.- List 0 and put the cut marker) above 0, written 0 <*)
Stage s + 2.- Suppose the ordering on {O, ... ,s} at the end of stage
s + 1 looks like
If m - 2 and if
= i e ,; a (T l (e,e,a m+2 )
\f "i (e,e,s)), then
m+l
s * * * *
pu t a m+ l < a m+ 2 < S < ) < b.
Js
If m = i - 2 and ...., \f e ,; a ..-.. T 1 (e, e, s) ), then
s m+l (T l (e,e,a m+2)
put a <* s <*) <* a +2 < * b.
m+l m Js
Here Pt denotes the (t+ l)st prime and (s)i is the (i+ l)st number
in the sequence coded by s. This ends construction.
*
Claim.- R is a recursive total ordering of order type w + wand
satisfies (*).
Proposition 3.- For any C 0' there is a recursive total ordering Rof
order type w + w* such thatT A _ B _ C.
T T
iff x £ 0 II 3 Y < xIy < x II yEO II liz < x (y < Z < x ->- Z £ 0
T T T
(ii) x R=?x'ET.
(i) {Ln(O) : n E lli} is the only infinite branch (hence all infinite
branches are
(ii) 0' B, where B is any set containing at least one index for
T
the characteristic function of each finite or infinite branch in T
and containing only indices for the characteristic functions of bran-
ches in T
l
(iii) 0' B where B is any set containing at least one index for
f, f
T
the characteristic function of each branch in T and containing only
indices of characteristic functions of branches in T.
where x will be the rightmost end node lying below R(Ln(O)) Given
n
0
Stage s+l.We will try to verify (*) for all n s . Inductively suppo-
s, s
se we have defined numbers mS, ... ,m ... ,m all strictly positive
o 1 s
such that
T
s i s s, i s,
s
m
R (L(O)). Indcutively we suppose that
s v e
Now let
i s s + 1, J, s ms+
i
1}
o
o 0
REFERENCES
o
[3J C.G. JOCKUSCH , Jr. and R.I. SOARE : TIl Classes and degrees
of theories. Transactions of the American
Mathematical Society 173, November 1972.
Les structures que nous considererons sont constituees chacune d'une chaine et
d'un groupe ordonne en treillis agissant sur cette chaine. 11 faut signaler que leur
etude est motivee par le fait qu'une telle structure est, dans sa totalite, inter-
pretable, quelquefois avec un nombre fini de parametres, dans la seule theorie du
groupe comme dans la seule theorie de 1'ordre du groupe (cf. : [5J et (61). Les in-
terpretations d'arithmetiques dans ces structures donnent donc des interpretations
dans chaque groupe et chaque treillis sous-jacent.
DEFINITIONS
B - Si f est un automorphisme de :
i) Son support est le sous-ensemble de T, note Sf' et defini par
Sf = {t E T ; f(t) f t}
iv) Nous dirons que est majore (resp. mi nore , resp. : borne) si il existe
t r E T, (resp. : t z E T, resp. : t r et t z E T) tel que, pour tout s E Sf'
S < t
r (resp. : t z < s , resp. : t z < s < tIl.
145
Un groupe sera note AT, ou dit de la forme AT si il est egal a 1'un des quatre
groupes ci-dessus pour un ordre 2-homogene T.
i) Pour tout entier n, G est dit o.n. transitif (sur T) si, quelles que
soient les deux suites {t i ; i n} et {q ; i n} , strictement crois-
santes et de longueur n, d'elements de T, il existe un element 9 de G
tel que g(t i) = tj pour tout entier i n. Tout groupe de la forme AT
est o.n. transitif (sur T) pour tout entier n.
ii) L'ordre de T induit sur G un ordre partiel, que nous noterons par le
meme symbole et qui est defini, pour f et 9 E G, par
Le groupe reticule AT est considere comme une structure d'un langage L(AT)
constitue du langage des groupes LG = { ,e,( )-1} et d'un ou plusieurs des predicats
suivants, equivalents modulo LG : AT+, et <
146
Notations :
11 est clair que, dans le langage de la structure AT u T, les notions introdui-
tes en B ci-dessus sont definissables par des formules du premier ordre ; nous les
considererons donc comme des abreviations de ces formules. Les assertions suivantes,
00 f et 9 sont deux elements de AT - {e}, sont egalement equivalentes a des formules
i) "SfcS
9"
ii) "Sf < Sg" 00 la relation d'ordre entre sous-ensembles de Test definie par
X < Y si x < y pour tout x E X et tout y E Y
iii) "il existe un intervalle I de T tel que Sf < I < Sg ou 5g < I Sf".
que nous noterons : "f et 9 sont separe s ".
iv) "f a un nombre de bosses fini".
Ceci s'exprime en disant que toute restriction de f a, dans 1'ordre total des
supports des bosses de f defini en ii), une bosse dont le support est minimum et une
bosse dont le support est maximum.
Les formules i a iv) sont, parmi celles faisant intervenir des elements de T,
les seules que nous aurons a utiliser. Nous adopterons donc la convention suivante
Toutes les variables et tous les elements apparaissant desormais dans des
formules du langage de AT u T sont dans le domaine de AT. En particulier, toutes les
formules doivent etre relativisees a AT pour etre lues correctement.
DEFINITIONS
ii) une relation d'equivalence E sur D, definissable par une formule de LZ'
qui sera dite interpretation de 1 'egalite de M1 dans MZ.
iii) pour chaque predicat P d'arite r du langage L1, un predicat P' de meme
arite r, compatible avec E dans D, definissable par une formule LZ' qui
sera dit interpretation de P dans MZ'
tels que:
THEOREME
Le modele standard de 1 'arithmetique est interpretable dans toutes les
structures AT u T.
Avertissement :
L'interpretation que nous donnerons sera effectuee dans le cas ou AT = AbT.
11 est clair que AbT u Test definissable dans AT u T sans parametre. 11 suffira
done, pour generaliser cette interpretation a AtT u T, AMT u T et AmT u T, de
relativiser toutes les formules a AbT u T.
Demonstration du theoreme :
Chaque entier n ! 0 sera represente par 1 'ensemble des elements de AbT - {e}
148
Le domaine d'interpretation de w - {a} sera donc defini dans AbT u T par la formule
a variable libre u, que nous noterons"u E w", suivante :
u a un nombre fini de bosses /I vvvv' [( vet v' sont des bosses de u /I v P v') ->- v
et v' sont separesJ.
Notons que si 1 'ordre 2-homogene Test w+-sature (et seulement dans ce cas)
la formule IOU E w" est equivalente dans la theorie de AbT uTa IOU a un nombre fini
de bosses", car deux bosses distinctes d'un meme element sont toujours separees. En
effet les segments de T de cofinalite et co-initialite denombrables sont exactement
les supports de bosses d'elements de AT pour tout T 2-homogene.
2) Interpretation de l'egalite
Nous noterons IOU =w u'" la formule a variables libres u et u' qui interprete
dans AbT 1 'egalite entre entiers. Cette formule doit etre satisfaite par deux elements
u et u' du domaine d'interpretation de w - {a} si et seulement si ils ont le meme
nombre (fini) de bosses.
c)ti<sietti,siES,
u pour 1, ... ,n
i
ou ui, u z,··. est la liste des bosses de u' telles que:
SuI < S I <... < S , .
1 Uz un
Nous noterons "u + U' "w u" " la formule a variables libres u, u' et u" qui
interprete dans AbT la somme d'entiers. Cette formule doit etre satisfaite par trois
elements u, u' et u" du domaine d'interpretation de w - {a} si et seulement si le
nombre de bosses de u" est egal a la somme du nombre de bosses de u et du nombre de
bosses de u'.
[u + U' "w u" est la formule: 3W(W u W-1 et u' sont separes /\ u" -w W U w- 1 u').
11 est tres facile de voir que cette formule convient.
4) lnterpretation du produit
Nous noterons "u x u' "w u'' " la formule a variables libres u, u' et u" qui
interprete dans AbT le produit d'entiers. Cette formule dOlt etre satisfaite par
trois elements u, u' et u" du domaine d'interpretation de w - {a} si et seulement si
le nombre de bosses de u" est egal au produit du nombre de bosses de u et du nombre
de bosses de u'.
150
Si u , u' et u" sont troi s e l emen ts du domaine d' interpretation de w - {a} tel s
que
w
u"
alors
1
il existe un conjugue w u" w-
de u" dont le support est inclus dans celui
1
de u. La restriction de w u" w- au support de toute bosse de u a le meme nombre de
bosses que u'. Le produit du nombre de bosses de u' par le nombre de bosses de u est
donc egal au nombre de bosses de w u" w- 1 qui est aussi celui de u".
1, ... ,n-l
COROLLAIRE.
iii) La theorie des groupes sans torsion dont tout element different de
1'element neutre a une infinite de racines nO pour tout entier n.
sont indecidables.
152
L'indecidabilite de i) est demontree dans [4J celle de ii) est citee dans [2J.
11 est clair que tout AT est modele de ces deux theories.
On trouvera dans [3J les demonstrations des faits suivants et leurs references
originales :
Tout AT est modele de iii) et iv).
Tout AbT est modele de v).
Nous ne donnerons pas ici les demonstrations des resultats, que le lecteur
pourra trouver dans ([5J) et dans un article en preparation.
Notations
Pour tout entier n, pn(w) est la structure definie par induction sur n par:
pi+1(w) = p(pi(w)), ensemble des parties de pi(w) muni de la relation d'apparte-
nance E.
pn(w) est donc le modele standard de 1'arithmetique d'ordre n+1, sa cardinalite
est notee I n.
THEOREME
i) Le modele P(w) de 1'arithmetique du second ordre est interpretable dans
toutes les structures AT u T.
iii) Si T a une famille (resp. : une famille majoree , resp. : une famille
minoree) de I n_1 intervalles ouverts non vides deux a deux disjoints,
le modele pn(w) de 1'arithmetique d'ordre n+1 est interpretable dans
AtT u T (resp. : AMT uT, resp. : AmT u T).
Pour les cas simples ou Test Q, la chaine des rationnels, ou R, la chaine des
reels, il est facile de voir que ce resultat est le meilleur possible. En effet les
structures AQ u R et AR u R sont interpretables dans 1'arithmetique du second ordre,
153
BIBLIOGRAPHIE.
[IJ CHANG C.C. - KEISLER J.H. - Model theory, North Holland 1973.
[2J ERSHOV Yu.L. - LAVROV I.A. - TAIMANOV A.D. - TAITSLIN M.A. -Elementary theories
Russian Math. Surveys (20), 1965, 35-105.
[3J GLASS A.M. - Ordered permutation groups. Bowling Green State University, 1976.
Nouvelle version a paraitre dans Cambridge University press.
[4J GUREVIC Yu. (en russel - Dokl. Akad. Nauk, SSR 175 (1967) 1213-1215.
[5J JAMBU-GIRAUDET M. - des modeles de groupes d'automorphismes d'ensembles
totalement These de 3eme cycle, Paris VII, 1979.
[6J JAMBU-GIRAUDET M. - Lattice theory of lattice ordered groups (abstract).
Notices of the A.M.S. 80 T-A 153, a paraitre. Articles en
LES METHODES DE KIRBY-PARIS ET
LA THEORIE DES ENSEMBLES
Kenneth Mc ALOON
Jean-Pierre RESSAYRE
C.N.R.S., LA 212
Universite Paris VII
Ensuite dans le §3, nous adaptons une des indicatrices combinatoires de Paris,
[P] et une de [C,Mc] a la Theorie des ensembles pour trouver entre autres des resul-
tats d'independance combinatoires relativement a une extension de la Theorie des
ensembles de Godel-Bernays. Cette extension que nous appelons GBK s'obtient en ajou-
tant a GB + E une formulation du principe combinatoire On 7 . Ce principe dote
155
GBK d'une theorie des modeles fort analogue a celle de 1'Arithmetique de Peano, ce
qui permet d'adapter les methodes de [K,PJ et de [PJ. Nous etablissons une liaison
entre les notions combinatoires iintroduites et les cardinaux de Mahlo.
0.1. REMARQUE Les premiers resultats que nous allons etendre, dus a KirbyParis et
a Friedman, sont exposes par exemple dans [FrJ, [PJ, [KlJ, [K2J.
0.2. RAP PELS a) Kirby et Paris ont montre que pour toute theorie recursive T c
00 est le langage de l'Arithmetique du premier ordre, et pour tout modele
ILl' il existe une "indicatrice" pour les coupures (ou segments initiaux) de
qui sont modeles de T. 00 III designe la restriction des axiomes de Peano P, obte-
nue en limitant aux formules le schema d'induction.
c) Enfin Kirby et Paris ont montre comment deduire de (a) un enonce indepen-
dant de P c'est le "theoreme d'incompletude de Kirby Paris", valable plus generale-
ment pour les theories recursives T qui contiennent ILl et sont
* pour les modeles de To, nous definissons un analogue des coupures dans
156
Nous demontrerons dans les §§ 1 et 2 les enonces qu'on obtient en portant les
substitutions ci-dessus dans 0.2 ; plus precisement, la generalisation de 0.2.a est
le Theoreme 1.2, et celle de 0.1, (b) et (c) est le Corollaire 1.8. Mais plutot que
de donner ici 1'enonce detaille de 1.2 et 1.8, nous preferons les illustrer par
quelques cas particuliers.
0.3. THEOREME - Soit Tune theorie dans qui est un ensemble rri
a) Soit rt un modele de KP* + 00, qui est un w-modele non-standard: c'est-a-dire
que les entiers de sont standards, mais contient cependant un ordinal non
standard. Alors il existe une indicatrice pour les coupures de verifiant T ; c'est-
a-dire une fonction Y : 'I1/. 2 -+ On('II/) qui est 6 dans 'Yfl. et te l l e que pour a,b E: rm.,
Y(a,b) prend pour valeur un ordinal non standard si et seulement si contient une
coupure I tell e que a E: reb et IJI1 rr 1= T.
0.4. REMARQUES - a) Un autre cas particulier de 1.3 et 1.8 est celui 00 1'on ajoute
negation de 1'axiome de 1'infini a To et aT; comme deja mentionne dans un N.B.
ci-dessus, vu 1'interpretation reciproque bien connue entre modeles de la Theorie des
ensembles finis et modeles de l'P,rithmetique, To ainsi etendu se ramene a III et les
theoremes 1.3 et 1.8 se ramenent a ceux de O.Z.
b) Un autre cas est celui 00 1'on considere des modeles non w-standards (au con-
traire de 0.3), mais 00 1'on adjoint a To et T 1'axiome de 1'infini (au contraire de
0.4.a). On a alors des resultats similaires a O.Z, pour des modeles dont les entiers
sont non standards, mais quand les coupures se situent dans les ordinaux infinis du
modele.
Enfin un autre cas particulier des theoremes 1.3 et 1.8 etend 0.3 au cas 00 1'on
remplace w par un ordinal a w :
158
0.5 THEOREME - Soit a un ordinal standard, a+ le premier ordinal >a qui est admis-
sible, c'est-a-dire tel que L + satisfait KP. Soit la formule canonique de
a
telle qu'un modele 1ll satisfait if'a+1 s i et seulement s i a est element de rrtL (a
l'isomorphisme pres) ; ainsi en particulier '"1. satisfait 1f(llt1 s i et seulement s i 'IlL
est un w-modele. Soit enfin Tune theorie dans qui est un sous-ensemble 6 de
L et contient
a+
a) Si a est denombrab l e et -m un modele denonbrabl e non standard de To + qa+1'
alors il existe une indicatrice pour T dans V1.
c') Pour tout ordinal a > w, meme non denombrable, si T a un modele standard
contenant a, alors pour tout ordinal S < at, 1'enonce Va 3b Y(a,b) > S est consequen-
ce formelle de T, mais 1'enonce Va vs < at 3b Y(a,b) > S ne 1'est pas (ces deux enon-
ces peuvent etre formules a 1'aide de f at 1 ; les consequences formelles designant ici
les consequences 1'aide des regles de deduction pour [DJ.
b) 0.5 peut paraitre une generalisation gratuite de 0.3. Mais il ne coOte pas plus
cher a montrer que 0.3, et la generalite et 1'uniformite de cette extension de 0.2,
nous parait susceptible de conduire a une nouvelle extension plus interessante, genre
"passage a 1'ordre superieur". D'autre part, il s'en deduit la generalisation qui suit
du theoreme d'incompletude de Kirby-Paris O.l.c :
representable dans les modeles de T ; et soit Y une indicatrice pour T dans les modeles
de T. Alors
theor t e dans ,:;t<X{JJ dont 1 es mode 1es sont 1es extens ions fi na1 es de U, et III (1L) des 'i-
gnant 1 'ensemble des formules III a parametres dans n
et vraies dans !YL.
VB < a fiB) = {u E x
forme une famille inductive lorsqu'elle est munie des morph i smes f RR" ou R et R' E e,
f
RR, E t et (n f RR, est un isomorphisme de la relation R sur une partie transi-
tive de la relation R'. Quand rm est la limite inductive de cette famille, on voit
ai semerit que 'ffL ver ifi e 1es axi omes de To' Moyennant quoi on pourra it reformul er 1e
theoreme 1.9 ci-dessous, d'existence d'indicatrices dans les lTIodeles de theorie des
ensembles, en un theoreme pour les theories arithmetiques, valable dans les modeles
de ATR o'
"tout ensemble est au plus denombrable" + "tout bon ordre est isomorphe a un ordinal".
Noter que To est cependant beaucoup plus faible que ATR o' puisque ses modeles
standards ont pour hauteur n'importe quel ordinal limite.
Pour commencer, nous rappelons quelques notations. Si rrn = (fill, E est un modele
1I1)
quelconque de 1'axiome d'extentionnalite, nous notons la partie standard de
c'est-a-dire la restriction de m a sa partie bien fondee dans V. Comme d'habitu-
de, nous identifions ps(iJ!1) avec 1'ensemble transitif standard qui lui est isomorphe.
En particulier les ordinaux au sens de 111 qui sont elements de ps(m) sont des
ordinaux standards, et 1'ensemble de ces ordinaux standards est un ordinal standard
note qui ales caracterisations suivantes
Sauf indication contraire lorsque nous parlons d'une classe ou d'une definition
60 , 6, I ou IT dans , nous autorisons les elements de m a figurer en parametres
dans la definition. Lorsque A,B sont des ensembles munis de relations EA, EB indiquees
par le contexte, on ecr i t A ce B ou encore "B est extension finale de A", si (A,EA) c
(B,E B) et si de plus A est une partie transitive pour la relation EB.
Une indicatrice pour T dans tI1L est une fonction Y m,,2 ->- On qui est /', dans 'lit et
ver l f te pour tous a,b dans iYtL avec a E b c e IffL :
1.2 THEOREME - Si est un modele denombrable non standard de To' alors pour toute
theorie T qui est representable dans (au sens de 1.1), il existe une indicatrice
Y pour T dans 1n. De plus cette indicatrice Y existe uniformement en : c'est-a-dire
que la definition /', de Y (avec T en parametre) peut etre choi s te t ndependan te de m...
Pour montrer eette consistanee, nous supposons d'abord !If/. standard; alors J1lt
est admissible, est denombrable, et T1 u est une theorie I dans . Par le
theoreme de eompaeite de Barwise, pour que eette theorie soit eonsistante il suffit
que toute partie "!In,-finie" ® de cette theor i e a i t un modele; so i t done ® E fftt
162
tel que @ c T1 u EE(m &). Et soit Bo 1 'ensemble des elements m E rtL tels que
figure dans ® . En interpretant par Bo et par m pour chaque m, on enrichit
en un modele qui verifie T1 par hypothese, et verifie trivialement toutes les formules
de la forme cf m, ou E qui figurent dans 13>. Donc ® a un modele et le lemme est
demontre dans le cas ou est standard.
1.4 THEDREME - Soit c(o/) la complexite de la formule infinie q, definie par les
clauses de recurrence usuelles, notamment c(ww) = + 1. Soit un modele
denombrable de KP*, et w une theorie dans ag w qui est la partie de complexite
1w
standard d'une classe I dans 'lr1. que nous notons e : w = {if'E e ; c(q') < ops(1n)L
Si pour tout @ E !I1t tel que ® c 1 'ensemble @ n W = {Cf E ® : c(Cf) < ops('1I?)} est
consistant, alors w 1 'est egalement.
Nous appl iquons ceci quand w = T1 u EE( i)T1 et e = '(] u EE(1I1 ou T1 = 't n ps(m).
Soit alors (iJl E trT/ tel que @ c e, done ® n pS(1'Y1) = @ n (T 1 u EE('7lt Exactement
comme dans le cas ou 'Yrl e te i t standard, on montre que {<P E <!l': C(if) < ops(llL)} possede
un modele; par 1.4 il en est de meme de T1 u ce qui acheve la preuve du
lemme 1. 3.
1.3.bis - On peut renforcer la conclusion du lemme 1.3, en demandant que soit une
coupure dans 1IL l'
Preuve : Nous supposons d' abord IY11 standard, et nous consi derons a nouveau 1a theor i e
T1 u qui caracter tse les mode l es ?11 1 satisfaisant la conclusion de 1.3. Cette
theorie est I dans 1 'ensemble admissible Vt , elle est consistante par le lemme 1.3,
done elle a un modele 1 qui est I-sature vis a vis de 1 'admissible 1n (cf. [RJ ou
[MaJ pour la notion de I-saturation). Supposons que n'est pas une coupure de :
il existe done y E tel que sup On(mt) = y.
Considerons le type
element u E tel que u > Iv E J1l'L: figure dans liD (v)} satisfait @(lJ) dans 1111,
Par definition de la I-saturation de 111 1 , p(v) est alors realise par y' E 1/11 1 :
ainsi < y' < y, contredisant la definition de y. Donc m est bien une coupure
dans "I1l 1.
Nous supposons cette fois que "I1l est non standard; la demonstration est quasi
identique, la seule difference consiste a construire y-sature vis-a-vis non pas
de rf1l, mais de l'admissible Cov(1lt), dont 1'existence et les propr-i etes sont enoncees
ci-dessous - cf. [BJ.
1. 7 - Pour tout modele non standard .'/V. de KP*, il existe un ensemble standard Cov( 'm),
pourvu des proprietes suivantes :
a) Cov(rTL) est admissible dans un langage ::>:t ; ce permet de def i-
nir, d'une f'acon 1',0 dans Cov(?r/), une structure 1)YL' isomorphe a 1frL(*).
b) Via cet isomorphisme, chaque classe y dans m s'identifie avec une partie de
qui est une c1asse I dans Cov(1n), et reciproquement.
c) De meme chaque element a E trIL s'identifie avec un element a' E Cov(lllL) tel
que COY (rrn) 1= a' c '1n.', et rec i proquement.
Soit donc ml ' modele I-sature vis a vis de Cov(1TL), de l a thecr i e T1 u EE(1l1.,!l.) :
'l7l 1 existe parce que Cov( Ifn) est admissible -cf , 1. 7.a , et parce que cette theor i e
est I dans Covum) -vu 1. 7.b. On montre que !JTI est une coupure de '17C 1 en supposant le
contraire et en considerant y et p(v) comme ci-desus : 1.7.b entraine que p(v) reste
I dans Cov('Tn ), et 1. 7.c entraine que tout sous-ensemble "Cov(i)1l )-fini" de p(v) est
aussi "111. -fini". Donc vu que p(v) est rm -finiment satisfaisable (meme demonstration
que dans 1e cas ou Iff!. est standard), p(v) reste "Cov(m )-finiment satisfaisable" ; et
par I-saturation il est satisfait un element y' de ce qui contredit le choix de
y - fin de 1a preuve.
Pour appliquer ce qui precede, nous avons besoin de la condition suivante sur T
(*) est 1'ensemble des urelements de mais peu nous importe ici.
164
c) Puisque T a un modele standard, nous avons vu en (a) que Test consistant avec
1'enonce Va Va 3b Y(a,b) > a ; et aussi que T possede par ailleurs un modele non
165
standard, car le modele rm 1 construit en (a) possede une coupure donc est non stan-
dard. Soit al ors mt un modele non standard denombrab l e de T ; et soient v,b E IfI1. tels
que v > et Y(v,b) > 1'existence de b resulte de (a). Nous suppose-
rons que notre indicatrice Y(a,b) est croissante par rapport a b : b c b' entraine
Y(a,b) Y(a,b') ; mais si ce n'etait pas 1e cas, le raisonnement cidessous reste-
rait va1ide en utilisant par endroit max Y(x,y') au lieu de Y(x,y). Pour chaque
y'cy
ordinal y, by = b n est element de tl!I ; soit alors y defini par: '1 = rang de b
si Y(v,b) < v, et sinon y = plus petit ordinal tel que Y(y,by) v. Du fait que
Y(v,by) > ops(If11), il existe une coupure I telle que 11= T et vEl c by' Comme
Onm\I est une coupure, i1 existe y' tel que '1' i I ety' < y ; et comme I est clos
par 1'application rang, '1' i I et I c by entrainent I c by" De plus '1' < y entraine
Y(v,by') < v. Ayant suppose Y croissante, nous en deduisons : Vc ElY 'fit (v,c) < v,
d'oO puisque Y est et I c e ,
I VC Y(vc) < v.
I est donc un modele de T ne satisfaisant pas Va Va 3b Y(a,b) > a, ce qui montre (c).
Preuve de 0.3 (a) Soit T une rri dansiCww ; alors Test une theorie L dans
L +' premier admissible contenant to . 11 en est de meme de T u Nw+1 } ; et une astuce
w
bien connue, de Craig, entraine que cette theorie L equivaut a une theorie T',
qui est dans L +' D'autre part tout wmodele nl de KP* + contient L + par le
00
w w
lemme de Ville; moyennant quoi T' est representable dans 'ffL, et T' est representable
dans tout modele de T', au sens de 1.1*. Donc le Theorerne 1.2 s'app1ique a T' ; par
1.2.a i1 existe une indicatrice pour T' dans qui est aussi une indicatrice pour
les «irnode l es de T puisque T' equi vaut a T u {<'f'w+1}'
Reste a voir (c') ; en appliquant la fin du Corollaire 1.8.a a T', on dedui t que
tout wmodele de T verifie Va 3b Y(a,b) > Ou par le lemme de Ville,
166
+
ops( m) " w , d'ou la premiere partie de (e').
Nous abordons la deuxieme partie de (e') et montrons d'abord que pour tout ordi-
nal reeursif 6, 1'enonee Va 3b Y(a,b) > S est weonsequenee de T : on sait que les
ordinaux standards reeursifs sont les ordinaux 6 < w+ ; on a vu plus haut que
w+ $ dans tout wmodele m de T ; enfin par (c) on sait que
IrJt 1= Va 3b Y(a,b) > 0ps(IIll). D'ou resul te , pour tout 6 recurs i f , que Ida 3b Y(a,bl > S
est vrai dans tout wmodele de T, done est weonsequenee de T, vu le Theoreme
d'weompletude.
I 1= vest un ordinal recurs i f !\ vb Y(a,b) < v. Pour eela nous rappelons la preuve
du Corollaire I.S.e : dans eette preuve, a partir d'un modele ft eontenant des ele-
ments v,b tels que v > et Y(v,b) > ops(m), nous avons obtenu une eoupure I
telle que v E I, I 1= T et enfin I 1= vb Y(v,b) < v. Comme I c e JYIL , si le modele 1ll
de depart satisfaisait "vest un ordinal reeursif", eela restera vrai dans I et
achevera notre demonstration. Done eelleei sera terminee une fois justifie le
Preuve du Fait Nous souvenant que les ordinaux standards recursifs sont les 6 < w+
nous posons TI T U {Cf w+I !\ est recurs if !\ S < !\ S < ; 6 < w+}. Cette
theorie T1 est L dans 1'admissible L + ' et elle est L +finiment satisfaisable. En
w w
effet soit @ c T1 tel que ® E L +' et soit 60 < w+ majorant tous les ordinaux 6
w
mentionnes dans (jJ) • Nous obtenons un modele de (jJ) en prenant un «imode 1e 'mo de T
(il en existe par hypothese), tel que 0) = w+ (e'est possible par le lemme
1.3.bis). 911 0 contient w+, done 60 E 1Jt o ; et par (c) on trouve bE 11 0 tel que
167
(1110 )
Y(r3 0 , b) > ops(m). A10rs s i l'on pose v b, on obtient un modele
de ®.
La preuve de 0.5 est tout a fait semb1able a ce11e de 0.3, et ce1le de 0.6 a celle
que nous donnerons du Theoreme 3.7. Nous omettons ces deux preuves.
Notre analyse inductive consiste a montrer d'abord une partie du theoreme de forme
norma1e de Svenonius-Vaught (cf. [SJ et [VJ), qui ramene notre probleme d'enrichir
en modele de 't% a un "jeu ferrne" GO. Puis a faire 1'analyse ordina1e bien connue de
ce jeu ferme. NOus rappe10ns ces constructions pour en disposer sous une forme adequa-
te a leur re1ativisation a un modele m d'une theorie des ensembles faib1e , relati-
visation qui sera faite en (B).
HI
If x 1jJ(x) E <p =7' (1jJ(a)
HI I . a j\'<,i'j! 31jJ
E <p =? E 'j!: 'iJ ( <p
Alors <p possede un modele M' tel que M' t;c = M. Inversement, si M' est une ex-
tension de M a alors la theorie <P de M' dans S verifie HI et HI I.
Si : est sousforme normale, ce que nous supposons desormais, enrichir Men mo-
dele de revient donc a construire une theorie ¢ dans S, contenant et verifiant
HI et HI I ; notre but dorenavant est d'etudier cette construction de <P, dans le cas
00 Met 't' sont denombrab l es , donc <P peut etre mise sous la forme d'une suite,
<p = ; nEw}. En vue de construire <P, nous definissons 1'ensemble GO qui est en
gros celui de toutes les suites qu'on obtient en essayant de choisir dans S
les n premieres formules de <P, tout en a satisfaire les conditons de
Henkin pour <P (lorsque n est pair, est choisi en vue de satisfaire une partie de
HI' et de meme pour HII.a ; ceci n'explique pas toutes les particularites de la
definition de GO, mais elles s'eclaireront plus loin)
(I) ... est dans GO si et seulement si une des conditions suivantes est
realisee :
(II) Moyennant quoi, ... est dans GO si et seulement si toutes les condi-
tions suivantes sont realisees :
169
Ayant ainsi defini GO, nous voudrions obtenir notre theorie ¢ en choisissant suc-
cessivement Cf'o"" de maniere que pour chaque n, soit toujours dans
GO ; la difficulte est que certaines suites de GO n'ont pas de prolongements. Ceci
amene a repartir les suites de GO en des classes GV (v ordinal standard), suivant la
richesse en prolongements de ces suites :
2.3 DEFINITION DE GV - GO est defini et pour v > 1 les elements de GV sont des
suites E GO mais dont la longueur nest toujours paire, et qui obeissent
a la clause de recurrence :
V
il existe tel que qo"" ,Qn+l E G '
(En termes imprecis, les suites de GV sont donc celles que 1 'on peut toujours prolon-
ger une fois en une suite de GV ' pour n'importe quel v' < v).
GO = U GO).
a<ops(lIrt) a
v)v<).1 est definie dans par la meme clause
b) Ayant fixe a < ).1, la famille (Ga , ,
de recurrence 2.3 que (G v), mais en rempla<;ant GV , GV dans la clause par
Les axiomes To verifies par permettent de montrer que pour tout a, la famille
est element de tTI/, et que quand z;" est fixe, a parcourt u et M parcourt rm,
cet element de IfI/ est 6 de f i ni ssabl e dans 1It1, uniformement en a et en M. En effet,
la forrnule qui definit est 6 0 , et de meme la clause de recurrence pour est 6 0
on a a10rs essentie11ement a appliquer la 6 0 comprehens i on et la 6 o i nduct i on.
Nous posons a lors = sup {v < u : Gvv f- o}; Y est donc une fonction 6 dans 'm.
Preuve: Nous supposons Y(M) > ops(lJlt) il nous est donc possible de choisir (en
se pla<;ant hors de une suite infinie decroissante d'ordinaux de rm. :
Pour 1a suite nous 1a supposons indexee par les entiers pairs seulement. Soit alors
,fP n " " une suite de formules telle que pour tout n pair,
v
n 1 de plus <f est choisi en appliquant la "s trateq i e" SI cidessous,
'f o " " ,(Pnl E Gv ,
n
nl
171
que comme v n+1 < vn-1' la clause de recurrence 2.2.bis, qui lie et pour v' < v,
permet toujours de choi s i r Ifn+1 ainsi.
FAIT - L'ensemble l' = {Cf n ; nEW} contient 'tet ver if t e les conditions de Henkin
HI et Hrr ·
Preuve du Fait: Le fait que l' contient et verifie (HI) resulte aisement des con-
ditions (I) dans la definition 2.2.bis de jointes a. la strategie 51 utilisee
pour construire 1'. Et la condition (H I I) resulte aisement des conditions (II) dans
les definitions 2.3.bis de et de la strategie 511 utilisee pour construire 1'.
En vertu du lemme de Henkin 2.1, t1 s'enrichit en modele de 1', done de't, ce qui
montre une moitie du Theoreme 2.4.bis. Pour voir la reciproque, supposons que Ms'en-
richit en un modele M' de et soit l' la theorie de M' dans 5. Alors l' verifie HI
et HII par 2.1 ; par i nducti on dans l' uni vers standard, i 1 es t faci 1ed' en deduire
que pour tout v < ops(m), 1'ensemble GvV est non vide (en effet il contient les suites
CPo"" ,i'fn qui respectent les conditions (I) et (II) de la definition de GO, et qui
sont prises dans 1'). Autrement di t , Y(M) ':> ops(i)IL), ce qui entraine Y(M) > ops(t)11),
achevant la preuve.
lei nous donnons des "gigantisations" de certains des resultats combinatoires qui
proviennent de 1 'etude des indicatrices par les modeles de 1 'Arithmetique de Peano
Il s'agit surtout du resu l te t de Paris qui est l'exemple 1 de [P] et, dans une
moindre mesure, de ceux de [CMc] et de [PHJ. Citons done le resultat de Paris
LE THEOREME DE _PARIS
__.,_._ .. Par recurrence sur n on definit la densite d'un ensemble X
fini d'entiers : X est Odense si IXI > min X + 3,00 IXI denote la card i nal t te de X,
et X est n+ldense si pour toute partition P : [XJ 3 2 il existe Y s X, Y ndense
et homogene pour P. Soit A(n) la formule Va 3b ([a,b] est ndense) ; alors pour tout
entier standard n, A(n) est consequence de 1'Arithmetique de Peano P, mais Vn A(n)
ne 1'est pas, en effet
Nous donnons une transcription presque litterale de ce resultat lorsque les en-
tiers sont remplaces par les ordinaux, et les modeles de P par ceux de la theorie des
ensembles. En effet par recurrence sur les ordinaux, nous definissons la densite d'un
ensemble x d'ordinaux :3x est Odense si Card x Imin x ; x est ydense si pour
toute partition f : [x] 2 et tout y' < y, il existe y c x, y'dense et homogene
pour f. Et nous designons par A(y) la formule Va 3S ([a,S) est ydense).
On remarque que si K est un cardinal faiblement compact, alors toute partie non-
bornee de K est adense quelque soit a E On ; ceci se verifie aisement par induction
sur a en utilisant le fait que K (K)r
qu'un cardinal fortement inaccessible K est a-Mahlo si, pour tout y < a,
{\ < K : \ est y-Mahlo} est une partie stationnaire de K.
THEOREME 3.8 - Soit GBK la Theorie des classes de Godel-Bernays avec 1 'axiome E du
choix global plus l'axiome : On -7- qui s 'enonce,
RE( rn) e tant la theor i e naturelle dans z' dont les mode l es sont les extensions en
oow
rang de n (voir [K,McJ), et HI( n) etant i: ensemb 1e des formul es IT 1 a parametres
dans 1) , qui sont vrai es dans n .
a) Par la sui tev z'" des i qner-a le langage de la theor i e des classes, et Ifn- * un
de dont la collection des ensembles sera V, celle des classes notee
;f(V) , enfin dont 1 'appartenance sera no tee E : rm.* = (V, rs (V), E) .rm* e tant donne,
soit JC le langage de la des ensembles auquel on adjoint un symbole de
relation pour chaque classe X E1(V). On note alors flIl le mode le !fn. * trans forme
de l a marriere evi dente en rnode l e de !£ : rm = (V, ciV, (X)XE's'(V)) (On sait qu'alors
!In * F GB rm 1= ZF (M )) .
3.1. LEMME - Soit IlfI * = (V, ,E) un mode l e denombrabl e de GBK, et soit
fJn = (V,E,(X)XE'Jl(V)) l e mode l e de assoc i e ; i1 existe un mode l e
»,
'1Tl c
1
et de
!JIJplus v« E On'll! v:
= (Vl'El'(X 1)XE'P(V)) tel que
1TI O<iJI1 , /}1]1 est extension en rang de !Jfl (c'est-a-dire:
1
= V:1), enfin $1 est extension conservatrice de I!/l
(c'est-a-dire pour tout ensemble Y definissable dans '1Tl l' Y n V 1'est dans
3.2 THEOREME - 5i rm * est un modele de GBK, alors pour tout y < ops( ?!1*),
qn * 1= Ifa 3S : [a,SJ est y-dense.
Preuve: Nous supposons m* denombrable, car le cas general s'en deduit par le
Theorems de Loewenheim-5kolem. Nous notons 1J!l1 une extension de fil* verifiant
(3.1) ; a l'aide de m? l' nous allons montrer, par induction sur y < ops(,m)
rm 1= 3x c X (x est y-dense) ,
50it X un ensemble ou une classe propre d'ordinaux. Par un arbre T sur X nous
entendons un ordre partiel x < y tel que
T
(i) {x : x Txo} est lineairement ordonne par Tet (ii) x Ty x < y. On definit
alors le rang de y E X, note Py, en posant py egal a 1 'ordinal isomorphe a
T
{x : x y} ; on pose pT = sup {px : x EX}. Nous notons Ta {x: px < a}; nous
disons que T est un arbre de Koenig sur X si pour tout a < pT, ITal < lXI, ee qui
176
signifie dans le cas 00 X est une classe propre que chaque Ta est un ensemble.
Les notions de niveau et de branche d'un arbre se definissent comme d'habitude.
L'enonce LK est une version du Lemme de Koenig qui affirme que On a la "pr-opr i ete
de l'arbre", voir [Dr1.
(ii) GB + E + On + (On)mn , m ? 3, n ? 2.
(iii) GBK.
Pour toute paire m,n d'entiers, nous pouvons definir la notion d'ensemble a-dense
(m,n) en analogie stricte avec la definition que nous avons donnee d'ensemble a-dense
qui est le cas m = 3, n = 2. De meme, peut-on definir une notion analogue inspiree
par le Lemme de Koenig: disons qu'un ensemble X d'ordinaux est O-large si
Ixi ;>jmin X et que X est a-large si pour tout arbre sur X et pour tout S < a soit il
existe un niveau de l'arbre qui est un ensemble S-large soit il existe une branche
de 1 'arbre qui est S-large.
3.4 THEOREME - Soit 171* un modele de GBK alors pour tout y < osp( 111. *); nous avons
Dans la definition et les trois resultats qui vont suivre, nous supposerons
que 111 es t un model e de ZFC (ou de ZFC (Z) pour un 1angage denorabrab 1e ;z:: donne).
Mais le lecteur pourra s'assurer que les preuves des resultats en question restent
valables quand 111 satisfait une partie finie suffisamment riche de ZFC -que nous
notons ZFC N, sans preciser laquelle.
Pour tout segment initial propre I de , nous notons VI et VI+1 les collec-
tions U V'm. et Ix n : x E flfI l , et des i qnons par 1)]111+1 le modele (VI 'V I +
1
ad a
de la theor i e des classes. Nous disons que I est une coupure forte de m si
If!) 1I+1 1= On -* et s i pour tout ensemble x E 1f!I,
3.5. LEMME - Soient m un modele denombrable de ZFC et I une coupure forte de 111;
alors i l existe un modele m1 tel que I'ffI 0( 1J"f/ 1 , 111 1 est extension en rang de VI'
l'extension trn 1 est conservatrice sur I (c'est-a-dire Vy E rR 1 ' Y n VI E 1'ftI1I+1),
enfin 1ffl1 contient un point c tel que I < c < On \1.
3.6 THEOREME - Si If/! est un modele denombrab l a de ZFC et I une coupure forte de PI,
alors
a) pour toute partie X de VI' def i nissabl e dans /)/J1I+1, i l existe y E iT!I tel
que X = Y n VI.
b) 177tI+1 est un modele de GBK (reciproquement, si /)/J tI+l 1= GBK, il est trivial
que I est une coupure forte).
La preuve de ce theoreme, basee sur 1'utilisation du Lemme 3.5 est toute semblable
a la preuve correspondante dans le travail de Kirby et Paris, [K.PJ et [KJ et nous
l' omettons .
3.7 THEOREME - Soitm un modele denombrable non standard de ZFC, et soit Y la fonc-
tion de [OnJ 2 -* On definie dans m par: Y(a,b) = max(y $ b : [a,bJ est y-dense),
pour tous ordinaux a < b de I . Alors Y est une indicatrice pour les coupures fortes
178
de m, au sens suivant : pour ops(l)l1 ) < a < b, on a Y(a,b) > ops(1l71 ) si et seulement
si il existe une eoupure forte I telle que a I et I < b.
Preuve: Supposons ops( 'n1) < a < I < b, et I eoupure forte. En appliquant le thecre-
me 3.2 a. 111 II+I (ee qui est permis, puisque par 3.4 rrrJlI+I est un modele de GBK),
on obtient, pour tout ordinal Y < ops(@), un ensemble Y E VI' tel que y c I\a et
y est ydense dans Comme y c [a,bJ et est extension en rang de
[a,bJ est ydense dans Ceei montre que Y(a,b) > e'esta.dire une direc-
tion du theoreme.
Dans 1'autre direction, supposons ops(!h1) < a < b et Y(a,b) > ops(I)1)). Soit (fn)nEw
une enumeration des partitions f : [a,bJ 3 2 de ; et soit Yo > YI > ••• une
suite infinie decroissante d'ordinaux non standards de tels que fa,bJ est
Yo+ldense. Par recurrence sur n, on eonstruit une chaine decroissante (xn)nEw d'en-
sembles tels que pour tout n, xn est homogene pour f n : 1 'existence de xn+ 1 est imme-
diate, par definition de la Yndensite. Soient alors an = min xn' et bn = max xn.
Pour tout c E Jan,b n[, en considerant PEW tel que f p est la partition [a,cJ,
lc,bJde [a,bJ, on voit qu'il existe p tel que a p > C ou bp < c. Ce qui entraine que
n [an,bnJ eontient au plus un point et definit un segment initial de f/(I:
n
I = Ua=
n n n n
n b . Alors I est une coupure forte; en effet supposons x c 111, x eofinal
dans I. Par construction, il existe PEW tel que x n [a,b] c xp' et puisque xp est
Ypdense, a. fortiori Idense, card x 2 card xp > J mi n x J
mi n x. D'autre part si
n'
F : [1]3 e 2 est une classe de !JIII+I, il existe n tel que F = fnii ; done xn n I
(qui est une classe non bornee dans I) est homogene pour F. Ainsi satisfait
ce qui acheve la preuve.
3.8 THEOREME Pour tout entier standard n, la formule A(n) = Va 36([a,6J est ndense)
est consequence de GBK ; cependant la formule vn EW 36 (fO,6J est ndense) ne 1 'est
pas. En effet ZFC Vn E W 36([0,6] est dense) Cons(GBK), 00 Cons(GBK) est la
formule exprimant la consistanee de la theorie GBK.
Preuve: Le premier resultat suit du Theoreme 3.2. Pour voir le second, considerons
un modele de ZFC + Vn 36([0,6J est ndense). Par les theoremes de Loewenheim-
Skolem et de compacite, eontient un modele denombrable non wstandard de
ZFC N + (vn 36,[0,SJ est ndense). Soient 6 E On'ITI et P E w'm tels que 'l1J 1= [0,6J est
pdense, et'n 1= p est non standard. En appliquant le theoreme 3.7 dans i)l, on obtient
dans !JL une coupure I de rm, telle que '11i tI+I 1= GBK ; done iJL 1= Cons(GBK).
C.Q. F. D.
179
3.9 THEOREME - ZFC 1- A+-->- l-Cons(GBK + RE), ou A est l'enonee \fy A(y) avec
A(y) = \fa 3S ([a,S] est y-dense) et ou l-Cons(GBK + RE) est 1 'enonee qui exprime la
oo-eonsistanee de RE + GBK + ITji(V).
Preuve : Soit '/)/ un modele de ZFC et de l' enonce \fy A( y). Nous P1acant dans ifL, nous
definissons pour tout ordinal A la theorie RE(V A), dont les modeles sont les exten-
sions en rang de VA ; et nous notons IT(V A) 1 'ensemble des formules ITT a parametres
dans VA qui sont vraies dans notre univers. Nous devons montrer l-Cons(GBK + RE),
e'est-a-dire 1 'enonee : pour tout A, la theorie GBK + RE(V A) + IT(V A) est oo-eonsis-
tante. Notre univers satisfaisant ZFC, toute formule finie vraie dans 1 'univers Y
possede un modele. Nous appliquons eeei avec pour q la formule SatN(ZFC N + A + RE(V A)
+ IT(V A)), au Sat N est une definition de satisfaction dans V pour les formules de
ltoo,w de comp l exi te N ; nous obtenons ainsi un modele 1/71 0 E If/. de ZFC N + A + RE(V A) +
IT(V A) (A ordinal fixe de ). Nous passons a une extension booleenne dans
laquelle VA est denombrable ; dans la theorie ZFC N + A + RE(V A) + IT(V A) est
denombrab l e et a un modele ff!/ o' E11e a done un modele denombrabl e non standard Iftt.
Puisque 1= A, @ possede un intervalle [a,SJ de densite non standard et tel que
A < a ; et par le theoreme 3.7 applique dans ifL', eet univers eontient une coupure
de m, telle que a < I et Iff) II+l 1= GBK. Puisque A < I et Iff1 1= RE(V A), on a aussi
rI+l RE(V A) ; enfin puisque IT(V A), et eette theorie est eonstituee de for-
mules ITi, pres ervees quand on passe de !'ff/ a IJTi II+I, on a ?Ii rr+l 1= TI(I/A)' Done t171rI+l
satisfait la theor i e GBK + RE(V A) + IT(V A) ; et rn satisfait l'oo-eonsistanee (formelle)
de eette theorie pUisqu'elle possede un modele dans une extension booleenne de
Ceei montre une direction du theoreme.
En sens inverse) soit i7I un model e de ZFC + I-Cons(GBK + RE) ; et supposons l' enon-
ee A faux cependant : il existe y et a tels que , \fS([a,S] n'est pas y-dense).
Soit A > max(y,a), et soit rm * un modele de GBK + RE(V A) + IT(V A) - m* existe au moins
dans une extension bool eenne 1ft' de !II.-, puisque la theorie ei-dessus est formellement
eonsistante dans 1 . L'enonce \fS([a,SJ n'est pas y-dense) est dans IT(V A), done est
vrai dans 911 *. Mais d'un autre cote, par l e theoreme 3.2 applique dans tn' en notant
que y < ops(nI ), rm* satisfait \fa 3S([0,Sl est y-dense), qui contredit le precedent.
enonee. Cette absurdite montre que doit satisfaire A contrairement a notre
supposition, et eeei acheve la preuve.
Enfin, voici quelques resultats qui relient les ensembles a-dense et la hierar-
chie de Mahlo.
T
ii) x Ty Tu TV=} P(X,y,u) P(x,y,v)
11 s'agit donc d'un arbre de Koenig sur X. Soit r: Ky K : r \;: 0). Alors
1'image est close, cofinale dans K. Soit alors K' un cardinal de type
qui est un point fixe de 1'enumeration de if". Alors TK , K' n X. Soit v,o un point
de T de rang K' et soit X' = {x : x < U } ; alors X' K' et X' est non-borne. Posons
Q : [X'J
2
2: (x,y) r T 0
P(x,y,uo)' Soit T' l'arbre sur X' qu'on associe a la f'acon
dEruds-Rado a Q; on trouve alors K" < K' qui est S.S-Mahlo et tel que T' ,, = K"n X'.
K
Soit alors Vo un point de T' de rang K" et soit X" = {x : x T' vo} ; X" est donc
cofinal dans K". Finalement, on pose R : XII -+ 2 x Q(x,v
o)
r
et on trouve XIII X",
X'" non-borne dans K" tel que Rest constante sur X"'. La partie X"' est homogene
pour P et S-dense par 1'hypothese de recurrence.
C.Q.F.D.
3.12 THEOREME - Pour tout ensemble X a+1-dense (4,2), ma+1(X) est soit faiblement
compact, soit a-Mahlo.
181
<C ," 5 U
13,,5Z<C13
P(x,y ,l ,u) si C 5 X,y < C + 5 l,U
13 13 1
P13+1(x ,Y ,l, u) si x < C 5 y,l,U < c +1
13 13
0 si C 5 X,y,l < c13' 5 u
13
Soit H homogene pour P et a-dense. Puisque H s X, H n'est cofinal dans aucun cardinal
faiblement compact. De plus, nous disons que H n'est cofinal dans aucun cardinal
a-Mahlo. En effet, pour 13 < 13' on ne peut avoir a la fois IH n [c 3 et
13'(13+1)1
IH n [c 13' ,c 13'+l) I 2. Supposons donc que [H n [c 13,c13+ 1) I 5 2 quel que soit
13 < ma+1 (X). Par le choix de Q, [H n ma+1(X) I < ma+1 (X), mais par la construction
R C ce qui entraine la contradiction cherchee grace au choix de C. C.Q.F.D.
Alors GBK [- \fa 313 Fn(a) = 13, quelque soi t nEW. Par contre nous avons
C\l
3.15 THEOREME - les theories ZFCM<w et GBK ont les memes consequences IT 2.
Dans ce chapitre nous n'avons "gigantise" que deux des principes combinatoires
lies aux indicatrices pour 1'arithmetique. Dans [Mc,2] il est prouve que le premier
cardinal K tel que [O,K] est I-dense est fortement inaccessible, mais nous
n'avons aucun resultat a part des bornes superieures evidentes sur la taille du pre-
mier cardinal A tel que [O,A] est I-dense (m,n) pour m > 3, n 2 2 ou meme m = 3 et
n > 2 et nous ne savons pas si pour n > 2 dans ZFC on peut 1'existence de A
tel que [O,A] est I-dense (2,n). Ces questions sont evidemment liees a 1'indicatrice
de Paris-Harrington, [P], [P,H]. Or, si on essaie, au moins de la maniere la plus
naive, de "gigantiser" les principes combinatoires de 1'Exemple 2 de [P] 00 du second
exemple de [C,Me] on trouve des enonces qui sont prouvables en GB + E. En revanche,
la notion d'arboricite de Mills, [Mi] et celle de la flippabilite de Kirby [K,3]
doivent donner des resultats analogues a ceux de ce chapitre. 11 serait aussi interes-
sant de s'avoirs'il y a une notion de grand cardinal qui est l i ee a une theor ie telle
que GB + E + vm,n On ou si des cardinaux de Mahlo de classe transfinie
pourraient etre lies a des principes combinatoires dans lesquels, par exemple, on
pose: X est O-super-dense ¢=;> X est min X-dense (3,2), etc ...
BIBLICXJRAPHIE,
[B] J. BARWISE - Admissible sets and structures, Springer 1975.
[Kr,McJ J.L. KRIVINE et K. MC ALOON - Some true unprovable formulas of set theory,
Bertand Russell Memorial Logic Conference, ed. Bell , Uldum 1971.
[PJ J. PARIS - Some independence results for Peano arithmetic, JSL (1979).
Angus Macintyre*
exponentiation?
A word W(x •...• xn) can be canonically transformed. using the universal
l
Horn axioms for fields, to a rational function so that in any
field W(a ... , an) is defined if and only if q(a l •••.• an) O. An
l,
identity r(;) = s(;) of rational functions can be effectively tested,
When one adds some form of exponential function to the list. one
g(x,y) so (x 2) y is total.
decide if
-+
W(x) _ Vex) onlR,
.... ....
in the sense that for all values a for which W(a) and V(a) are both
defined, =
My main result gi.ves the existence of a primitive recursive procedure
show also that if Wand V are totally defined then W = V if and only if
.... .... ....
there is no a in l with W(a) # V(a). So the exponentiation laws for R
I have not been able to show that all identities are formal
consequences of the obvious ones. My proof uses calculus, and no "free field
The key idea comes from a 1912 paper [HI) of G. H. Hardy. Richardson
one variable. I did not know this paper in 1976 when I found my results,
during a stay at the Institute for Advanced Study. I gave lectures on the
That the material is now written up is due to the urging of Harvey Friedman,
§l. 1.1. Terms. For technical reasons, I define two classes of terms,
operation symbols +, -
•
There is an additional 2-ary operation-symbol g. The class of
i) 0, 1 are a-terms;
i) 0, 1 are R-terms;
is undefined at a .
1.2. Evaluating terms. Let a be a mapping from the set of variables into
is defined to be
is undefined.
188
a-terms i) 0° is defined to be 0,
1° is defined to be 1;
0'
ii) v is defined to be O'(v) , if v is a variable;
undefined;
a -1 0'
if T is defined to be r , and r .;. 0, then (T) is defined to be
-1
r
iv) i f either T
o or o
is undefined, so are (-r; + j.l-)o, (-r; - u) 0,
j.l-
c
e>1. log I-r; °1
Or
° and
0
Note: Why do I not define (for r f 0) as 0 = 1 There
1. If one makes both of the above conventions, then the decision problem for
My analysis below, converting a-terms to R-terms and using real (and even
if -r
0
is defined to be r, and r .,. 0, then
(log 't)o is defined to be log Irl
0
if -r is defined to be 0, then (log 't)o is undefined.
Definition. 't = iff for all ° either both 'to and are undefined,
functions. I use a minor variant of his method to get upper bounds for
It is clear that order is effectively computable. Note too that the class
-1
of terms of order n is closed under +,-,
Following Hardy, I use the subscript n to indicate that a term is
is of the form
O.
exponential.
Proof. Clear.
(d) 2- f
ox n
is of order :: n ,
Proof. Formal o
for all f
n
of logtype ( \, .
VII. Prove for all rational f
n
.
more than d (x, ,) points a in I with ,( '1.' ...• ai_I' a. ai +l, .•• , a n)
defined as O.
-+
Remark. For example, if ,a ,(x, y) and , is total, the theorem says
-+ -+
that for any a if ,(x, a) has more than d(x,,) roots then ,(x, a)
The above theorem is best proved at the same time as the next one.
(If the reader finds this implausible, let him recall that log x is
defined (in this paper) for all X" 0 (as log Ixl »).
The functions d and s are constructed by simultaneous recursion on
-1
I. of order O. Find effectively polynomials f and g with, - f·g
[1)
_ 0' [I] [I] n-l
Let 0 1 • d Ix , f e ). Remember that fn -0'
n-l e
has
n n-l
lower type than f
n, [lJ
[1] n-l
We pass now to the other alternative. that 0' n-l e has no more
n-l
so for all x in I e In this case, if A =0
fn is identically zero on I, and otherwise f has no more than 5 roots on
n
1.
(5+l)'(d(x, + 5
roots on I.
Pulling together the estimates for the various alternatives, one sees
argument is very similar to that in IV, but with some extra complications.
-+
Fix I. a as before.
+ sex
,
1:[j])
n-l
+ L d (x 1: [j])
, n-l
-1 a
Let jn = gn ( Pn-l e ) jn and . jn are of log type ::: A..
ax
a k
ax (log 't" 1 ... (log 1: is of logtype ::: A. • So .2. h
ax n is
::: a
(A) hn has (5 + l)(d (x , ax gn) + 1) roots in I, or
(B) on a subinterval 1
1
of I, hn is constant.
VI. 1: is f
n, where f is integral of logtype ( A..j.L + 1).
n
The argument and ensuing definitions are not much different from
those of V, and are left to the reader. The formal idea is in Hardy [HI].
§4. Laws of Exponentiation. The preceding theorems give a method for testing
seek maximum generality. and my result certainly does not exhaust the resources
of Theorem 1.
§5. Concluding Remarks. The most interesting problem provoked by the above
is that of showing that there are no "exotic" laws, Le. that every law is a
y+z • x y z
x x
yz
x '" (xy)z
(xy) z '" x z z
y
REFERENCES
(M. Margenstern)
sOlutions.
nombres.
recursivement enumerables.
cette reduction.
I. Le theoreme principal.
naturels.
Enfin nous dirons qu'une relation sur des entiers positifs est
representation diophantienne.
tiennes. Ce qui est suffisant puisqu'on sait que les fonctions recur-
nombre fini d'entre elles sont vides. La machine dispose d'un nombre
fini d'etats des ignes par Eo, ... ,E E etant l'etat de depart et
m, 1
E l'etat d'arret de la machine.
o
La machine transforme Ie mot ecrit au depart sur la bande par
la case vue par une autre. Puis la machine passe a une des cases ad-
jacentes a la case vue. Elle effectue ces deux operations selon des
suivante :
202
E,a-->bE,U (1 )
l J
si a * alors b = * et U = D • E,
l
a est appele couple d'entree
et b E, U , triplet de sortie.
J
En vue d'arithmetiser Ie fonctionnement de la machine de Turing
tion (2a), la case vue est celIe qui contient la premiere lettre du
vide) et dans (2b) la case vue est celIe quj contient la derniere
lettre du mot /', (ou la premiere case si Ie mot /', est vide), la
exemple, l'instruction
E. a -'> b E. D
l J
L.,M.,S.,T.
l l l l
E {a , ... ,a
0 nom
,E , ... ,E ,E 0 , ... ,Em ,*}
Considerons maintenant une machine de Turing IK et un mot M
eeux de la forme S.T. Cela se veri fie sans difficulte par Ie fait
1 1
A
1
E , ...
= A U {-" <-E
o m ' o'···';n
,E
<-E-}U{B B C
t ' ••• , e' 1'·'"
C}U{}
e * tels que
1.2 Arithmetisation.
alors a etablir que les relations entre les codes sont exponentielle-
ment diophantiennes ainsi que la relation unaire "n est Ie code d'un
1 si Q. = F.
(
1 J
X· .
1J
0 si Q.
]-
t F.
J
r
o
et r. =X
i j 2=i-1
,de sorte que si on ecrit r . en base 2 , on
J
i=1
J
obtient "la fonction ce r ac't.e r i.s t.Lquc " des occurences de F. dans Ie
J
mot R.
206
aux memes places. II est alors clair que < r r l ' ... r > est Le code
o' k
d' un mot R dans A si et seulement si
1
tiellement diophantienne.
on va etablir que :
y)
xC y < (x: '=' 1 (mod 2) (avec la convention = 1) (8)
(2 m) .I _ 2m.(2 m1 ).(2 m2) ... 2k .(2k 1 )(2 k 2) ... 4.3.2
m. m k k
E (2 (2 2) ... 2 . (2 2) ... 4.2) =
E(2.2 m1 .2.(2 m1 1 ) ... 2.2 k1 .2.(2k1 1) ... 2.2.2.1)
E( (2 m 1 ) 1) + 2 m 1
E ( (x+y)) = E ( (x+y) ! ) - E ( x l ) E (y 1 )
x
s
on a (c£. [10J) '. E«x+y)) = Z ( 01, +",
" -Y, ) .
x i=1
208
En outre (x+y)
x
=1 (mod 2) equivaut a E( (x+y)) =
x
° . On d emorit r e
par recurrence sur s que r==
i=l
s
l
,_v,)
l l
= ° si et seulement si
plus petit indice i pour lequel Q', +13, -y, =-1 si et seulement
o l
000
l l
exponentiellement diophantienne.
b
Theoreme 2 [Matiyassevitch] : La relation c = a est diophan-
tienne.
tien egal a G .
che des solutions de P(a , ... ,a Y1' ... 'Yn} = 0 est descriptible
1 k,
par une machine de Turing : la procedure consistant a calculer les
valeurs de P(a •. ,ak ' Y1'··· 'Yn} par recurrence sur I Y1 1+... +1 Ynl
1,·
est parfaitement effective et montre que l'ensemble ? defini par:
<a 1,···,ak > E <$<==} 3Y1 ... Yn P(a ... ,a Y1' ... 'Yn} = 0 est recur-
1, k,
sivement enumerable, puisqu'il est le domaine de convergence d'une
machine de Turing . •
par la suite.
tels que
admet
une
solution
2 2 d est un carre,
Considerons l'equation de Pell x -dy = 1 si
de la forme
2 2 2
x (a -1)y = 1 ou a> 1 (1)
avec x,y > 0 peut etre ordonne en une suite strictement croissante
suivant y.
211
0'+13 Va 2-1
on associe Ie nombre qui est une unite de l'anneau
2-1 2-1 E 2-1
2[Va ] si S=u+v Va 2[Va ] , on lui associe son conjugue
2-1 u 2_v2(a 2_1) . Les unites de
= u-v Va et sa norrne N( S) =
2-1]
Z(Va sont les elements de norme +1 au -1. Les solutions de
En effet: Q'2 1+S 2(a 2_1) ==910'1> 1131 Va 2-1 . Comme 0'2_ 132(a 2_1)=1
2-1, 2-1,
unseuldesquatrenombres 1001+!sl Va 10'1-1131 Va
-IO'[ + 1131 Va 2-1 , -10'1 - 1131 Va 2-1 est strictement plus grand que 1.
2-1
C'est donc 10'1 + 113[ Va .
De la proposition 1 on tire la
212
(a+Va--1) =x (2 )
a(n)+ya(n)Va--1
2 2
Lemme: L'equation d2 Pell x -dy = 1 ou dE '7,{ r d non carr e ,
infinite de (x,y) E IN 2
avec y to t.q. I x2_d y 2 1 (1+2Vd .
vement.
Pour chaque valeur de y , on definit un x unique tel que
superieure ou egale a &' sinon les points extremes auraient une dis-
y>O,telque
Ix-y\{dl < 1N
o
On a donc I x-y\{dl < y1 a fortiori, car N . Soit x-yl[d = -
y
. On
s
a 10 I< 1 et 0 f a
car d n' est pas un carre. Donc x+yl{d = - + 2yl[d
y
2 2 0
2
et donc x -dy ="2 + 26\{d . Comme 16 \ < 1 et y> a , on a donc :
y
(**) IX2_ d y2: < 1+21[d y>O .
tel que 1 < I x l. - y.l \{d I. , la construction Lnd i quee au debut nous
N
donne un n+1-eme nornbre en vertu de (*).
2 2
(***) x -dy k x==q (mod k ) y == p (mod k ) yfO
tions de (***).
Si 11=0, d ou
t (x'-y'\{d)(x+y\{d) = et donc , en vertu
Y (n)
a
=n (mod a-I).
(2) , x (n
) et
aY n() sont des polynoAme s en a a coefficients
a
entiers.
y (m)2 I y (n ) >mln
a a
Par ailleurs, Ya(km) [(x (rn) + y (m)Va 2_1)k
2Va2-1 a a
- (x (m ) - y (mlVa 2-1 )kJ =
a a 1=1
L: k k . ·22
(.) x (rn) -J y (m)J(a -1)
J a a
j impair
D'ou.
et ils sont donc deux a deux distincts. Ces restes sont alors entiere-
2n on a :
(2a-1)n.::;;y (n+1)'::;;(2a)n (3 )
a
gauche on remarque que pour a> 1 , x (ri ) (a-1 )Y (ri ) (utiliser dans
a a
( *) que a 2-1 ;;;: (a-1 ) 2). D' ou Y (n+1);;' (2a-1)y (ri ) d "ap r e s (2) et
a a
par recurrence, l'inegalite de gauche . •
tel que I <A> - A I < >;, , <A> n' e t.an t, pas d e f i n i pour les nombres de la
Yex(n+1 )
Demonstration : Soit . On remarque sans difficulte,
Ye (n+1 l
si e . Soit maintenant e>4n(y+1).
( 2 c°x ) n xn (1 1 ) -n - n )- 1
On a 1
"" (2e-1)n
-_
- 2e ""X
n(
1 - 2e ""X e
n (1 + n) ..
en ut.Ll Ls arrt,
(3)
,
( 2 ex - 1 )n n 1 n(1-ffi),
et de meme, A:;' x (1-
( 2e)n 2 ex)n:;'x
c'est-a-dire
n-1 n
- nx n
-x 'lO.:-e-
nx
n
n
Or nx = ny < 2 e . Donc -e- <
nx J,,;
2
d 'ou I A_xnl < >;, et donc
A1 dfi = 0 , flh-c ,
A2 d (a 2_1 )c 2+1
A3 e = 2(u+1)dc 2
A4 f (a 2_1 )e 2+1
217
AS g a +f (f-a)
A6 h
A7 i
1. d,e,f,g,h,i;;::.1
a/'1 , doric g 1 par AS. Cornme b > 0 , h > 1 par A6. Cornme g 1
et g==a (mod f), donc i=d (mod f) par A7 donc 61i,f )6!i,d
A3, done f=1 (mod 2e) d'ou g==1 (mod 2c). Donc h=r (mod 2e).
h=y (r)'O'y (r) (mod f). Or c'O'h (mod f) par A1, donc y (r)'O'y (p)
9 a a a
(mod f). Or f = x
a
(q) 2 doric , y
a
(r) = y a (p) (mod x
a
(q)) et donc, par
2
la seconde reduction (*) r 'O':!:P (mod 2q). Or par A3, c 1e , c-a-d.
Soit 9 defini par AS. On pose h=y (b) et i=x (b)2 . Donc A7
9 9
est verifie. Or 9 =a (mod f) par A5
9
(b) 'O'y (b) =c (mod f)
a
(premiere regIe de congruence). Donc fih-c . Mais h=y (b) 'O'b
9
(mod g-1). Or, par A3, e =0 (mod 2c) d ' ou f = 1 (mod 2c) d' ou
B1 p = Yr(n+1)
B2 q = Ye (n+1 )
B3 e> 4n(y+1 )
219
2 2 n 2 1
B4 q - 4(p-yq) > 0 (c-a-d. ('" - Y) <-)
q 4
B5 r = Ex •
C1 e = y (b)
a
C2 (k
2_1
) l+1 =0
.2
C3 ] _4(e_yj)2 > 0 , y> 0 et
C4 k= 4n(y+1 )+x+1
C5 j = b+u(k-1 )
C6 a = kx
C7 b= n+1
On remarque tout d' abord que x, y> 0 et u> 1 d' apre s C3 et C7.
Y Ykx{n+1) (2kx)n
k x{n+1)
--=----,.;; ------;";--7 d' apr e s (3)
y y (2k-1 )n+k-1
k{n+1+v(k-1)) k{n+1+k-1)
(2k)n n
x
= a
{4k{k-1 )+1)n {2k-1 )k-2n 1 x,n,k
n
D' ap r e s C4, 2k-1 > x et k-2n> n-1 r d "ou x < 1 Corrone
{2k-1 )k-2n-1
x> 2 puisque b> 1 par C4, on a 4k<4k{k-1)+1 d'ou
2< 1
('Jc - y) :4 on a y=O Mais, par C4, y> 0 . II Y a done eontradic-
la proposition 9 que y = xn
n
Reciproguement, soit y=x avec x,n>O . Alors y> 1 • On
e 2 1
corrone k>4n(y+1), (3-y) <4 d'apres la proposition 9 et done C3
est verifiee . •
des theoremes 3 et 4.
221
II. Applications.
solutions.
plus large que ce qu'on imagine. Et, suivant [lJ, nous reprendrons ici
1. Universalite et reduction.
K(v(M)P) "'"M(P)
Soit J(x,y) = 2 + 3x + vl , J (x ) = x
1
et
:JY1'···'Yn ;>::!x1,···,x v
U(Jk(a 1,··· ,ak) ,m,x , ... ,x) = 0
1
J. Robinson:
223
P(a
1,.·.,a'1'
z1""'zv) =0 correspond une equation diophantienne a
parametres et 13 inconnues Q( a ' ... r a" ' x ' •.. r x 3) = 0
1
ayant
1 1
une solution pour les m@mes valeurs des parametres.
et 13 inconnues.
U x+y
v xy
ment ouverte. Pour les classes [oo,v] , la situation est moins precise.
pour les classes [00, v] avec v < 8 (sauf pour v = 1 qui est evi-
leur resultat connu, du a BAKER and COATES (cite dans [1J) donnant
Par ailleurs, on a
Done
n I ..;
n
t 1) (1 n-1)!C
d "ou nl si t +00 • Or ( 1 + t-1 ... + t-n+1 '" t-n
(t) 2
n n
2
Or log( 1 E....- =9 (1 + ..; e t-n . Pour 0";)" 1 on a
t-n t-n
d'ou pour t> n 2+n , on a
I 2
t 4n n+2 , 3
t-n '" 4n
premier. Doric g = Im Q n IN •
diophantien.
effet U(a,n,x
... ,x v) un polynome universel pour les parties
1,
diophantiennes de IN. Posons : D l'ensemble des a tels que
k
admet une solution au moins en . Posons
K={nEN;nED}.
n
2 2 2 2
(n-2m-pJ +E (x,n,a,x ... +E (y,n,b'Y1' ... +E
1,
pas de solution.
P(n)<==} p(n,x 0 et
1,
-'P(n) Q(n,x 1, 0
et seulement si 3n -, P (ri ) • •
ment enumerable.
Goldbach. En effet, s i, P(n) des i qrie 3P1P2 (P1 Ef) & P2Ef} &
-2k (k E N), sont des zeros de C • Les autres zeros de C sont ap-
e t arit; zero, les r e s i.due (posi tifs ou nu l s ) sont done nuls (1' indice des
('
..
C' (s) d
nsf s
= 0, > I C,'/ss)) ds I< . Posons
n n
P(n) <==>
6/,
ds I< . L'hypothese de Riemann s'enonce donc
n
Vn P(n). Or P(n) est decidable : il suffit de prendre une approxi-
mation convenable de
C' (s)
par une fonction rationnelle et prendre
nsf
un rationnel assez proche de l'integrale de la nouvelle fonction.
specialement la logique.
equation diophantienne.
deux p r obI eme s de coherence (la t.heo r i c + A est cohe r-erit.e et la t.heo r i.e
+ --, A est cohe r errte ) , on a, par exemple qu ' a I ' hypothese du continu
correspondent deux equations diophantiennes insolubles.
tiree de [1J.
de la forme
p+q = r
pq = r
p<q
successeur.
F(X , ... ,x v ) =
1
a correspondant a G telle que F(X
1,
... ,x v ) = 0
V
n'ait pas de solutions dans N mais telle qu'on ne puisse deduire
egalement prets a accepter vn P' (n) qui est cependant plus forte.
a juste titre dans [1J "la classe des ensembles diophantiens n'est
bles diophantiens.
p rob l.eme sur 6t,") se scinde en deux, selon le sens donne au terme
suivants :
tique de «l.
(ivl
Seul Ie cas (i) a recernment une solution, dans les deux sens du
dixieme probleme, qui est negative (travaux de DENEF, cites dans [1J).
R cornme Ie prouve la
diophantienne sur •
(et donc pas dans R , car une telle racine est un entier algebrique
2
P=O{ ,>pE71& 3u .. .,u ... ,v [ S=u ... +u 2
1, 4,v1, 4EZ 1+ 4&-P
invariante.
= P (*)
i=1
Alors A(a 1,··· <===7 3Y1' ... 'Yn E IR O(a 1,··· ,ak'Y1"" 'Yn) = 0
En effet, si A(a
1,
•.. ,a ) , comme
k
plo on a 3Y1""'YnER
details pres, celIe d'un resultat voisin due a R.M. Robinson (cf. [8J).
8EF tel que F= On peut merne supposer que e E it, (en multi-
x =a { [U (y) = a & kx = V( y) J
est de degre fini sur <D). Mais alors, d'apres la proposition 13,
comme est evidemment invariant, s'il est diophantien sur R , il
elle, pas meme pour des extensions cubiques. Comme on Ie voit d'apres
238
Nous montrerons ensuite, que, comme dans Ie caS (iii), on obtient une
[P 1(a'Y1,··.,Ym)=0]
* a.
On observe que si a = 12 avec p E , q E IN et y. = , a. E et
q 1. P. 1.
* d d d 1.
8 i E IN , on a : P 1 (a, y 1 r ••• , y m) = 0 <=* q 8
1,
... , Sm P 1 (a, y 1 ' .•. , ym) = 0 ,
aEA< l> 3a ..• ,a mE 81, ... ,8mEIN*[P(p,q,a1, ,am,S1, ... ,8m) =oJ .
1,
Comme un entier naturel est somme de quatre earres de la demons-
sur m.
B(p,q) <==} qE N*
Donc
LqEN *
r
& qa=p & P(P,q'Y1".·'Yn)=O ]
Bibliographie
[9J C.L. SIEGEL. Zur Theorie der quadratischen Formen. Nachr. Akad.
Wiss. Gottingen Math. Phys. KI. II (1972) pp. 21-46.
3, rue Mozart
l'Ermitage
91940 LES ULIS
BORNE SUPERIEURE DE LA COMPLEXITE DE LA THEORIE DE
Pa;,e-af MICHEL
Universite Paris VII
Theoreme.
c n3
J c > 0 Th(R, I) E DSPACE(2 )
i E :N},
et a $* B si et seulernent si a
i
$ Bi pour tout i E IN
243
2
J. Ferrante et C.W. Rackoff ([FR]) ont mo n t r e que Th(:N ,s) E DSPACE(n )
et ont donne un procede canonique pour deduire d'une demonstration
fournissant une borne superieure de la complexite de Th(CL), une de-
monstration fournissant une borne superieure de la complexite de
Th(
2),
On trouvera ici une demonstration de E DSPACE(n de-
monstration qui n'est qu'esquissee dans [FR] et dont les details sont
necessaires pour Le cal cu L de la complexi te de Th ( a.,*) •
Principe de la demonstration
(I) Trouver une relation d I equivalence En k entre k-uples d' entiers natu-
,
rels,verifiant:
k
\f n,k E :N \f a b E :N
k k
1) a E b =;0>- a b
k o,k k k k
2) a b a k+ 1 IN J b k +1 IN a E
\f n,k+l b k+ l
E E
k En+1,k k k+ l
(II) Trouver une normell sur les elements de :N, c'est-ii-dire une II
3
application de :N dans R, et une application H (n,k,m) de :N dans R
verifiant :
k
V n,k,m E IN , V a E IN , si a m et si
k i
V i (l " i " k)
1 $ i $ k})
k
$[card({x E:JN : Ilxll s mk})J .
n
)J(n,k) II M(n-i,k+i)
i=1
= max ( {n E IN : a
n
f O} u {II a n II : n E :IN}) •
V (x ) []v (x ) II $ m
Pk Pk n
La relation En,k
si a ,:; n
Si a,n E lN, on pose [aJ = { a
n
n+1 si a > n
k k
Enfin, si n,k EJN, k > 0, a EJN , b k ElN , on pose akEn,kbk (au
k
akEnb k) si :
(l) "I i, j 1 ,:; i,j ,:; k < b.
J
Lemme "I n,a,b E lN a n+ 1 b ==? "I a' < a 3 b I < b tel que
a' =-
n
b' et a - a' -=b-b'.
n
Soient alors a b tels que a et soit a E IN. On place
k, k kE n+ 1b k k+ 1
a par rapport aux ai' 1 ,:; i ,:; k.
k+ 1
1) Si a k+ 1 = a i on pose b k+ 1 = bi'
alors c
i+ 1
- a k+ 1 < c i+ 1 - c.
et c
i+ 1
- c.
n+1 d i+ 1 - d..i,
b'
n
t+ ak +1
J
- ak +1
- c.l ------.,
n
n
bk+1
di+l - b k + 1
- d.
l
et V n ?: 0
C
i +1 - a k + 1 > 0
7 b' > 0, donc b + 1 < d i + 1 .
k
{
c i + 1 - a k+1 b'
n
(**)
t
a k+ 1 d' bk+1
1
= c d' d si i ?: 2.
l i_ 1 l i_ 1
------.,
donc c' d' par (* )
1 1
n
248
et \f i l
n
c. - c d. - d i_ lo
l i- 1 n
l
(2) cl 0 d l et c i+ 1- c i 0 d i+ l - d i
or x ou (xfOetyfO)) donc
o
Caleul de H(n,k,m)
- dans le cas 4)
done on peut poser: H(n,k,m) = m + Zn. C'est sur eette fonetion que
repose la fin de la demonstration. En outre, on en deduit la eomplexi-
te de Th (IN, )
Caleul de M(n,k) :
Conclusion
(n+i)
On pose m m _ +
o i 1
d'ou ¥ i (1 i n)
Alors : n
n (n+i) "2(n-l+1) (n+n)
1: 2 n 2
i=l
3 3
n n
et n(mn(log m + 2)+ 1) = n(n 2 (log(n 2 ) + 2)+ 1)
n
3
cn
donc 3 c > 0 Th( Cl.-*) E DSPACE(2 )
3
c n)
d'ou Th(:IN\{o},I) E DSPACE(2
L'adjonction d'un sous-programme examinant ce qui se passe pour la
valeur 0 des variables n'augmente pas sensiblement l'espace utilise
3
cn
donc Th (:IN, I) E DSPACE (2 ).
REFERENCES
with n alternating blocks of like first order quantifiers where the only quantifiers in
rjJ are bounded first order. L is the set of sentences of LA of this form.
n
Let P denote Peano's axioms less induction together with
Since the axiom schemas we shall be considering often need a little catalyst like P to
get them working it is convenient to include the catalyst as part of the schema.
With this in mind let II* (I*-induction) be P- together with the set of universal
n n
closures (under first and second order quantifiers) of formulae of LA* of the form
with e t:",
n
BI* (I* collection) is P-+II*O together with the universal closures of formulae
n n
of LA* of the form
with e E I*.
n
lIn' BIn are defined similarly. By theorem A of [3J, II
n+ l
implies BL n+ l which
itself implies lIn and similarly for the starred versions.
Let M II O' For Ie M, I is a cut in M, denoted I M, if 0 + I + M and
252
'dx, y (x Y E I + X E I)
& 'dx(x E I + x+l, x2 E I).
We say I (in M) if the structure for LA* consisting of I with the subsets of I
n
coded in M is a model of etc. Notice I for any I M.
Any I M is said to be o-extendible in M. I C M is (n+l)-extendible in M if
1-o K,
e
3K such that M I K, I is n-extendible in K and 3n E K, I < n < M-I. It is
Now let c £ J-M. Using the maximum b such that c times must be in J-M.
If 3a < b, M < a such that W(a, b, c) > N then we are done. Otherwise
Inf{i £ MI3a E M, W(a, b, c) i} N and since
S(o) = f/J
{
S(2i+l) U {2i+2} if Con(A+[S(2i+l)]2' l+{w.(a)!a EM})
L -
S (2i +2)
S(2i+l) otherwise
By BEn we can bound y by c say. Now let t be a sequence of length 11+1 satisfying the
above definition of S but with "Con(X)" replaced by "there is no proof p c from X of
010." Since M F 1E such a sequence t exists. If [t(11)]n+A was not consistent then
n_ l
there is a proof p c from this set of 0#0. Let i be minimal such that there is a
proof p c of 0#0 from [di)Ji+A. Then [di-l)Ji_l+A must be consistent in M and by
considering cases we see we have a contradiction. Using this fact it is easy to see
that t must also be n-good as required.
We now have everyting we need to prove the main result. However to simplify
matters we shall first prove an easier result.
Theorem 2. Let M F BE , n
n
2· Then 3J ::> M such that J
e
B1: and M F BE* in J.
n n
F
Proof. By our observation it is enough to find such a J with just J F 11: 0 , Let L be
the smallest language extending LA containing a new constant n and such that for every
Sex) E FL there is a new constant symbol cS(x) in L. Let A be the subset of SL
comprising
Then M F ConCA). This follows from corollary 40 of [2J for n > 2 and a proof along
254
Thus
and hence
as required.
If the reader wishes he can now plunge into the proof of theorem 8. However we
shall dally a little first.
BI
n
1- e '" BI *
n
1- 8.
Proof. For n > 1 this follows from theorem 2. For n 1 it follows from the next
result since if I K II o then I This next theorem is implicit in R. Solovay's
[4J. For the sake of completeness we include a sketch proof.
where
We now attempt a back and forth construction sending M to a cut below b. Suppose
at stage n we have sent a1, ... ,aE M to a), ... ,a < b and I) (a) I) where I) (a)
n n n
is the set of I) formulae satisfied by a
in M. The "back" is standard, given
c " max(a we can use BI) and recursive saturation to find a suitable a + E M with
i) n l
a + c.
n l
For the forth part, given a first suppose
n+l
255
whilst L (11)
1
so MI= 3x A(X,
so by another back and forth we can find F: M J M such that F(e) li and since
J ,3x A (x , J + M.
If T(Z) is not satisfied in M then for some 8 £ l:o we have that
By theorem A of [3J it is enough to show that there is a least such y. Again we can
find W £ FLA such that
Hence
Since the expression in square brackets is 6 2 there is a least such y and the
result follows.
n: n 8 .. n:*n 8.
Proof. For n > 1 the result follows from theorem 5 so assume n 1. For this proof we
shall assume a familiarity with [1].
256
Let X be a sentence such that IL1+X is consistent and let M ILl be countable
and such that 3K M such that K ILI+X. Such an M can be constructed using theorem
4.
Now let Y be the usual indicator for cuts satisfying (i.e. semi-regular cuts)
and let G be the usual "game" indicator, such that for a fini te set S = {8. (;1) Ii < n}
1
u {e I} U {f I} with 8. (x) formulae of LA and a a b,
..
1
S
G (a, b) > N 3a e J < b, J c M, e,
e
a £ J, t E' J & J U +x+SO.
I
where SO = {8. ("a) Ii < nL
1
We now make two observations about G and Y.
Observation 1: Suppose we have a finite S as above, a, b M, GS(a, b), yea, b) > N
and the next question in the game corresponding to G is:-
"What e (if any) satisfies 3x<j>(x, -a) and is d in the cut satisfying UI+X+S which
you claim exists?" Since GS(a, b) > N there is a finite T J S and a ::: a' ::: b ' ::: b such
that T answers these questions and GT(a', b') > N. Since 3J M, a' J < b',
J HI+X and since cuts satisfying U I and are symbiotic (see [1], [2J),
Y(a', b') > N.
Observation 2: Suppose GS(a, b), yea, b) > N and coded f: a + [a, b] is non decreasing
f(O) = a, f(a-l) = b. Then 3i < a such that GS(f(i), f(i+l)), Y(f(i), f(i+l)) > N.
For suppose not. Then 3m N such that for all i < a,
h(o) = a
Since h outstrips f h(i) > J for some i < a. Let i be maximal such that J h(i) is
defined. Then H(h(i), h(i+l)-l) > N, a contradiction.
Since we can find a, b M such that G@(a, b), yea, b) > N we can, by al ternatly
using these observations find a cut J such that J as required.
Notice this result fails for n =0 since BL I but by theorem A of [3J
Uol BL I·
3K M, M K & K
Since the expression in square brackets is and M F we can put a bound on z and
hence M F in J] follows.
This shows that if M F then M is 2-extendible in J. The theorem is now clear
by iterating this construction.
Put Y E: Z where
Y = (x E: XIVy < x(y E: X A g(y,i) < x -> g(y, i) < g(x, i)}.
Using (i)', (ii) I it is straightforward to see that with this construction (iii)' holds
for Z as required.
EZ
n+l f- 8 n-ext. f- 8,
Un f- 8 (n-!J -ext. f- 8.
Remark. The potential value of this result is that for combinatorial statements 8 it
may be comparatively easy to decide if n-ext. f- 8 and hence we may obtain derivability
and independence results. Several examples of such statements are mentioned in [2J,
e.g. corollary 28. Perhaps such an approach may help decide the proof theoretic
complexity of Van der Waerdens Theorem.
Our next result connects the collection and induction schemas. The following
theorem appears as corollary 35 of [2J and has also been proved independently by H.
Friedman. The proof we give here is considerably simpler than previous proofs.
First notice that the right hand side set is coded, namely by the least element of the
set
a!M
{r < 2 F < a (r. = 0 + 8(f(i»}
i
where r. is the coefficient of 2 in the binary expansion of r. Observation (ii) is
r
proved by induction on the length of 8. There is only one non-trivial case namely when
3h Vi j (i E b + 8 (h ( i), f( i ) ) )
Let k {<i, z > E b > dll1 8(z, f(i»} and let h: a + k, hEM be such that
Then 11) 8(h, f). Also suppose t < h and HI 8(t, f). Then
Since 11 1 BL ,
n
this formula is ITn so by Cii )
260
K = {x E Mix is I 1 definable in ML
n+
Then K::< M and K F II (see [3J, proposition 7). Let 3w y(z, w, x) be a complete
I n+l n
formula where y E 11. Then
n
where u = <u o' u l > etc. Let 3w A(Z, u, y, w) be provably equivalent in lIn to the
expression in square brackets where A isll
n•
Replacing t by its I definition we obtain a
o Tln +2 sentence true in K. However
suppose J F BI n+ 1 and
Corollary 13. Let M F lI o be countable and n 1. Then the cuts satisfying any of the
following are symbiotic in M:-
n' BI n+ l,
Un' lI* n-extendible.
261
Proof. Suppose I M, I IL
By considering the usual indicator for n-extendible
n.
cuts it is not difficult to see that there is a function W such that for a, b, c E M,
For mEN, since n-extendible cuts are models of ILl and so closed under
exponentiation,
u n
Vx 3y, z W(x, y, z)
b
Now let a E I < b and let b be sufficiently small that c b b y 10 times exists
in M. Such a b exists since I ILl' By *, since M IL o'
Remark. It is perhaps surprising how easily corollary 13 can be derived considering the
original torturous proof given in [2J. Of course in proving corollary 13 we have
referred to [2J to justify assuming BL 2 Con(IL O) ' However this result, although messy,
can be proved directly.
References
[1] L. Kirby and J. Paris, "Initial segments of modeIs of Peano r s axioms." Springer-
Verlag lecture notes in mathematics, Vol.6l9.
[2] J. Paris. "A hierarchy of cuts in models of ari thmetic." Proceedings of the 1979
Karpacz conference, to appear in the Springer-Verlag lecture notes in mathematics
series.
[3J J. Paris and L. Kirby, "L -collection schemas in arithmetic." Logic Colloquium
n
262
Anand PILLAY
We point out here how the existence of end extension types and minimal types
follows easily from the fact that certain partition properties are provable in Peano
arithmetic. (Gaifman already proved the existence of such types using the fact that
certain 2nd order constructions can be formalised in Peano. So the content here is
essentially the same).
PROPOSITION - Let Mbe any model of W, and I Mbe unbounded and definable in M.
Then if n < wand Eo' EI is a definable partition of [IJ n, then there is X I,
definable and unbounded, such that [XJ n Ei for i = 0 or 1.
Recall that if MF T and p is a complete type over M, then M(p) denotes the mo-
del generated by Mu a where a realises p. This model is an elementary extension of M
(again by Skolem functions).
We know already the definition of an end-extension of a model. We say that N is a
minimal elementary extension of M, if M< N, Mf N, and if M< NI < N then M = NI or
NI = N.
A type pix) over Mis said to be unbounded if for all a E M, a < x E pix).
We will be concerned here with I-types. Note that a pure type pix) of T is a
type over Mo' the minimal model.
Let us first list all the formulae of the form (u,x are variables) of
the language, as <tfJn(u,x) : n < «i> • We define a sequence <X n : n < w> of unbounded
definable subsets of Mo such that
a) Xn Xn+ I for all n < w, and
b) for all n, and all a E Mo' there is a' E Mo such that either
Mo F ('rIX > a')( x E Xn+ 1 -----0> <f'n (a, x) )
We let X be the universe of Mo' Now suppose that Xn has already been defined. We
o
show how to define Xn+1' We define the following partition on [X nJ 3.
for a < b < c, a,b,c s Xn ' we put,
{a,b,c} E E1 if not.
Let us put Xn+1 = X. Then Xn+1 c Xn' and Xn+1 is unbounded (in Mo)' Now let
d E As Xn+1 is unbounded there is a E Xn+1 ' a > d. It is now clear, as
[X n+ 1J3 s Eo' that for all b E Xn+ 1 with b > a, Mo F or for all such
b E Xn+1 Mo 1= llfn(d,b). Thus b) is satisfied, and the construction can be carried
out.
Now let Mo < and p' E P '= p' and p' unbounded. 50 (x E Xn) E p' for all
n < w. So by (*) and the unboundedness of p', p' is definable, namely for a E M
So again, suppose that Xn has been defined. Define now the following partition
4
of [XnJ .
{a,b,c,d} E Bo if
M 1= (IIU < a) ( (f n ( u , b )
o
< fn(u,d))
Mo F f(e,b) = f(e,c)
So we clearly finish
So suppose c < x < y, with x,y E Xn+ 1. Firstly we must have that f(e,c) < f(e,x),
for otherwise we would have
where e < a < b < c < x which contradicts the fact that [X n+ 1J 4 s Bo.
Similarly we must have f(e,x) < f(e,y), for othewise f(e,c) < f(e,x) f(e,y).
Note that again we have for each fn(u,v) some such that
REFERENCES
Anand Pi 11 ay
73 Twyford avenue.
London N.2 9NP
Great Britain
DE LA STRUCTURE ADDITIVE A LA SATURATION
DES MODELES DE PEANO ET A UNE CLASSIFICATION
DES SOUS-LANGAGES DE L'ARITHMETIQUE
par
Denis RICHARD
INTRODUCTION. -
des deux autres, mais la succession des paragraphes en elle-meme a ete choisie dans un
but heuristique. Nous esperons, par exemple, montrer comment nous est, peu a peu, ve-
nue l'idee que la WI-saturation d'un modele de l'arithmetique 9' de Peano pourrait
etre caracterisee par Ie type d'ordre du modele. Les etapes de cette demonstration in-
de 9'. Nous comme nc ons par rechercher la structure addi ti ve Red {+} v# d ' un mode Ie 0$1
nes proprietes, que n'a, en general, pas Ie groupe S (.11). Mais I' uti lisation (hab i-
a
tuelle en analyse non-standard) du prolongement des w-suites -lorsqu'il existe- suffit
a caracteriser Sa(Ao/). Plus precisement les modeles Ao/ dans lesquels toute w-suite
est segment initial d'une suite codee dans Ao/ (propriete notee CS ont un s yme -
w
gique (cf. [CH]) de la theorie des groupes abeliens nous indique que ce dernier groupe
Appelons ici a-saturant tout sous-langage K de tel que, pour tout modele Ar de
coder des suites finies est wl-saturant la preuve decoulera du critere cite ci-des-
sus. Des exemples de langage wl-saturant seront done {xY}, {(x)y}' {S(x,y,z)} ou S
moins immediate, le sous-langage reduit 11 l'ordre, {<}, est wl-saturant (par conse-
quent {+} l'est aussi). Cela conduit au fait qu'un modele Ar est wl-sature si et
seulement si Red{ < }Ar l'est, done au fait que Ar, de cardinal wl' est sature si et
seulement si son type d'ordre est w + (w* + w) n On verra egalement que les {J(x,y)},
l.
ou J(x,y) est une fonction de couplage quelconque , sont wl-saturants. Enfin pour clo-
re ce paragraphe, nous montrerons que, si a;;;' w tout modele Ar de g)' qui es t a-sa-
l'
ture pour l'ordre a un reduit additif tout aussi a-sature. [Indiquons que
a savoir qu'un modele Ar de 9 est a-sature si et seulement si Red{ < }Ar l'est aus-
si (voir [P])].
finies pour cons tater que les plus naturels d'entre eux, comme {S(x,y,z)}, ne sont
pas stricts -et on les dit synonymes 11 celui de l'arithmetique- au sens ou l'on peut
(*)
Nous ne redemontrons pas ici ce resultat initialement obtenu par Godelisation
puiqu'il est generalise par le critere qui figure au debut du paragraphe 2.
272
qui codent les suites finies uniformement sont wI-saturants. Parmi ceux qui codent
uniformement les suites finies, il y en a qui, comme {(x) # O}, ont la propriete di-
y
modele interne isomorphe a celui de depart) et d'autres qui ne l'ont pas. Pour exhiber
unexemple de ces derniers nous faisons appel a des modeles syntaxiques. Nous remar-
(cf. [p et R]) pose Ie probleme de trouver une axiomatique de exprimee dans ceux-
-ci pour {x Y} et certains sous-Iangages qui s'en deduisent, cela est facilement re-
solu. Ce doit etre plus difficile pour {(x) }. Nous terminons par quelques questions,
y
dont celle-ci : puisque l'ensemble des sous-Iangages recursivement saturants est non
vide ({ <}, {+}, {I} et {.} n'y figurent cependant pas, mais {(x) # O} yappar-
y
tient), exhiber un sous-Iangage recursivement saturant qui n'a pas la propriete de re-
-interpretation isomorphe.
273
§ 0 - NOTATION. -
Soit 9 1 "ari.thme t i que de Peano dont Le langage {O, S, < , +, .} est no-
te £(9). Soit la theorie des nombres entiers positifs ou negatifs que l'on peut
i1 existe un unique modele S(v#) de dont Jtf constitue 1 'ensemble des elements
positifs. si £* est Ie langage obtenu en ajoutant a £(9) tous les symboles defi-
nissables dans 9, alors flJ'" est la su r-e t h eo r i.e obtenue en adj oignant a 9 les enon-
modele donne v#! 1= flJ) et 9(N) nomment respectivement l'ensemble des entiers stan-
rect de a-copies de X. Le cardinal de l'ensemble X sera Ixl. Soit < D, '" > un
Sm C;tf) = S(Red{_ }v#!). Ces deux groupes sont i.nt e rp re t ab Les dans v#! sur
x
{z E v#! 13 xy (z = 2 3Y)} en traduisant Le procede de syme t r i.s a t i.on sur ce s "couples".
Les resultats qui precedent la proposition 1.1 sont tires de [M et S]. lIs
et G sont ainsi isomorphes. Comme espace vectoriel sur Q, Ker fest isomorphe a
274
(1) - Tout 'i'.(G) est pur et dense dans 11 J on peut choisir G tel
P
que Z C G
(3) - Pour tout p E 3' (N), les projections canoniques de (G) sur J ne
p
sont ni {a} ni Z
Preuve. -
choisit alors des elements non nuls adequats dans G qui contredisent l'injectivite
p.
oil J 1 est un sous-groupe non nul de . Pour S EJtf\N, il existe
J Ker f tel
0
Pi
que 6 PnS - k E G\{O} : cet element contredit l'injectivite de
PI
(5) - Si Go est un G d'un modele denombrable, Ie theoreme de Mac Dowell
et Specker sur les extensions finales permet d'en faire un G d'un modele de cardi-
nnl a (remarque sur (5) : cette assertion n'est pas consequence directe de l'ecritu-
de Red {+ f,1f e s t p r ob l.emat i.que , Cependant i I y a des cas oil nous savons determiner Le
Proposition 1.2. -
Lemme 1.2. 1. -
tout p premier standard, l'anneau Z des entiers p-adiques est image homomorphe de
p
S(Ar)/ a par une application dont Ie noyau est avec K
P
p SC#)
Lemme 1.2.2. -
Dans les conditions de la proposition 1.2, et avec les notations du lemme 1.2,
les anneaux SCIf)/K et Z sont isomorphes, pour tout p E9"(N), ainsi que les an-
p p
neaux S (.41) /K f et IT Z (f designe encore ici Ie morphisme canonique in trodui t
er -- p
au debut du paragraphe 1).
suite de longueur a que nous notons 0 dont s est segment initial. Alors en po-
sant a - 0(1) et 0 a
o
< p, et a. o (i) avec pour tout i tel
o 1
Comme Ker h
K / = et comme h est surjectif, on deduit de l'isomorphisme
p paSCH) a a
explicite ci-dessus que Z " SCf{)/K .
p
P
• Cons i.de r ons 1jJ : -> n
p E &> (N)
S(J!f)/K
P
canoniquement defini ; son noyau
est n K
p'
c'est-a-dire n n S C$!), ou encore Ker f. On a donc un morphis-
p E&>(N)
me 1jJ injectif de S C$!) / Ker f dans
n E N
n
P E9'(N) P
n
i EN Pi
f : -> n
i E N Pi
277
et S (A¥) Q(c) $
A
Z.
a
Nous avons une reciproque a la proprosition 1.2 et c'est :
Proposition 1.3. -
1) Si S (A¥)
a
Q(c) $ Z ou Sa(A¥)
de Sa (uti') et de Sm (A¥).
Demonstration. -
(1) - Le theoreme 23 enonce p.197 de [CH] assure que tout groupe abelien est
te Z-adique du groupe X. En prenant dans notre cas a(p,n) = 0 (car il n'y a pas de
torsion) Sp 1, yp = 0 pour tout p E9'(N) (il n'y a pas non plus de p torsion)
(2) - Corome les groupes Sa(uti') et S (uti') sont interpretables dans A¥ sur
m
x
{z E A¥13 xy z = 2 3 Y} en traduisant le procede de symetrisation sur ces "couples",
de SmCM'), et, comme tel, K est isomorphe au Q-espace vectoriel Q(O). Cons i de rons
aussi K = {x E"#IY nEw (x =: Olen)}. Comme K = Ker f (oil fest defini au §l)'
a 0
laire pi
q
E Q. Par suite 0 > [,.III. 11 est done clair que 0 = 14tl et done que
Soi t (JJC#) I.' ensemb le des elements premiers pa E /gf indexes par taus les a E JIt.
Comme i2lCgf)1 = 1,#1, on a Sp> IJgfj >a. La r ec i.pro qu e du t h eo r eme 23 p.197 de [CH]
[M et S] ou [R2]) que si ,111 est une extension finale de J# de meme cardinal que ,#
alors S(JIf) et S(Jlf ont meme structure additive. L'isomorphisme entre la structu-
l)
re <pm(mEvIf), . >, au p est un element premier fixe de ,$f, et Red{+}JIt, nous as-
sure que si les structures multiplicatives de ,(<< et ,,#', mode l e s de jl, sont isomor-
phes leurs structures additives le sont aussi. Par ailleurs encore Jensen et Erhenfeucht
ant mont rf en [J et E] que si .# et JIt' sont des model.e s denombrab Lee (restriction
Re<\z A1 " RedK Ar'). En fait Jensen et Erhenfeucht ont meme montre que l'on peut pren-
2 2
dre pour Kl ou K tout souslangage riche et fortement complet au sens de leur
2
terminologie. Par contre, la restriction de cardinalite fait probleme et pose la ques
ce cas, la completude pour {+} et {.} assure qu'un isomorphisme entre les struc
luimeme.
Soit T une theorie de langage £(T). Soit £0 C £(T). On dira que £ est
o
Ksaturant pour un cardinal K (ou que T est Ksaturee sur £) si et seulement si
o
la Ksaturation de Red£ ,91 , pour tout ,91 P= T, entraine celle de d. (cf. [C e t K]
o
p.425). Un exemple : tout corps reel clos dont la structure d'ordre est n + est
a l
wa+lsature. Le theoreme de categoricite de Morley nous indique aussi que si Test
asature sur £
o
o (et complete) pour un a non denombrable, alors il en est de
£(P). Par abus nous mettons {J(x,y)} parmi eux, bien que Ie langage ne soit sous-
Theoreme 2.1.
et la multiplication. Elle l'est aussi sur {J(x,y)} pour toute fonction J de coda
ge des couples.
• •• J ...
280
Corollaire 2.2. -
Un modele v4! 1== fJ}J de cardinal est sature si, et seulement si, son type
d'ordre est
...
w + (w + w) n .
l
Un modele v4! 1= .'J? est wl-sature si, et seulement si, toute w-suite (ai)i E w
Preuve du critere. -
Cons i.der ons une suite (r(a»)a E j{ codee qui prolonge la suite (r(i)\ E w'
ou chaque rei) E A¥ realise les formules pour i, d'un type E (x) donne.
J
la formule V y (k Y< u Comme pour tout n EN, v4! 1= 1)Jk (n)
il existe, par deb ordement; (overspill), Ev4!\N tel que v4! 1= Comme
decroissante telle que Joff 1== 1)Jk(s(k) pour tout kEN. A l'aide d'un code d'une sui-
te indexee par Joff qui prolonge s on peut definir une formule e (v) par
V ij(i <j
Alors Joff 1== e(n) pour tout n E N, done existe a Ev4!\N tel que Joff 1= 1)Jk(a) pour
tout kEN. II en resulte que v4! 1== E(r(y») pour tout y de Joff tel que N< Y a.
Remarques. -
est wI-saturant. Soit (a(i)i E w une suite; supposons Red{I}v4! wl-sature. Soit
p EfJ}J(N). Soit c E vlt realisant Le type rpa(n)+l I x 1\ --, pa(n)+2 I x}, Alors la sui-
n n
281
Lemme 2.1.2. -
Pour toute w-suite a d' elements de "11, wI-saturation de Red{ < }Ao/ (res-
pour 9. L'isomorphisme entre la structure < pmlm E Ao/, . > et Red{+} Ao/ assure
Soit ..Iii un modele s a t ur o de cardinal de .J? Alors S (..4t) qui est definis-
sable dans ..# est egalement uri modele s a t ur o , de cardinal w de 'G. Soit /#1 une ext en-
l'
sian finale e l emen t a i r e p r o p r e de .11 de meme cardinal et, par recurrence soit '#k+l une
extension finale elementaire propre de e#k pour tout k E w. II est clair que
est une extension finale de j f et, comme telle (cf. (M et S) ou [R ]) , no us savons que
2
SaCt/) '" Sa(§')' Nous en c onc l.uo ns , d'une part, que S
a
est (puisque svt/:
et done Sa (..4t) l e son t ) et, d' autre part, que le type {x .> a k}E w au a E jti'k+l\u#k
k k
n'est pas realise dans done ne l'est pas dans Par suite S(§') n'est pas wl-sa-
Theoreme 2.3. -
Tout modele elfF .oJ qui est K-sature pour l'ordre (K > wI) est K-sature pour
l'addition.
Preuve. - Un type additif L(X) est decomposable par elimination des quantificateurs
nEw),
avec I < K, J < K et L < K. Par hypothese, existent mE ./1 et ME./I1 tels que
m <M et .11F Ll(M) " L (m) . Si, pour tout (m,M) convenable, M - mEN, alors La
2
consistance de L(X) assure en raisonnant par l'absurde que L(X) est realise dansAY.
Sinon, par debordement, soit x E ,ti'\N tel que x ! <M-m. Soit (th.l.3) aES C{;t).
a a a
,AYF L(S).
- On peut montrer aussi que tout modele ,AY F.J? qui est K-sature pour I' or-
dre (K > wI) est K-sature pour la multiplication. En fait les presents resultats
mettent de montrer plus: J.F.Pabion, en P, vlent de prouver qu'un modele de Peano est
283
K-sature s i, et seulement si, SOn 'r edu i t a l ' ordre l' es t (par exemple un modele de Peano
1e theoreme 2 met en evidence dans -C; (.9 <{ avec les entiers negatifs) des
sous-langages .£ tels que les reduits a £ des mo de Les assez grands de A sont
o o
K-satures (K > wI) des que ces reduits sont wl-satures, bien que Ie modele lui-meme
ne Le soit pas (th.2.1 (b)). Une telle situation dans :G (ou iii') pour un so qui
so it en meme temps wI-saturant peut conduire a Une refutation d'une conjecture de Chang
(cf , [P]).
recursivement sature bien que Red{+},1{ et Red { . }.til I.e so i t t ouj our s ,
Demonstration. -
pour Ie langage K : cela signifie que si ' ... , x est Une formule de K, alors
n)
avec les notations de [J et E], 0/1-- y(\?(x
1
, ... , "'"n) * , ... , x
n))·
realisation de L(X) dans RedK,A¥. Nous pouvons ainsi considerer {+} et {.} com-
cette propriete comme {(x) # O}. Cela resultera de l'erude des sous-langages de .£
y
presentee au paragraphe qui suit.
.., / ...
(1)
Des travaux de P.CEGIELSKI developpes a partir de [C] ant conduit recemment cet
auteur a expliciter une telle formule y.
284
Soit £* Ie langage obtenu en ajoutant a £(.sP) tous les symboles que l'on
peut diHinir dans ,sP. Soit ,sP* la sur-rtheor i.e de rJ> obtenue en ajoutant a rJ> les
enonces qui definissent ces symboles. On dira que est strict si, en lui ajou-
tant les symboles que l'on peut definir dans £* a partir de £ , alors £
o
F £. Dans
o
Ie cas contraire, on dira que £ est un sous-Iangage synonyme de ou de £(rJ».
o
£(T) pour une theorie T. En prenant £* pour £(T), nous dirons, par abus, que
£0 C £* est a-saturant pour £, s'il l'est pour £*. Un sous-Iangage recursivement sa-
turant K de £* (ou de £(.9) sera naturellement defini par Ie fait que la saturation
(en abrege CUSF) s'il existe une formule de £0 et, pour tout modele
de ,9, une immersion h de ,If dans .1f representable dans !J;' telle que, pour toute
suite finie (a .,., an) de Jt! (n E w), il existe un code c avec les condi-
o'
tions
Proposition 3.1. -
Demonstration. -
• La preuve pour {x y} est due a J.F.Pabion. Nous posons, par raison de com-
y f(x,y). On peut alors de£inir 0,1 et 2 de £(g» par
modite typographique, x
y ; 0 +-+ V x S(x,y, y) ; y
et que l'on peut definir l'ordre par x < z +-+ S(x,O,z) x. On peut done definir
Par un resultat c l as s i q ue dii a Julia Robinson {S, I} est synonyme de £'M et nou s
Autres exemples. -
possibilites d'obtenir des sous-langages synonymes de £'M dans lesquels £(g» soit
222
con tient {I, S}) ; { (x+y) } ;
2
{x + 2m xy + my}, {., x
2
+ xy + y}
2
etc ... Par la
methode du modele interne, mais c'est trop long pour etre ici explicite, il est prou-
Proposition 3.2.
y}
L'arithmetique fJjJ peut etre axiomatisee dans Ie s ous-r Langage {x de la
... / ...
(1)
En fait J.ROBINSON a meme montre que {+} et {.} sont exponentiellement dis-
phantiennes.
286
(A x = 1 f(2,x) 2
2)
(A x = 0 f (2 ,x) 1
3)
(A 't x f (x, 2) ,;, 2 1\ f(x,O) = 1
4)
(AS) V xy 3 x f(2,z) f(f(2,x) ,y)
(C f(f(2,x),y) = f(f(2,y),x)
l)
(C f(2, f(2,z» = f(f(2, f(2,y»,2» --+ f(2, f(x,z» f(f(2,x), f(x,y»
2)
Remarque. -
Ie donnee en [C et K] p.42.
II est bien connu que {S}, { < }, {+}, {I}, {.} sont des sous-Iangages
Proposition 3.3. -
Ie que, pour x >0 et y > 0, on ait x> J(x,y) , y > J(x,y) et J(O,O) = O.
Preuve. -
et b sont premiers entre eux. Par recurrence, on voit que f est un R(x,y)-auto-
morhisme de N qui ne preserve pas l'ordre. Comme 0 et 1 ne peuvent pas etre dis-
cernes par R(x,y), les deux sous-langages sont differents. lIs sont stricts.
est un homomorphisme sur J. Par recurrence, on veri fie que f2 est l'identite sur N
pretation isomorphe.
Theoreme 3.4. -
{(x)
y
# O}.
Demonstration. -
Dans tout modele Ao/ on peut coder les notions analogues de singleton,
sant jouer a (x) I a Ie role de l'appartenance (bien que (x)y ne definisse pas
y
dans o#F,o/ un modele de ZF sans axiome d'infini). Disons que a code respective-
et dom(a, If I) les relations exprimant que a est Ie code d'un couple, d'une fonc-
tion, du domaine d'une fonction If I codee par f. Prenons maintenant dans Ao/ les
elements a pour lesquels (x) f a (dorenavant notee E) qui verifient les condi-
y
tions : (1) - a E b II b E a a E a
(2) - a E a II b E a -+ a Eb v b E a
Soit Int(Ao/) l'ensemble de tels a dans u# que nous noterons par de petites lettres
grecques.
morphisme injectif, nous obtenons la definition de . Cet ordre nous donne une rela-
E
U E f II v E f A cp(u,a,a) II cp(v,S,y)
valence logique ci-dessus Sue( If I (i), If I (j)) par If I (j) = If I (i) 1Il S et aus-
E E
II est clair que les sous-langages ayant la PRI sont a-saturants et recurs i-
vement saturants.
289
Par ailleurs :
Proposition 3.5. -
Preuve. -
h et si on se donne la w-suite (ai)i E w de ./It, au JFf 1= 9, nous cons i ddr ons Le ty-
n
pe {/\ q,(u,O,h(a.)} E w qui, en s uppo s ant; RedK'.Ff wl-sature est realise par un
i=O n
c EJFf. La suite 0= (1)(c,a, ba))a E ..Ff prolonge la suite (h(a i ) \ E w et permet de
de ceux ayant la propriete de re-interpretation isomorphe par PRI, de ceux qui sont
a-satures par a-SAT, de ceux qui sont recursivement satures par RecSAT et de ceux qui
cadent uniformement les suites finies par CUSF, nous avons jusqu'ici, en designant les
inclusions par des fleches ( et les ensembles distincts par Ie symbole (#), obtenu
#
wI-SAT
". CUSF
que {J(x,y)} w
2-SAT.
Nous allons terminer cet article en mont rant que PRI CUSF et aussi que
#
SYN CUSF. Pour cela nous allons exhiber, par utilisation de modeles syntaxiques,
f
un sous-langage {VAL(x)} qui possede la propriete de coder uniformement les suites
finies sans que l'on puisse definir, dans tout modele ,# au seul moyen de {VAL(x)},
Theorem 3.6. -
Demonstration. -
finale interne dans J# Les notations sont celles de [SM] : ainsi est Ie
nombre de Godel de la formule .p , Enon (x) exprime que x est Le nombre de Godel
d'un enonce, etc. Une relation a(x,y) est une enumeration dans si elle est prou-
et mul t Lpl i.ca t i on dans [SM], de f i.ni r dans une formule Conj (x ) qui exprime que
Soit CONa(x) la formule qui signifie, dans ,9, que les x premiers enonces enumeres
On verifie par induction que l'enumeration epc verifie ,SP I- V x CON (x). De plus,
epc
9"1- epc(il,y)
gere en [SM] pour prouver Ie theoreme de Hilbert-Bernays, on construit une formule VAL
telle que f9'1- V xy(epc(x,y) .... VAL(y» et !y f-- VAL ( IA I ), pour tout nEw.
n
.S·
01ent
q:Y' (if (if
et Ie domaine, l'egalite, Ie zero, les
de Ar dans determinee par VAL. En prenant dans chaque classe d'equivalence modu-
10 q:= Ie plus petit representant on peut supposer que cette relation est l'egalite
Comme ,SP I- V x 3 Y V z <x (q:V(z) .... z < y) peut etre prouve par induction sur x,
,f,f L- 0il M° Jr
alors pour tout In vest (prouvablement) infini. II existe donc une bijection
definissable f entre Le domaine de Ar et ''£\:j qui permet de remplacer q:Jt!! par vii,
g(SuJr(x» = (S) (g(x» est une bijection dHinissable de Jt!! sur un de ses segments
i ni.t i aux , Si g etait surjective, alors cornme isomorphisme de ut!! sur .![u11, g per-
mettrait de definir une formule de satisfaction de ef1, puisque VAL en est une pour
de s", Si .c o
Hait synonyme de .c*', alors on pourrait de f i.ni r gC4i') dans cit!!, c'est-ii-dire un
segment initial propre qui serait clos par la fonction successeur. Cela est impossible
re-interpretation isomorphe mais recursivement saturant (i.e. montrer que PRI # RecSAT
• Montrer que {<}, {+}, {I}, {.} n'ont pas la propriete de CUSF (ce qui
References. -
[C et K]. C.C.CHANG and H.J.KEISLER - Model Theory. North-Holland. Pub. Co. Amsterdam
2nd edition (]973).
[K et R]. J.P.KELLER ct D.RICHARD - Remarques sur les structures additives des mode-
les de l'arithmetique. Comptes-Rendus de l'Acade-
mie des Sciences. T.287 (17 juillet 1978).
Serie A-101.
[M et S]. R.MAC DOWELL und E.SPECKER - Madelle de» Aritmetik. Proc , Symp. Infinistic
Methods. Foundations of Mathematics, uareoia
(]959).
[p et R]. J.F.PABION and D.RICHARD - Definability of tePA) from {(x) } and {S}.
y
Strict sub languages of tePA) having the re-
-interpretation property (to appear. An abstract
will appear in the J.S.L. reviewing the Karpacz
congress (1919)).
293
Denis RICHARD
Saint-Maurice de Gourdans
01800 - FRANCE
§ 0 - NOTATIONS. -
axiomatically define in I- (Pi') from ,0/. I f .# there is an unique model S (.41) 1= 9'
whose .# is the set of positive elements. If is the language that we can obtained
by adding to £ (9') all symbol def inab Le in ,0/, then u/ ' is the over-theory got from
9' by adding sentences defining new symbols. If K is any sub language of iff , Red K .«
will be the reduct to K of A¥I= By N, Z, 9(N) we mean the natural integers, the
a copies of Q. The cardinal of the set X will be Ix!. Let <D,* > be a regular
and unitary semi-group where e is its neutral element. We denote by SeD) the struc-
be S (Red {+} At) and S (Red {. } for any <PI 1== <9'.
Theorem 1.1. -
x --+ ( ••• , x+nZ , ... ), where n is standard, then SaCI!) = Ker f al G for an additive
(1) - The group is pure and dense II J one can choose G such
P
that Z C G ;
(3) - For any P E ,9'(N) , the canonical projections of (G) into J are
P
neither {O} nor Z;
J 's
p
(5) - For any cardinal a > wo' there is a model of cardinality a such
Theorem 1.2. -
., .f ...
295
Theorem 1.3. -
(1) If Sa (.ffit) z: Q(c) (j) Z, for c = 1·41'1 ;;;. "i then Sa (,yfd) is wI-saturated.
(2) - The wI-saturation of implies, for any a;;;' 1.41'1, the a-saturation
of and Sm(.ffit).
£
a
is a sub language of £, we say that T is a-saturated over £
a
iff
a-saturated [C et K].
Theorem 2.1. -
(a) - The Peano,arithmetic is wI-saturated over order and, hence, over addition
and multiplication 12 wI-saturated too over {J(x,y)} C £* for any function which
(b) - The Peano· arithmetic with negative elements (that we denote by lJ).i2..
Corollary 2.2. -
Theorem 2.3. -
wI-saturated too.
Theorem 2.4. -
For any model F Red{+ f4Y and Red{. r4'1 are recursively saturated .
.. .1 ...
296
Theorem 3.1. -
{S(x,y,z)}, when S(x,y,z); wr(3 q(x ; q(l + (l+y)z) + r)). (We will say that such
Theorem 3.3. -
The following sublaDguages of £* are strict (one cannot define {+} and {.}
is any one-to-one but not onto map coding the couples and such that J(O,O) = 0,
Theorem 3.4. -
< Int(j1), ill, @ > Po .'1J' which is definable in {(x) ,;. a} and isomorphic to A¥ by
Y
.an isomorphic which is not ((x)
y
,;. a)-definable. (Such a sublanguage £
0
has the
Theorem 3.5. -
Let us say that a sub language £ c £* uniformly code the finite sequences
o
(£0 E UCFS) if there are a formula ¢(u,v,w) of £ , and for any model .41 P.OJ, an
o --
elementary embedding h from A!f to .41, which is definable in Jlf, such that, for any
2) - A¥ = h(a.)
1
... Hc,i,w), for each i E w.
Theorem 3.6. -
proof of the completeness theorem such that {VAL(x)} E UCFS and {VAL (x)} PRI.
On Q\iscretely ordered rings in which every definable is principal
A. J. Wilkie
L-structure M satisfies M F T + VS
o
CB (S) then M 2. Thus, as is
an L-formula}, although this has only been done for T(P), i.e. usual
Question
Does first order Peano arithmetic occupy any special place amongst
or the strongest (modulo, say, a true first order sentence)? or are all
such schemes logically equivalent (again, modulo a true first order sentence)?
namely To + T(I) where I(S) is the formula asserting "if {x: Sex)}
{+ a E M M 1= o(a)}.
We show that \ix ::: 0 6(x) + vsr rs: is and that the
Theorem 1.
Proof.
6
Since M is clearly a definable convex subset of M it is
6)
sufficient to work in M (rather than M and to show that if V is a
definable subset of M+ [x EM: x > O}, such that V n MOl cp, then V
6
contains a least element. (This is also enough to show M is closed
6
under + and so that MO F T0' since M is clearly closed under
+ 1.)
V {a E M \ix t V, 0 S a S x}.
o
Then V
o
is a proper, non-empty, definable initial segment of M+ n M6
closed under +1. Let
Let
D
l
¥ M+ n M6 • Since M F T(I) J is principal, generated by a
o'
say.
a
o
Clearly 21a. Let b We show that b E J which obviously
o o 2 o
contradicts the fact that M is discretely ordered, and completes the
proof.
Hence we may suppose that there is some x such that 0< x ::: t, x la
0 0 o a
but 2x
o
l' a o (so, in particular, t < 2x
o)'
Since the ideal (x
o'
b o)
hlx o 1 2h .
Corollary 1.
If M F To + 'iSI(S), then i _ z.
Proof.
Corollary 2.
Proof.
I t is easy to show (by giving a proof) that T(P) l- 1'(1) + IJx:': 0 6 (x) •
Conversely, if M = 1'(1) + IJx:': 06(x), then J = M so M 1= T(P) by
from corollary 1. o
We now show that some extension of the base theory l' is needed
o
in corollary 2, by constructing a discretely orderable principal ideal
Lemma 1.
is b * a
&' ..... such that Vf E 2'[x] , {n E : a* n] f(b)} is finite.
Proof.
prime-power Q.
301
f i (r(p» f 0 (mod p) for all i such that :': i:': h(p) (and set
Suppose ptl f. (b), (in Z*) for some prime power pt. Since
1
b ; rep) (mod p), pi f (r(p» and hence h(p) < 1. Also t < k(i+1 ,p),
i
for otherwise fi(b) ; f
i(s(i+1,p)
¢0 (mod pk(i+1,p» and hence
pt oj' f (b) •
i
Since h(p) -> 00 as p -> 00, it follows that fi(b) has only
finitely many prime power divisors, which clearly gives the required result.
302
Lemma 2.
For *
X, b as in lemma 1, the ordered subring
M = {f(b)
n
: f(x) E and 'E,* F nl feb)} of * is a principal ideal
domain.
Proof.
common factor in *
;l and hence say = Further 3r)" E M
+ = + - (mod J) (since E J)
t(YJI - a 'YJ") I
tY]' -
as required. 0
303
Theorem 2.
definition) .
Proof.
by
Ge.O!tge. WILMERS
¢ E Sent ( L c) and L *
l L U {Xl ... X
n}·
WI
A Z ( L ) -sentence '¥ is conservative over T if every L -consequence
of T u {,¥} is a consequence of T.
A F= ZE A is resplendent
Theorem 1.- Let ¢ be a Z(L c)-sentence such that for some Z(L)-sentence
wI
'l' , conservative over T, T F= w 'l' ->- ¢. Then there is some
Z(L)-sentence ¢' such that T F= w¢' .
REFERENCES
Vol. 749: V. Girault and P.-A Raviart, Finite Element Approximation Vol. 779: Euclidean Harmonic Analysis. Proceedings, 1979. Edited
of the Navier-Stokes Equations. VII, 200 pages. 1979. by J. J. Benedetto. Ill, 177 pages.1980.
Vol. 750: J. C. Jantzen, Moduln mit einem htichsten Gewicht. Ill, Vol. 780: L. Schwartz, Semi-Martingales sur des Variates, et Martin-
195 Seiten. 1979. gales Conformes sur des Variates Analytiques Complexes. XV, 132
Vol. 751: Number Theory, Carbondale 1979. Proceedings. Edited by pages. 1980.
M. B. Nathanson. V, 342 pages. 1979. Vol. 781: Harmonic Analysis lraklion 1978. Proceedings 1978. Edited
Vol. 752: M. Barr, *-Autonomous Categories. VI, 140 pages. 1979. by N. Petridis, S. K. Pichorides and N. Varopoulos. V, 213 pages.1980.
Vol. 782: Bifurcation and Nonlinear Eigenvalue Problems. Proceed-
Vol. 753: Applications of Sheaves. Proceedings, 1977. Edited by
ings, 1978. Edited by C. Bardos, J. M. Lasry and M. Schatzman.
M. Fourman, C. Mulvey and D. Scott. XIV, 779 pages. 1979.
VIII, 296 pages. 1980.
Vol. 754: 0. A Laudal, Formal Moduli of Algebraic Structures. Ill,
161 pages. 1979. Vol. 783: A Dinghas, Wertverteilung meromorpher Funktionen in
ein- und mehrfach zusammenhiingenden Gebieten. Edited by R. Ne-
Vol. 755: Global Analysis. Proceedings, 1978. Edited by M. Grmela
vanlinna and C. Andreian Cazacu. XIII, 145 pages. 1980.
and J. E. Marsden. VII, 377 pages. 1979.
Vol. 756: H. 0. Cordes, Elliptic Pseudo-Differential Operators - An Vol. 784: Seminaire de Probabilites XIV. Proceedings, 1978/79.
Abstract Theory. IX, 331 pages. 1979. Edited by J. Azema and M. Yor. VIII, 546 pages. 1980.
Vol. 757: Smoothing Techniques for Curve Estimation. Proceedings, Vol. 785: W. M. Schmidt, Diophantine Approximation. X, 299 pages.
1979. Edited by Th. Gasser and M. Rosenblatt. V, 245 pages. 1979. 1980.
Vol. 786: I. J. Maddox, Infinite Matrices of Operators. V, 122 pages. Vol. 816: L. Stoica, Local Operators and Markov Processes. VIII,
1980. 104 pages. 1980.
Vol. 787: Potential Theory, Copenhagen 1979. Proceedings, 1979. Vol. 817: L. Gerritzen, M. van der Put, Schottky Groups and Mumford
Edited by C. Berg, G. Forst and B. Fuglede. VIII, 319 pages. 1980. Curves. VIII, 317 pages. 1980.
Vol. 788: Topology Symposium, Siegen 1979. Proceedings, 1979. Vol. 818: S. Montgomery, Fixed Rings of Finite Automorphism Groups
Edited by U. Koschorke and W. D. Neumann. VIII, 495 pages. 1980. of Associative Rings. VII, 126 pages. 1980.
Vol. 789: J. E. Humphreys, Arithmetic Groups. VII, 158 pages. 1980. Vol. 819: Global Theory of Dynamical Systems. Proceedings, 1979.
Edited by Z. Nitecki and C. Robinson. IX, 499 pages. 1980.
Vol. 790: W. Dicks, Groups, Trees and Projective Modules. IX, 127
pages. 1980. Vol. 820: W. Abikoff, The Real Analytic Theory ofTeichmOIIer Space.
VII, 144 pages. 1980.
Vol. 791: K. W. Bauer and S. Ruscheweyh, Differential Operators
Vol. 821: Statistique non Parametrique Asymptotique. Proceedings,
for Partial Differential Equations and Function Theoretic Applica·
1979. Edited by J.·P. Raoul!. VII, 175 pages. 1980.
lions. V, 258 pages. 1980.
Vol. 822: Seminaire Pierre Lelong-Henri Skoda, (Analyse) Annees
Vol. 792: Geometry and Differential Geometry. Proceedings; 1979. 1978/79. Proceedings. Edited by P. Lelong et H. Skoda. VIII,
Edited by R. Artzy and I. Vaisman. VI, 443 pages. 1980. 356 pages, 1980.
Vol. 793: J. Renault, A Groupoid Approach to C'·Aigebras. Ill, 160 Vol. 823: J. Kral, Integral Operators in Potential Theory. Ill, 171
pages. 1980. pages. 1980.
Vol. 794: Measure Theory, Oberwolfach 1979. Proceedings 1979. Vol. 824: D. Frank Hsu, Cyclic Neofields and Combinatorial Designs.
Edited by D. Kolzow. XV, 573 pages. 1980. VI, 230 pages. 1980.
Vol. 795: Seminaire d'Aigebre Paul Dubreil et Marie·Paule Malliavin. Vol. 825: Ring Theory, Antwerp 1980. Proceedings. Edited by F. van
Proceedings 1979. Edited by M. P. Malliavin. V, 433 pages. 1980. Oystaeyen. VII, 209 pages. 1980.
Vol. 796: C. Constantinescu, Duality in Measure Theory. IV, 197 Vol. 826: Ph. G. Ciarlet et P. Rabier, Les Equations de von Karman.
pages. 1980. VI, 181 pages. 1980.
Vol. 797: S. Maki, The Determination of Units in Real Cyclic Sextic Vol. 827: Ordinary and Partial Differential Equations. Proceedings,
Fields. Ill, 198 pages. 1980. 1978. Edited by W. N. Everitt. XVI, 271 pages. 1980.
Vol. 798: Analytic Functions, Kozubnik 1979. Proceedings. Edited Vol. 828: Probability Theory on Vector Spaces II. Proceedings, 1979.
by J.-!:.awrynowicz. X, 4 76 pages. 1980. Edited by A. Weron. XIII, 324 pages. 1980.
Vol. 799: Functional Differential Equations and Bifurcation. Proceed· Vol. 829: Combinatorial Mathematics VII. Proceedings, 1979. Edited
ings 1979. Edited by A. F.lze. XXII, 409 pages. 1980. by R. W. Robinson et al.. X, 256 pages. 1980.
Vol. 800: M.·F. Vigneras, Arithmetique des Algebres de Ouaternions. Vol. 830: J. A. Green, Polynomial Representations of GLn. VI, 118
VII, 169 pages. 1980. pages. 1980.
Vol. 801: K. Floret, Weakly Compact Sets. VII, 123 pages. 1980.
Vol. 831: Representation Theory I. Proceedings, 1979. Edited by
Vol. 802: J. Bair, R. Fourneau, Etude Geometrique des Espaces V. Dlab and P. Gabriel. XIV, 373 pages. 1980.
Vectoriels II. VII, 283 pages. 1980.
Vol. 832: Representation Theory II. Proceedings, 1979. Edited by
Vol. 803: F.·Y. Maeda, Dirichlet Integrals on Harmonic Spaces. X, V. Dlab and P. Gabriel. XIV, 673 pages. 1980.
180 pages. 1980.
Vol. 833: Th. Jeulin, Semi-Martingales et Grossissement d'une
Vol. 804: M. Matsuda, First Order Algebraic Differential Equations. Filtration. IX, 142 Seiten. 1980.
VII, 111 pages. 1980.
Vol. 834: Model Theory of Algebra and Arithmetic. Proceedings,
Vol. 805: 0. Kowalski, Generalized Symmetric Spaces. XII, 187 1979. Edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie. VI,
pages. 1980. 410 pages. 1980.
Vol. 806: Burnside Groups. Proceedings, 1977. Edited by J. L. Men· Vol. 835: H Zieschang, E. Vogt and H.·D. Coldewey, Surfaces and
nicke. V, 2 7 4 pages. 1980. Planar Discontinuous Groups. X, 334 pages. 1980.
Vol. 807: Fonctions de Plusieurs Variables Complexes IV. Pro· Vol. 836: Differential Geometrical Methods in Mathematical Physics.
ceedings, 1979. Edited by F. Norguet. IX, 198 pages. 1980. Proceedings, 1979. Edited by P. L. Garcia, A Perez·Rend6n, and
J. M. Souriau. XII, 538 pages. 1980.
Vol. 808: G. Maury et J. Raynaud, Ordres Maximaux au Sens de
K. Asano. VIII, 192 pages. 1980. Vol. 83 7: J. Meixner, F. W. Schatke and G. Wolf, Mathieu Functions
and Spheroidal Functions and their Mathematical Foundations
Vol. 809: I. Gumowski and Ch. Mira, Recurences and Discrete Further Studies. VII, 126 pages. 1980.
Dynamic Systems. VI, 272 pages. 1980.
Vol. 838: Global Differential Geometry and Global Analysis. Pro·
Vol. 810: Geometrical Approaches to Differential Equations. Pro· ceedings 1979. Edited by D. Ferus et al. XI, 299 pages. 1981.
ceedings 1979. Edited by R. Martini. VII, 339 pages. 1980.
Vol. 839: Cabal Seminar 77 - 79. Proceedings. Edited by A. S.
Vol. 811: D. Normann, Recursion on the Countable Functionals. Kechris, D. A. Martin and Y. N. Moschovakis. V, 274 pages. 1981.
VIII, 191 pages. 1980.
Vol. 840: D. Henry, Geometric Theory of Semi linear Parabolic Equa-
Vol. 812: Y. Namikawa, Toroidal Compactification of Siegel Spaces. tions. IV, 348 pages. 1981.
VIII, 162 pages. 1980.
Vol. 841: A. Haraux, Nonlinear Evolution Equations-Global Behaviour
Vol. 813: A. Campillo, Algebroid Curves in Positive Characteristic.
of Solutions. XII, 313 pages. 1981.
V, 168 pages. 1980.
Vol. 814: Seminaire de Theorie du Potentiel, Paris, No. 5. Proceed· Vol. 842: Seminaire Bourbaki vol. 1979/80. Exposes 543-560.
ings. Edited by F. Hirsch et G. Mokobodzki. IV, 239 pages. 1980. IV, 317 pages. 1981.
Vol. 815: P. J. Slodowy, Simple Singularities and Simple Algebraic Vol. 843: Functional Analysis, Holomorphy, and Approximation
Groups. XI, 175 pages. 1980. Theory. Proceedings. Edited by S. Machado. VI, 636 pages. 1981.
Vol. 844: Groupe de Brauer. Proceedings. Edited by M. Kervaire and Vol. 872: Set Theory and Model Theory. Proceedings, 1979. Edited
M. Ojanguren. VII, 274 pages. 1981. by R. B. Jensen and A. Prestel. V, 174 pages. 1981.
Vol. 845: A. Tannenbaum, lnvariance and System Theory: Algebraic Vol. 873: Constructive Mathematics, Proceedings, 1980. Edited by
and Geometric Aspects. X, 161 pages. 1981. F. Richman. VII, 347 pages. 1981.
Vol. 846: Ordinary and Partial Differential Equations, Proceedings. Vol. 874: Abelian Group Theory. Proceedings, 1981. Edited by
Edited by W. N. Everitt and B. D. Sleeman. XIV, 384 pages. 1981. R. Glibel and E. Walker. XXI, 44 7 pages. 1981.
Vol. 84 7: U. Koschorke, Vector Fields and Other Vector Bundle Vol. 875: H. Zieschang, Finite Groups of Mapping Classes of
Morphisms- A Singularity Approach. IV, 304 pages. 1981.
Surfaces. VIII, 340 pages. 1981.
Vol. 848: Algebra, Carbondale 1980. Proceedings. Ed. by R. K. Vol. 876: J. P. Bickel, N. El Karoui and M. Yor. Ecole d'Ete de Proba-
Amaya. VI, 298 pages. 1981. bilites de Saint-Flour IX - 1979. Edited by P. L. Hennequin. XI,
Vol. 849: P. Major, Multiple Wiener-ItO Integrals. VII, 127 pages. 1981. 280 pages. 1981.
Vol. 850: Seminaire de Probabilites XV.1979/80. Avectablegenerale Vol. 877: J. Erven, B.-J. Falkowski, Low Order Cohomology and
des exposes de 1966/67 a 1978/79. Edited by J. Azema and M. Yor. Applications. VI, 126 pages. 1981.
IV, 704 pages. 1981.
Vol. 878: Numerical Solution of Nonlinear Equations. Proceedings,
Vol. 851: Stochastic Integrals. Proceedings, 1980. Edited by D. 1980. Edited by E. L. Allgower, K. Glashoff, and H.-0. Peitgen.
Williams. IX, 540 pages. 1981. XIV, 440 pages. 1981.
Vol. 852: L. Schwartz, Geometry and Probability in Banach Spaces. Vol. 879: V. V. Sazonov, Normal Approximation - Some Recent
X, 101 pages. 1981. Advances. VII, 105 pages. 1981.
Vol. 853: N. Boboc, G. Sueur, A. Cornea, Order and Convexity in Vol. 880: Non Commutative Harmonic Analysis and Lie Groups.
Potential Theory: H-Cones. IV, 286 pages. 1981. Proceedings, 1980. Edited by J. Carmona and M. Vergne. IV, 553
pages. 1981.
Vol. 854: Algebraic K-Theory. Evanston 1980. Proceedings. Edited
by E. M. Friedlander and M. R. Stein. V, 517 pages. 1981. Vol. 881: R. Lutz, M. Gaze, Nonstandard Analysis. XIV, 261 pages.
Vol. 855: Semigroups. Proceedings 1978. Edited by H. JUrgensen, 1981.
M. Petrich and H. J. Weinert. V, 221 pages. 1981. Vol. 882: Integral Representations and Applications. Proceedings,
1980. Edited by K. Roggenkamp. XII, 479 pages. 1981.
Vol. 856: R. Lascar, Propagation des Singularites des Solutions
d'Equations Pseudo-Differentielles a Caracteristiques de Multipli- Vol. 883: Cylindric Set Algebras. By L. Henkin, J.D. Monk, A. Tarski,
cites Variables. VIII, 237 pages. 1981. H. Andreka, and I. Nemeti. VII, 323 pages. 1981.
Vol. 857: M. Miyanishi. Non-complete Algebraic Surfaces. XVIII, Vol. 884: Combinatorial Mathematics VIII. Proceedings, 1980. Edited
244 pages. 1981. by K. L. McAvaney. XIII, 359 pages. 1981.
Vol. 858: E. A. Coddington, H. S. V. de Snoo: Regular Boundary Value Vol. 885: Combinatorics and Graph Theory. Edited by S. B. Rao.
Problems Associated with Pairs of Ordinary Differential Expressions. Proceedings, 1980. VII, 500 pages. 1981.
V, 225 pages. 1981.
Vol. 886: Fixed Point Theory. Proceedings, 1980. Edited by E. Fadell
Vol. 859: Logic Year 1979-80. Proceedings. Edited by M. Lerman, and G. Fournier. XII, 511 pages. 1981.
J. Schmerl and R. Soare. VIII, 326 pages. 1981.
Vol. 887: F. van Oystaeyen, A. Verschoren, Non-commutative Alge-
Vol. 860: Probability in Banach Spaces Ill. Proceedings, 1980. Edited braic Geometry, VI, 404 pages. 1981.
by A. Beck. VI, 329 pages. 1981.
Vol. 888: Pade Approximation and its Applications. Proceedings,
Vol. 861: Analytical Methods in Probability Theory. Proceedings 1980. 1980. Edited by M.G. de Bruin and H. van Rossum. VI, 383 pages.
Edited by D. Dugue, E. Lukacs, V. K. Rohatgi. X, 183 pages. 1981. 1981.
Vol. 862: Algebraic Geometry. Proceedings 1980. Edited by A. Lib- Vol. 889: J. Bourgain, New Classes of ,tP-Spaces. V, 143 pages.1981.
gober and P. Wag reich. V, 281 pages. 1981.
Vol. 890: Model Theory and Arithmetic. Proceedings, 1979/80.
Vol. 863: Processus Aleatoires a Deux Indices. Proceedings, 1980. Edited by C. Berline, K. McAloon, and J.-P. Ressayre. VI, 306
Edited by H. Korezlioglu, G. Mazziotto and J. Szpirglas. V, 274 pages. pages. 1981.
1981.
Vol. 866: J.-M. Bismut, Mecanique Aleatoire. XVI, 563 pages. 1981.