84:
74:
53:
22:
1231:
1028:
948:
1139:
1496:
1306:
332:. No one seems to have touched that page but me. I think it's a critical concept, given that it's the essential subject matter of descriptive set theory (one could almost say it should bear the same relation to the
140:
831:
531:
1748:
1714:
1672:
1598:
1564:
1530:
1442:
1408:
1374:
1340:
1062:
865:
772:
734:
697:
629:
462:
428:
1638:
1130:
1096:
663:
597:
eine σ-Algebra." (The German version of the pages uses the lightface symbols for both Borel hierarchy and projective hierarchy. ) If I understand it correctly, it says that families
595:
563:
276:
Well, you can make a case for that, but it does make maintenance and improvement more difficult. (By the way the "analytical hierarchy/analytic set" juxtaposition is wrong.) --
792:
953:
873:
261:
There is a little duplication of content, but I think it is helpful to a naive reader to start with the non-hierarchy definition and later learn about the stratification.
396:
and if one blurs one's eyes, they cannot be told apart. Perhaps some clarifying distinction should be drawn. Well, I mean, the Borel hierarchy starts with
1226:{\displaystyle \mathbf {\Delta } _{1}^{1}\subset \sigma (\mathbf {\Sigma } _{1}^{1})\subset \mathbf {\Delta } _{2}^{1}\subset \cdots \subset \mathbf {P} }
344:). I think I did a decent start-class job on the article, but I wonder whether people are actually using the material, given that no one has edited it. --
1799:
130:
1794:
1447:
1251:
106:
1755:
1233:. Perhaps in fact each inclusion is strict in eveyy uncountable Polish space? (We know that this is true for the first inclusion as stated
465:
1234:
97:
58:
166:, but that doesn't make any sense as "analytical" is a lightface notion, whereas "projective" is boldface. This page and
33:
1716:
set" is something outside the hierarchy: we have to show that every analytic set is the projection of a Borel set, and
1751:
297:
page is still unwritten. Not being a descriptive set theorist, I tend mentally identify the corresponding hierarchies.
1759:
796:
486:
329:
1719:
1685:
1643:
1569:
1535:
1501:
1413:
1379:
1345:
1311:
1033:
836:
743:
705:
668:
600:
433:
399:
1603:
21:
1101:
1067:
634:
294:
1245:
may have addressed the second, although I don't know if it would work for eveyy uncountable Polish space.)
469:
333:
225:
867:
is closed under countable intersection seems to be nontrivial for me. A proof would be well appreciated.
369:
303:
267:
211:
39:
565:
sind abgeschlossen bezüglich abzählbarer
Durchschnitte und abzählbarer Vereinigungen, insbesondere ist
83:
1023:{\displaystyle \mathbf {\Sigma } _{n}^{1},\mathbf {\Pi } _{n}^{1}\subset \mathbf {\Sigma } _{n+1}^{1}}
943:{\displaystyle \mathbf {\Sigma } _{n}^{1},\mathbf {\Pi } _{n}^{1}\subset \mathbf {\Delta } _{n+1}^{1}}
360:
321:
234:
190:
163:
568:
536:
364:
325:
298:
262:
206:
195:
There's no sense in having both articles, and the "hierarchy" title better reflects the content. --
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
777:
89:
73:
52:
1132:
set; while the latter implication is trivially true, I have no idea about the former even with
229:
393:
385:
243:
1410:
sets are precisely those sets such that themselves as well as their projections are all
345:
277:
196:
186:
175:
1788:
251:
222:
I think it is nice to have a separation between X hierarchy and X set. For example:
737:
356:
238:
167:
464:, but it seems that perhaps this should be pointed out in the opening paragraphs.
102:
1763:
473:
373:
348:
307:
280:
271:
215:
199:
341:
313:
171:
79:
1491:{\displaystyle \mathbf {\Delta } _{n}^{1}\subset \mathbf {\Sigma } _{n}^{1}}
317:
247:
1301:{\displaystyle \mathbf {\Pi } _{n}^{1}\subset \mathbf {\Delta } _{n+1}^{1}}
1238:
483:
For example, an important fact from the German version: "Alle
Klassen
833:
is closed under countable union" would be trivial, but to prove that
1242:
740:. Since the image of union is the union of images, the implication "
1682:= 1, the proposition "every analytic set is the projection of a
430:
and the analytic hierarchy does not show up till much later, as
736:
is closed under countable union and intersection from the page
337:
15:
392:
We seem to have almost the same content on the page for the
870:
Another example: the diagram in the German page says that
665:
are all closed under countable union and intersection, so
1779:, North Holland 1987, ISBN 0-444-70199-0, Corollary 1F.2
1136:= 1. The inclusion gives us the inclusion of σ-algebras
1722:
1688:
1646:
1606:
1572:
1538:
1504:
1450:
1416:
1382:
1348:
1314:
1254:
1142:
1104:
1070:
1036:
956:
876:
839:
799:
780:
746:
708:
671:
637:
603:
571:
539:
489:
436:
402:
479:
More information need to be mentioned in the article
316:
page that treats that material, with redirects from
101:, a collaborative effort to improve the coverage of
1742:
1708:
1666:
1632:
1592:
1558:
1524:
1490:
1436:
1402:
1368:
1334:
1300:
1225:
1124:
1090:
1056:
1022:
942:
859:
825:
786:
766:
728:
691:
657:
623:
589:
557:
525:
456:
422:
359:, I remembed the distinction when I added it to
8:
826:{\displaystyle \mathbf {\Sigma } _{n+1}^{1}}
526:{\displaystyle \Sigma _{n}^{1},\Pi _{n}^{1}}
363:but not this morning. I wasn't thinking.
170:are candidates for a future merge into the
19:
1743:{\displaystyle \mathbf {\Delta } _{1}^{1}}
1709:{\displaystyle \mathbf {\Delta } _{1}^{1}}
1667:{\displaystyle \mathbf {\Delta } _{n}^{1}}
1593:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
1559:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
1525:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
1437:{\displaystyle \mathbf {\Delta } _{n}^{1}}
1403:{\displaystyle \mathbf {\Delta } _{n}^{1}}
1369:{\displaystyle \mathbf {\Delta } _{n}^{1}}
1335:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
1057:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
860:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
767:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
729:{\displaystyle \mathbf {\Sigma } _{1}^{1}}
692:{\displaystyle \mathbf {\Delta } _{n}^{1}}
624:{\displaystyle \mathbf {\Sigma } _{n}^{1}}
457:{\displaystyle \mathbf {\Sigma } _{1}^{1}}
423:{\displaystyle \mathbf {\Sigma } _{1}^{0}}
47:
1734:
1729:
1724:
1721:
1700:
1695:
1690:
1687:
1658:
1653:
1648:
1645:
1633:{\displaystyle \mathbf {\Pi } _{n-1}^{1}}
1624:
1613:
1608:
1605:
1584:
1579:
1574:
1571:
1550:
1545:
1540:
1537:
1516:
1511:
1506:
1503:
1482:
1477:
1472:
1462:
1457:
1452:
1449:
1428:
1423:
1418:
1415:
1394:
1389:
1384:
1381:
1360:
1355:
1350:
1347:
1326:
1321:
1316:
1313:
1292:
1281:
1276:
1266:
1261:
1256:
1253:
1218:
1203:
1198:
1193:
1180:
1175:
1170:
1154:
1149:
1144:
1141:
1116:
1111:
1106:
1103:
1082:
1077:
1072:
1069:
1048:
1043:
1038:
1035:
1014:
1003:
998:
988:
983:
978:
968:
963:
958:
955:
934:
923:
918:
908:
903:
898:
888:
883:
878:
875:
851:
846:
841:
838:
817:
806:
801:
798:
779:
758:
753:
748:
745:
720:
715:
710:
707:
683:
678:
673:
670:
649:
644:
639:
636:
615:
610:
605:
602:
581:
576:
570:
549:
544:
538:
517:
512:
499:
494:
488:
448:
443:
438:
435:
414:
409:
404:
401:
1768:
1125:{\displaystyle \mathbf {\Pi } _{n}^{1}}
1091:{\displaystyle \mathbf {\Pi } _{n}^{1}}
774:is closed under countable intersection
658:{\displaystyle \mathbf {\Pi } _{n}^{1}}
49:
1342:sets are precisely the projections of
7:
95:This article is within the scope of
38:It is of interest to the following
573:
541:
509:
491:
14:
1800:Mid-priority mathematics articles
174:page, when I get that written. --
115:Knowledge:WikiProject Mathematics
1795:Start-Class mathematics articles
1725:
1691:
1649:
1609:
1575:
1541:
1507:
1473:
1453:
1419:
1385:
1351:
1317:
1277:
1257:
1219:
1194:
1171:
1145:
1107:
1073:
1039:
999:
979:
959:
919:
899:
879:
842:
802:
749:
711:
674:
640:
606:
439:
405:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
1750:sets are precisely Borel sets (
590:{\displaystyle \Delta _{n}^{1}}
558:{\displaystyle \Delta _{n}^{1}}
355:And thanks for reverting me at
135:This article has been rated as
1186:
1166:
781:
162:This used to be a redirect to
1:
1764:06:07, 12 February 2024 (UTC)
474:20:28, 27 November 2023 (UTC)
109:and see a list of open tasks.
787:{\displaystyle \Rightarrow }
1248:What's more, the inclusion
1816:
374:18:27, 31 March 2007 (UTC)
308:17:18, 31 March 2007 (UTC)
281:16:37, 31 March 2007 (UTC)
272:14:06, 31 March 2007 (UTC)
216:14:02, 31 March 2007 (UTC)
200:06:56, 31 March 2007 (UTC)
1640:set, and the latter is a
1498:, and the projections of
1239:some choice may be needed
950:, which is equivalent to
349:07:11, 1 April 2007 (UTC)
330:boldface (disambiguation)
134:
67:
46:
1030:. This means that every
178:8 July 2005 06:19 (UTC)
141:project's priority scale
1098:is the projection of a
98:WikiProject Mathematics
1777:Descriptive Set Theory
1744:
1710:
1668:
1634:
1594:
1560:
1526:
1492:
1438:
1404:
1370:
1336:
1302:
1227:
1126:
1092:
1058:
1024:
944:
861:
827:
788:
768:
730:
693:
659:
625:
591:
559:
527:
458:
424:
334:descriptive set theory
295:Lightface and darkface
226:Arithmetical hierarchy
28:This article is rated
1745:
1711:
1674:set. (This works for
1669:
1635:
1600:set is projection of
1595:
1561:
1527:
1493:
1439:
1405:
1371:
1337:
1303:
1228:
1127:
1093:
1059:
1025:
945:
862:
828:
789:
769:
731:
694:
660:
626:
592:
560:
528:
459:
425:
1720:
1686:
1644:
1604:
1570:
1536:
1502:
1448:
1444:sets: by definition
1414:
1380:
1346:
1312:
1252:
1140:
1102:
1068:
1034:
954:
874:
837:
797:
778:
744:
706:
669:
635:
601:
569:
537:
487:
434:
400:
384:Relationship to the
361:analytical hierarchy
322:lightface pointclass
235:Analytical hierarchy
191:Projective hierarchy
164:analytical hierarchy
121:mathematics articles
1739:
1705:
1663:
1629:
1589:
1555:
1521:
1487:
1467:
1433:
1399:
1365:
1331:
1297:
1271:
1208:
1185:
1159:
1121:
1087:
1053:
1019:
993:
973:
939:
913:
893:
856:
822:
763:
725:
688:
654:
620:
586:
554:
522:
504:
453:
419:
326:boldface pointclass
1775:Y.N. Moschovakis:
1740:
1723:
1706:
1689:
1664:
1647:
1630:
1607:
1590:
1573:
1556:
1539:
1522:
1505:
1488:
1471:
1451:
1434:
1417:
1400:
1383:
1366:
1349:
1332:
1315:
1298:
1275:
1255:
1223:
1192:
1169:
1143:
1122:
1105:
1088:
1071:
1054:
1037:
1020:
997:
977:
957:
940:
917:
897:
877:
857:
840:
823:
800:
784:
764:
747:
726:
709:
689:
672:
655:
638:
621:
604:
587:
572:
555:
540:
523:
508:
490:
454:
437:
420:
403:
328:, and a link from
90:Mathematics portal
34:content assessment
1532:sets are also in
372:
306:
270:
214:
155:
154:
151:
150:
147:
146:
1807:
1780:
1773:
1752:Suslin's theorem
1749:
1747:
1746:
1741:
1738:
1733:
1728:
1715:
1713:
1712:
1707:
1704:
1699:
1694:
1673:
1671:
1670:
1665:
1662:
1657:
1652:
1639:
1637:
1636:
1631:
1628:
1623:
1612:
1599:
1597:
1596:
1591:
1588:
1583:
1578:
1566:. Conversely, a
1565:
1563:
1562:
1557:
1554:
1549:
1544:
1531:
1529:
1528:
1523:
1520:
1515:
1510:
1497:
1495:
1494:
1489:
1486:
1481:
1476:
1466:
1461:
1456:
1443:
1441:
1440:
1435:
1432:
1427:
1422:
1409:
1407:
1406:
1401:
1398:
1393:
1388:
1375:
1373:
1372:
1367:
1364:
1359:
1354:
1341:
1339:
1338:
1333:
1330:
1325:
1320:
1307:
1305:
1304:
1299:
1296:
1291:
1280:
1270:
1265:
1260:
1232:
1230:
1229:
1224:
1222:
1207:
1202:
1197:
1184:
1179:
1174:
1158:
1153:
1148:
1131:
1129:
1128:
1123:
1120:
1115:
1110:
1097:
1095:
1094:
1089:
1086:
1081:
1076:
1063:
1061:
1060:
1055:
1052:
1047:
1042:
1029:
1027:
1026:
1021:
1018:
1013:
1002:
992:
987:
982:
972:
967:
962:
949:
947:
946:
941:
938:
933:
922:
912:
907:
902:
892:
887:
882:
866:
864:
863:
858:
855:
850:
845:
832:
830:
829:
824:
821:
816:
805:
793:
791:
790:
785:
773:
771:
770:
765:
762:
757:
752:
735:
733:
732:
727:
724:
719:
714:
699:is a σ-algebra.
698:
696:
695:
690:
687:
682:
677:
664:
662:
661:
656:
653:
648:
643:
630:
628:
627:
622:
619:
614:
609:
596:
594:
593:
588:
585:
580:
564:
562:
561:
556:
553:
548:
532:
530:
529:
524:
521:
516:
503:
498:
463:
461:
460:
455:
452:
447:
442:
429:
427:
426:
421:
418:
413:
408:
368:
302:
266:
230:Arithmetical set
210:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1815:
1814:
1810:
1809:
1808:
1806:
1805:
1804:
1785:
1784:
1783:
1774:
1770:
1756:129.104.241.214
1718:
1717:
1684:
1683:
1642:
1641:
1602:
1601:
1568:
1567:
1534:
1533:
1500:
1499:
1446:
1445:
1412:
1411:
1378:
1377:
1344:
1343:
1310:
1309:
1250:
1249:
1138:
1137:
1100:
1099:
1066:
1065:
1032:
1031:
952:
951:
872:
871:
835:
834:
795:
794:
776:
775:
742:
741:
704:
703:
667:
666:
633:
632:
599:
598:
567:
566:
535:
534:
485:
484:
481:
432:
431:
398:
397:
394:Borel hierarchy
390:
386:Borel hierarchy
244:Borel hierarchy
184:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1813:
1811:
1803:
1802:
1797:
1787:
1786:
1782:
1781:
1767:
1737:
1732:
1727:
1703:
1698:
1693:
1661:
1656:
1651:
1627:
1622:
1619:
1616:
1611:
1587:
1582:
1577:
1553:
1548:
1543:
1519:
1514:
1509:
1485:
1480:
1475:
1470:
1465:
1460:
1455:
1431:
1426:
1421:
1397:
1392:
1387:
1363:
1358:
1353:
1329:
1324:
1319:
1308:tells us that
1295:
1290:
1287:
1284:
1279:
1274:
1269:
1264:
1259:
1221:
1217:
1214:
1211:
1206:
1201:
1196:
1191:
1188:
1183:
1178:
1173:
1168:
1165:
1162:
1157:
1152:
1147:
1119:
1114:
1109:
1085:
1080:
1075:
1064:set and every
1051:
1046:
1041:
1017:
1012:
1009:
1006:
1001:
996:
991:
986:
981:
976:
971:
966:
961:
937:
932:
929:
926:
921:
916:
911:
906:
901:
896:
891:
886:
881:
854:
849:
844:
820:
815:
812:
809:
804:
783:
761:
756:
751:
723:
718:
713:
686:
681:
676:
652:
647:
642:
618:
613:
608:
584:
579:
575:
552:
547:
543:
520:
515:
511:
507:
502:
497:
493:
480:
477:
451:
446:
441:
417:
412:
407:
389:
382:
381:
380:
379:
378:
377:
376:
353:
352:
351:
286:
285:
284:
283:
258:
257:
256:
255:
241:
232:
219:
218:
187:Projective set
183:
182:Requested move
180:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1812:
1801:
1798:
1796:
1793:
1792:
1790:
1778:
1772:
1769:
1766:
1765:
1761:
1757:
1753:
1735:
1730:
1701:
1696:
1681:
1677:
1659:
1654:
1625:
1620:
1617:
1614:
1585:
1580:
1551:
1546:
1517:
1512:
1483:
1478:
1468:
1463:
1458:
1429:
1424:
1395:
1390:
1361:
1356:
1327:
1322:
1293:
1288:
1285:
1282:
1272:
1267:
1262:
1246:
1244:
1240:
1236:
1215:
1212:
1209:
1204:
1199:
1189:
1181:
1176:
1163:
1160:
1155:
1150:
1135:
1117:
1112:
1083:
1078:
1049:
1044:
1015:
1010:
1007:
1004:
994:
989:
984:
974:
969:
964:
935:
930:
927:
924:
914:
909:
904:
894:
889:
884:
868:
852:
847:
818:
813:
810:
807:
759:
754:
739:
721:
716:
702:We know that
700:
684:
679:
650:
645:
616:
611:
582:
577:
550:
545:
518:
513:
505:
500:
495:
478:
476:
475:
471:
467:
449:
444:
415:
410:
395:
387:
383:
375:
371:
366:
362:
358:
354:
350:
347:
343:
339:
336:article that
335:
331:
327:
323:
319:
315:
311:
310:
309:
305:
300:
296:
292:
291:
290:
289:
288:
287:
282:
279:
275:
274:
273:
269:
264:
260:
259:
253:
252:Borel algebra
249:
245:
242:
240:
236:
233:
231:
227:
224:
223:
221:
220:
217:
213:
208:
204:
203:
202:
201:
198:
193:
192:
188:
181:
179:
177:
173:
169:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1776:
1771:
1679:
1675:
1247:
1237:, of course
1133:
869:
738:analytic set
701:
482:
466:67.198.37.16
391:
357:Analytic set
239:Analytic set
194:
185:
168:analytic set
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1789:Categories
342:set theory
314:pointclass
312:There's a
172:pointclass
1678:≥ 2; for
1376:sets, so
1243:this post
346:Trovatore
340:bears to
318:lightface
278:Trovatore
248:Borel set
197:Trovatore
176:Trovatore
365:CMummert
299:CMummert
263:CMummert
207:CMummert
158:comments
139:on the
205:Done.
36:scale.
1760:talk
1754:).)
1235:here
631:and
533:und
470:talk
370:talk
304:talk
293:The
268:talk
212:talk
338:set
250:(=
131:Mid
1791::
1762:)
1726:Δ
1692:Δ
1650:Δ
1618:−
1610:Π
1576:Σ
1542:Σ
1508:Σ
1474:Σ
1469:⊂
1454:Δ
1420:Δ
1386:Δ
1352:Δ
1318:Σ
1278:Δ
1273:⊂
1258:Π
1241:;
1216:⊂
1213:⋯
1210:⊂
1195:Δ
1190:⊂
1172:Σ
1164:σ
1161:⊂
1146:Δ
1108:Π
1074:Π
1040:Σ
1000:Σ
995:⊂
980:Π
960:Σ
920:Δ
915:⊂
900:Π
880:Σ
843:Σ
803:Σ
782:⇒
750:Σ
712:Σ
675:Δ
641:Π
607:Σ
574:Δ
542:Δ
510:Π
492:Σ
472:)
440:Σ
406:Σ
367:·
324:,
320:,
301:·
265:·
246:/
237:/
228:/
209:·
189:→
1758:(
1736:1
1731:1
1702:1
1697:1
1680:n
1676:n
1660:1
1655:n
1626:1
1621:1
1615:n
1586:1
1581:n
1552:1
1547:n
1518:1
1513:n
1484:1
1479:n
1464:1
1459:n
1430:1
1425:n
1396:1
1391:n
1362:1
1357:n
1328:1
1323:n
1294:1
1289:1
1286:+
1283:n
1268:1
1263:n
1220:P
1205:1
1200:2
1187:)
1182:1
1177:1
1167:(
1156:1
1151:1
1134:n
1118:1
1113:n
1084:1
1079:n
1050:1
1045:n
1016:1
1011:1
1008:+
1005:n
990:1
985:n
975:,
970:1
965:n
936:1
931:1
928:+
925:n
910:1
905:n
895:,
890:1
885:n
853:1
848:n
819:1
814:1
811:+
808:n
760:1
755:n
722:1
717:1
685:1
680:n
651:1
646:n
617:1
612:n
583:1
578:n
551:1
546:n
519:1
514:n
506:,
501:1
496:n
468:(
450:1
445:1
416:0
411:1
388:?
254:)
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.