210:
251:
173:
270:
73:
244:
275:
25:
237:
107:
100:
17:
161:
69:
45:
111:
36:
if it has a certain strong regularity property. Universally Baire sets play an important role in
169:
130:
184:
221:
64:
of the Baire space is universally Baire if it has the following equivalent properties:
41:
264:
49:
29:
188:
21:
217:
37:
118:
209:
91:, and it is forced that the projections of the branches through
166:
Set Theory: Centre de
Recerca Matemàtica Barcelona, 2003-2004
195:. Mathematical Sciences Research Institute Publications.
225:
87:
is the projection of the set of all branches through
136:For every cardinal λ and every continuous function
44:and the centerpiece of his argument against the
245:
8:
191:. Judah, H.; Just, W.; Woodin, Hugh (eds.).
140:from λ to the Baire space, the preimage of
40:, a very strong logical system invented by
252:
238:
7:
206:
204:
24:(or more generally a subset of the
14:
208:
117:from Ω to the Baire space, the
1:
16:In the mathematical field of
224:. You can help Knowledge by
193:Set Theory of the Continuum
292:
203:
148:has the property of Baire.
168:. Trends in Mathematics.
95:and the branches through
108:compact Hausdorff space
271:Descriptive set theory
220:-related article is a
18:descriptive set theory
68:For every notion of
46:continuum hypothesis
112:continuous function
233:
232:
185:Magidor, Menachem
175:978-3-7643-7691-8
162:Todorcevic, Stevo
131:property of Baire
34:universally Baire
283:
276:Set theory stubs
254:
247:
240:
212:
205:
196:
179:
291:
290:
286:
285:
284:
282:
281:
280:
261:
260:
259:
258:
201:
199:
182:
176:
160:Bagaria, Joan;
159:
155:
58:
12:
11:
5:
289:
287:
279:
278:
273:
263:
262:
257:
256:
249:
242:
234:
231:
230:
213:
198:
197:
180:
174:
156:
154:
151:
150:
149:
134:
104:
103:of each other.
57:
54:
42:W. Hugh Woodin
13:
10:
9:
6:
4:
3:
2:
288:
277:
274:
272:
269:
268:
266:
255:
250:
248:
243:
241:
236:
235:
229:
227:
223:
219:
214:
211:
207:
202:
194:
190:
186:
181:
177:
171:
167:
163:
158:
157:
152:
147:
143:
139:
135:
132:
128:
124:
120:
116:
113:
110:Ω, and every
109:
105:
102:
98:
94:
90:
86:
82:
78:
75:
71:
67:
66:
65:
63:
55:
53:
51:
47:
43:
39:
35:
31:
27:
23:
19:
226:expanding it
215:
200:
192:
189:Woodin, Hugh
165:
145:
141:
137:
126:
122:
114:
96:
92:
88:
84:
80:
76:
72:, there are
61:
59:
50:Georg Cantor
33:
32:) is called
30:Cantor space
22:real numbers
15:
101:complements
26:Baire space
20:, a set of
265:Categories
218:set theory
183:Feng, Qi;
153:References
106:For every
83:such that
56:Definition
60:A subset
164:(eds.).
129:has the
119:preimage
70:forcing
38:Ω-logic
172:
144:under
125:under
216:This
133:in Ω.
74:trees
222:stub
170:ISBN
99:are
79:and
121:of
48:of
28:or
267::
187:;
52:.
253:e
246:t
239:v
228:.
178:.
146:f
142:A
138:f
127:f
123:A
115:f
97:U
93:T
89:T
85:A
81:U
77:T
62:A
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.