253:
243:
222:
191:
407:(κ); I think that excludes so-called "long extenders". The analysis gets more complicated when you allow long extenders, but the basic definition is the same. You probably need long extenders to talk about superstrong and up. But again, that's fairly off the cuff, and it's been many many years since I've looked at it. --
399:
Then, analogously to the way that the ultrapower by a particular ultrafilter cannot contain that ultrafilter, an ultrapower by an extender cannot contain that extender (I think). But I am pretty sure the extender notion is flexible enough to capture all elementary embeddings that can be defined from
331:
Many of the large cardinal properties assert the existence of elementary embeddings, including the largest (strongest) of them. Often these properties involve two or more cardinal (or ordinal) numbers. Nonetheless, I believe that it is the critical point of the elementary embedding which is the
332:
cardinal number which the property implies is a very strong limit, even though some of the other cardinals may be larger. Unfortunately, I do not know how to prove or even formalize this idea, so I am putting it here in the comments only rather than the text of the article.
350:
of ZFC into another can be decomposed into an ultrapower followed by another (possibly trivial) elementary embedding. The ultrapower having the same critical point as the original embedding; and the other embedding, if non-trivial, having a larger critical point.
361:
I now think that this is incorrect, because if an elementary embedding comes from an ultrapower, then its range cannot contain the ultrafilter generating the ultrapower and that would contradict many of the large cardinal properties such as
153:
391:
You can do it (I think — it's been a long time since I've touched this stuff) with an "ultrapower" in the appropriate sense, but not an ultrapower by a single ultrafilter or measure. You need an ultrapower by an
309:
147:
44:
438:
299:
79:
433:
400:
a set parameter, and that (with some quibbles) all known (consistent) large-cardinal axioms can be expressed in terms of the existence of extenders.
275:
85:
168:
135:
266:
227:
396:. That works out to a directed system of ultrafilters, and your final ultrapower is the direct limit of ultrapowers along the way.
99:
30:
104:
20:
129:
74:
202:
125:
65:
24:
175:
367:
109:
190:
393:
208:
252:
141:
403:
However the version in our article may not be that flexible, as it says somewhere that λ is at most
412:
375:
161:
55:
274:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
258:
70:
242:
221:
51:
346:
I think (but I am not positive) that any non-trivial elementary embedding of one standard
416:
379:
355:
336:
408:
371:
352:
333:
427:
363:
347:
271:
248:
184:
15:
327:
Large cardinal properties belong to their critical points
160:
270:, a collaborative effort to improve the coverage of
33:for general discussion of the article's subject.
174:
8:
216:
188:
218:
342:Decomposition of elementary embeddings
7:
264:This article is within the scope of
207:It is of interest to the following
23:for discussing improvements to the
14:
439:Low-priority mathematics articles
284:Knowledge:WikiProject Mathematics
287:Template:WikiProject Mathematics
251:
241:
220:
189:
45:Click here to start a new topic.
434:Stub-Class mathematics articles
304:This article has been rated as
1:
278:and see a list of open tasks.
42:Put new text under old text.
50:New to Knowledge? Welcome!
25:Critical point (set theory)
455:
417:08:38, 15 March 2018 (UTC)
380:00:45, 15 March 2018 (UTC)
303:
236:
215:
80:Be welcoming to newcomers
310:project's priority scale
368:rank-into-rank cardinal
356:05:05, 8 May 2006 (UTC)
337:06:28, 6 May 2006 (UTC)
267:WikiProject Mathematics
197:This article is rated
75:avoid personal attacks
100:Neutral point of view
290:mathematics articles
105:No original research
259:Mathematics portal
203:content assessment
86:dispute resolution
47:
324:
323:
320:
319:
316:
315:
183:
182:
66:Assume good faith
43:
446:
292:
291:
288:
285:
282:
261:
256:
255:
245:
238:
237:
232:
224:
217:
200:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
454:
453:
449:
448:
447:
445:
444:
443:
424:
423:
344:
329:
289:
286:
283:
280:
279:
257:
250:
230:
201:on Knowledge's
198:
121:
116:
115:
114:
91:
61:
12:
11:
5:
452:
450:
442:
441:
436:
426:
425:
422:
421:
420:
419:
401:
397:
389:
343:
340:
328:
325:
322:
321:
318:
317:
314:
313:
302:
296:
295:
293:
276:the discussion
263:
262:
246:
234:
233:
225:
213:
212:
206:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
451:
440:
437:
435:
432:
431:
429:
418:
414:
410:
406:
402:
398:
395:
390:
387:
384:I think it's
383:
382:
381:
377:
373:
369:
365:
364:huge cardinal
360:
359:
358:
357:
354:
349:
341:
339:
338:
335:
326:
311:
307:
301:
298:
297:
294:
277:
273:
269:
268:
260:
254:
249:
247:
244:
240:
239:
235:
229:
226:
223:
219:
214:
210:
204:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
404:
385:
348:inner model
345:
330:
306:Low-priority
305:
265:
231:Low‑priority
209:WikiProjects
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
281:Mathematics
272:mathematics
228:Mathematics
148:free images
31:not a forum
428:Categories
199:Stub-class
409:Trovatore
372:JRSpriggs
353:JRSpriggs
334:JRSpriggs
88:if needed
71:Be polite
21:talk page
394:extender
388:correct.
56:get help
29:This is
27:article.
308:on the
154:WP refs
142:scholar
386:almost
205:scale.
126:Google
169:JSTOR
130:books
84:Seek
413:talk
376:talk
366:and
162:FENS
136:news
73:and
300:Low
176:TWL
430::
415:)
378:)
370:.
156:)
54:;
411:(
405:j
374:(
312:.
211::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.