84:
74:
53:
22:
267:
In the theorem statement there is no constraints on the sequence of terms t_i,j. Either the specification is missing, saying what are the terms and if they are of specific shape. Otherwise, because the terms are not said to be different from each other - the theorem is equivalent to a formulation
491:
140:
226:
van den Dries, Lou; Macintyre, Angus; Marker, David: The elementary theory of restricted analytic fields with exponentiation. Ann. of Math. (2) 140 (1994), no. 1, 183--205
482:
390:
358:
169:
page does not seem to say anything much more than this page, thus I suggest a merge. But perhaps there is more to the theory than this individual theorem? I don't know ...
326:
193:
Every universal and model complete theory in a language has definable Skolem functions, which are given by terms in that language on finitely many definable pieces
450:
430:
410:
519:
130:
514:
106:
495:
249:
97:
58:
283:
33:
21:
253:
39:
279:
83:
487:
271:
233:
200:
455:
363:
331:
275:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
229:
196:
73:
52:
215:
301:
174:
166:
159:
435:
415:
395:
508:
211:
102:
499:
287:
257:
237:
219:
204:
178:
170:
79:
248:
A work of Dale Miller is cited for the first, but what about the other two?
432:, the number of existential quantifiers, instead. Maybe use a new bound
15:
263:
Section "Statement" is either false or over-complicated.
458:
438:
418:
398:
366:
334:
304:
224:
I have seen it used in several places. For instance,
101:, a collaborative effort to improve the coverage of
476:
444:
424:
404:
384:
352:
320:
268:when only single sequence t_1,j needs to exist.
412:should allow for any finite number but reuses
191:I think we could add the following corollary:
8:
19:
485:
47:
457:
437:
417:
397:
365:
333:
309:
303:
49:
492:2601:646:9D81:2C30:C1BA:9B11:122E:E809
7:
95:This article is within the scope of
38:It is of interest to the following
14:
520:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
515:Start-Class mathematics articles
298:The statement indexes the terms
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1:
477:{\displaystyle 1\leq i\leq r}
385:{\displaystyle 1\leq j\leq n}
353:{\displaystyle 1\leq i\leq k}
238:14:58, 24 November 2008 (UTC)
220:01:02, 23 November 2008 (UTC)
205:12:03, 22 November 2008 (UTC)
109:and see a list of open tasks.
228:, Corollaries 2.15 and 4.7.
536:
294:Statement Section is wrong
244:Cites for generalizations?
500:07:07, 17 July 2023 (UTC)
134:
67:
46:
288:16:03, 5 June 2022 (UTC)
258:18:41, 6 July 2019 (UTC)
179:23:13, 4 June 2008 (UTC)
141:project's priority scale
98:WikiProject Mathematics
478:
446:
426:
406:
386:
354:
322:
321:{\displaystyle t_{ij}}
28:This article is rated
479:
447:
427:
407:
387:
355:
323:
165:Suggested merge: The
456:
436:
416:
396:
364:
332:
302:
121:mathematics articles
474:
442:
422:
402:
382:
350:
318:
90:Mathematics portal
34:content assessment
502:
490:comment added by
445:{\displaystyle r}
425:{\displaystyle k}
405:{\displaystyle i}
392:. The bounds for
274:comment added by
155:
154:
151:
150:
147:
146:
527:
483:
481:
480:
475:
451:
449:
448:
443:
431:
429:
428:
423:
411:
409:
408:
403:
391:
389:
388:
383:
359:
357:
356:
351:
327:
325:
324:
319:
317:
316:
290:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
535:
534:
530:
529:
528:
526:
525:
524:
505:
504:
454:
453:
434:
433:
414:
413:
394:
393:
362:
361:
330:
329:
305:
300:
299:
296:
269:
265:
246:
189:
167:Herbrand theory
163:
160:Herbrand theory
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
533:
531:
523:
522:
517:
507:
506:
473:
470:
467:
464:
461:
452:instead, i.e.
441:
421:
401:
381:
378:
375:
372:
369:
349:
346:
343:
340:
337:
315:
312:
308:
295:
292:
264:
261:
245:
242:
241:
240:
222:
188:
185:
183:
162:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
532:
521:
518:
516:
513:
512:
510:
503:
501:
497:
493:
489:
471:
468:
465:
462:
459:
439:
419:
399:
379:
376:
373:
370:
367:
347:
344:
341:
338:
335:
313:
310:
306:
293:
291:
289:
285:
281:
277:
273:
262:
260:
259:
255:
251:
243:
239:
235:
231:
227:
223:
221:
217:
213:
209:
208:
207:
206:
202:
198:
194:
186:
184:
181:
180:
176:
172:
168:
161:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
486:— Preceding
297:
270:— Preceding
266:
250:31.50.156.46
247:
225:
192:
190:
182:
164:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
509:Categories
158:mergefrom
187:Corollary
488:unsigned
284:contribs
272:unsigned
210:Source?
276:Zaabson
139:on the
212:Taemyr
36:scale.
328:with
230:Manta
197:Manta
171:linas
496:talk
360:and
280:talk
254:talk
234:talk
216:talk
201:talk
175:talk
484:?
131:Low
511::
498:)
469:≤
463:≤
377:≤
371:≤
345:≤
339:≤
286:)
282:•
256:)
236:)
218:)
203:)
195:.
177:)
494:(
472:r
466:i
460:1
440:r
420:k
400:i
380:n
374:j
368:1
348:k
342:i
336:1
314:j
311:i
307:t
278:(
252:(
232:(
214:(
199:(
173:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.