199:
240:
36:
138:
179:
259:
233:
269:
143:
46:
226:
264:
32:
148:
84:
76:
175:
114:
58:
153:
110:
210:
167:
69:
28:
253:
62:
102:
50:
206:
20:
95:
198:
172:
The axiom of determinacy, forcing axioms, and the nonstationary ideal
35:. The axiom, which is to be understood in the context of
214:
174:(1st ed.). Berlin: W. de Gruyter. p. 618.
125:The second clause by itself is referred to as
234:
8:
241:
227:
7:
195:
193:
14:
197:
139:Axiom of projective determinacy
1:
27:is an extension, proposed by
213:. You can help Knowledge by
286:
192:
16:Set theory axiom extension
144:Axiom of real determinacy
47:axiom of dependent choice
83: ⊆ ω, and any
209:-related article is a
53:), states two things:
260:Axioms of set theory
113:, starting with the
94: → ω, the
33:axiom of determinacy
127:ordinal determinacy
109:is to be given the
85:continuous function
61:of real numbers is
29:W. Hugh Woodin
222:
221:
115:discrete topology
277:
270:Set theory stubs
243:
236:
229:
201:
194:
185:
154:Topological game
149:Suslin's problem
111:product topology
75: <
285:
284:
280:
279:
278:
276:
275:
274:
250:
249:
248:
247:
190:
188:
182:
168:Woodin, W. Hugh
166:
162:
135:
44:
17:
12:
11:
5:
283:
281:
273:
272:
267:
262:
252:
251:
246:
245:
238:
231:
223:
220:
219:
202:
187:
186:
180:
163:
161:
158:
157:
156:
151:
146:
141:
134:
131:
123:
122:
66:
40:
15:
13:
10:
9:
6:
4:
3:
2:
282:
271:
268:
266:
263:
261:
258:
257:
255:
244:
239:
237:
232:
230:
225:
224:
218:
216:
212:
208:
203:
200:
196:
191:
183:
177:
173:
169:
165:
164:
159:
155:
152:
150:
147:
145:
142:
140:
137:
136:
132:
130:
128:
120:
116:
112:
108:
104:
100:
97:
93:
89:
86:
82:
78:
74:
71:
67:
64:
60:
56:
55:
54:
52:
48:
43:
38:
34:
30:
26:
22:
215:expanding it
204:
189:
171:
126:
124:
118:
106:
98:
91:
87:
80:
72:
51:real numbers
41:
24:
18:
265:Determinacy
254:Categories
207:set theory
181:311015708X
160:References
103:determined
21:set theory
105:. (Here,
31:, to the
170:(1999).
133:See also
96:preimage
68:For any
90::
70:ordinal
63:∞-Borel
39:plus DC
178:
79:, any
57:Every
205:This
45:(the
211:stub
176:ISBN
49:for
117:on
101:is
59:set
19:In
256::
129:.
121:.)
37:ZF
25:AD
23:,
242:e
235:t
228:v
217:.
184:.
119:λ
107:λ
99:π
92:λ
88:π
81:A
77:Θ
73:λ
65:.
42:R
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.