Homogeneously Suslin set
Source 📝
356:
150:
282:
184:
244:
204:
112:
90:
224:
69:
38:
397:
416:
48:
390:
120:
426:
253:
155:
383:
297:
17:
421:
247:
334:
367:
229:
189:
97:
75:
324:
45:
209:
54:
23:
410:
246:-homogeneously Suslin. This result is important in the proof that the existence of a
285:
363:
355:
338:
329:
312:
371:
256:
232:
212:
192:
158:
123:
100:
78:
57:
26:
276:
238:
218:
198:
178:
144:
106:
84:
63:
32:
311:Martin, Donald A. and John R. Steel (Jan 1989).
145:{\displaystyle A\subseteq {}^{\omega }\omega }
391:
8:
323:(1). American Mathematical Society: 71–125.
317:Journal of the American Mathematical Society
398:
384:
328:
268:
263:
258:
255:
231:
211:
191:
170:
165:
160:
157:
133:
131:
122:
99:
77:
56:
25:
277:{\displaystyle \mathbf {\Pi } _{1}^{1}}
179:{\displaystyle \mathbf {\Pi } _{1}^{1}}
7:
352:
350:
313:"A Proof of Projective Determinacy"
370:. You can help Knowledge (XXG) by
14:
354:
259:
161:
206:is a measurable cardinal, then
1:
94:if it is the projection of a
44:if it is the projection of a
443:
349:
239:{\displaystyle \kappa }
199:{\displaystyle \kappa }
107:{\displaystyle \kappa }
85:{\displaystyle \kappa }
417:Descriptive set theory
366:-related article is a
298:Projective determinacy
278:
240:
220:
200:
180:
146:
108:
86:
65:
34:
18:descriptive set theory
279:
241:
221:
201:
181:
147:
109:
92:-homogeneously Suslin
87:
66:
35:
254:
230:
210:
190:
156:
121:
98:
76:
55:
42:homogeneously Suslin
24:
273:
248:measurable cardinal
175:
114:-homogeneous tree.
274:
257:
236:
216:
196:
176:
159:
142:
104:
82:
61:
30:
379:
378:
219:{\displaystyle A}
64:{\displaystyle S}
33:{\displaystyle S}
434:
427:Set theory stubs
400:
393:
386:
358:
351:
342:
332:
283:
281:
280:
275:
272:
267:
262:
245:
243:
242:
237:
225:
223:
222:
217:
205:
203:
202:
197:
185:
183:
182:
177:
174:
169:
164:
151:
149:
148:
143:
138:
137:
132:
113:
111:
110:
105:
91:
89:
88:
83:
70:
68:
67:
62:
39:
37:
36:
31:
442:
441:
437:
436:
435:
433:
432:
431:
407:
406:
405:
404:
347:
345:
330:10.2307/1990913
310:
306:
294:
252:
251:
228:
227:
208:
207:
188:
187:
154:
153:
130:
119:
118:
96:
95:
74:
73:
53:
52:
22:
21:
12:
11:
5:
440:
438:
430:
429:
424:
419:
409:
408:
403:
402:
395:
388:
380:
377:
376:
359:
344:
343:
307:
305:
302:
301:
300:
293:
290:
271:
266:
261:
235:
215:
195:
173:
168:
163:
141:
136:
129:
126:
103:
81:
71:is said to be
60:
40:is said to be
29:
13:
10:
9:
6:
4:
3:
2:
439:
428:
425:
423:
420:
418:
415:
414:
412:
401:
396:
394:
389:
387:
382:
381:
375:
373:
369:
365:
360:
357:
353:
348:
340:
336:
331:
326:
322:
318:
314:
309:
308:
303:
299:
296:
295:
291:
289:
287:
269:
264:
250:implies that
249:
233:
213:
193:
171:
166:
139:
134:
127:
124:
115:
101:
93:
79:
58:
50:
47:
43:
27:
19:
372:expanding it
361:
346:
320:
316:
116:
72:
41:
15:
422:Determinacy
46:homogeneous
411:Categories
364:set theory
304:References
286:determined
284:sets are
260:Π
234:κ
194:κ
162:Π
140:ω
135:ω
128:⊆
102:κ
80:κ
292:See also
186:set and
20:, a set
339:1990913
337:
362:This
335:JSTOR
152:is a
368:stub
49:tree
325:doi
226:is
117:If
16:In
413::
333:.
319:.
315:.
288:.
51:.
399:e
392:t
385:v
374:.
341:.
327::
321:2
270:1
265:1
214:A
172:1
167:1
125:A
59:S
28:S
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑
