335:
233:
120:
156:
More generally, Chang's conjecture for two pairs (α,β), (γ,δ) of cardinals is the claim that every model of type (α,β) for a countable language has an elementary submodel of type (γ,δ). The consistency of
288:
160:
54:
376:
51:, ω). A model is of type (α,β) if it is of cardinality α and a unary relation is represented by a subset of cardinality β. The usual notation is
270:
410:
141:. Hans-Dieter Donder showed a weak version of the reverse implication: if CC is not only consistent but actually holds, then ω
369:
126:
362:
395:
283:
254:
405:
279:
400:
342:
24:
307:
266:
138:
346:
297:
32:
319:
315:
389:
240:
236:
228:{\displaystyle (\omega _{3},\omega _{2})\twoheadrightarrow (\omega _{2},\omega _{1})}
302:
20:
115:{\displaystyle (\omega _{2},\omega _{1})\twoheadrightarrow (\omega _{1},\omega )}
130:
150:
311:
262:
133:
proved the consistency of Chang's conjecture from the consistency of an ω
334:
261:, Studies in Logic and the Foundations of Mathematics (3rd ed.),
47:) for a countable language has an elementary submodel of type (ω
350:
163:
57:
227:
114:
39:, p. 309), states that every model of type (ω
370:
289:Bulletin of the American Mathematical Society
8:
377:
363:
301:
216:
203:
184:
171:
162:
97:
78:
65:
56:
129:implies that Chang's conjecture fails.
36:
7:
331:
329:
349:. You can help Knowledge (XXG) by
14:
333:
303:10.1090/S0002-9904-1963-10903-9
222:
196:
193:
190:
164:
109:
90:
87:
84:
58:
1:
284:"Models of complete theories"
427:
328:
239:from the consistency of a
127:axiom of constructibility
411:Mathematical logic stubs
16:Mathematical conjecture
345:-related article is a
229:
116:
230:
117:
161:
55:
253:Chang, Chen Chung;
343:mathematical logic
255:Keisler, H. Jerome
225:
112:
29:Chang's conjecture
25:mathematical logic
358:
357:
272:978-0-444-88054-3
418:
379:
372:
365:
337:
330:
322:
305:
275:
234:
232:
231:
226:
221:
220:
208:
207:
189:
188:
176:
175:
121:
119:
118:
113:
102:
101:
83:
82:
70:
69:
33:Chen Chung Chang
31:, attributed to
426:
425:
421:
420:
419:
417:
416:
415:
386:
385:
384:
383:
326:
278:
273:
252:
249:
212:
199:
180:
167:
159:
158:
148:
144:
136:
93:
74:
61:
53:
52:
50:
46:
42:
17:
12:
11:
5:
424:
422:
414:
413:
408:
403:
398:
388:
387:
382:
381:
374:
367:
359:
356:
355:
338:
324:
323:
296:(3): 299–313,
276:
271:
248:
245:
224:
219:
215:
211:
206:
202:
198:
195:
192:
187:
183:
179:
174:
170:
166:
146:
142:
139:Erdős cardinal
134:
111:
108:
105:
100:
96:
92:
89:
86:
81:
77:
73:
68:
64:
60:
48:
44:
40:
23:, a branch of
15:
13:
10:
9:
6:
4:
3:
2:
423:
412:
409:
407:
404:
402:
399:
397:
394:
393:
391:
380:
375:
373:
368:
366:
361:
360:
354:
352:
348:
344:
339:
336:
332:
327:
321:
317:
313:
309:
304:
299:
295:
291:
290:
285:
281:
280:Vaught, R. L.
277:
274:
268:
264:
260:
256:
251:
250:
246:
244:
242:
241:huge cardinal
238:
235:was shown by
217:
213:
209:
204:
200:
185:
181:
177:
172:
168:
154:
152:
140:
132:
128:
123:
106:
103:
98:
94:
79:
75:
71:
66:
62:
38:
34:
30:
26:
22:
396:Model theory
351:expanding it
340:
325:
293:
287:
259:Model Theory
258:
155:
124:
37:Vaught (1963
28:
21:model theory
18:
406:Conjectures
401:Set theory
390:Categories
247:References
149:-Erdős in
312:0002-9904
214:ω
201:ω
194:↠
182:ω
169:ω
107:ω
95:ω
88:↠
76:ω
63:ω
282:(1963),
263:Elsevier
257:(1990),
320:0147396
318:
310:
269:
131:Silver
341:This
237:Laver
347:stub
308:ISSN
267:ISBN
145:is ω
125:The
298:doi
35:by
19:In
392::
316:MR
314:,
306:,
294:69
292:,
286:,
265:,
243:.
153:.
122:.
43:,ω
27:,
378:e
371:t
364:v
353:.
300::
223:)
218:1
210:,
205:2
197:(
191:)
186:2
178:,
173:3
165:(
151:K
147:1
143:2
137:-
135:1
110:)
104:,
99:1
91:(
85:)
80:1
72:,
67:2
59:(
49:1
45:1
41:2
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.