84:
74:
53:
168:
examples of
Grothendieck universes, according to the formulation of this article, and, of course, can both be proven to exist in ZF. Indeed, the article seems to acknowledge at one point the possibility that a universe might be empty. Is this business about Grothendieck universes having strongly inaccessible cardinalities made under some additional assumption (such as, for example, that the universe contains an infinite set)? -
22:
182:(the set of hereditarily finite sets) would satisfy the definition. I do not have access to the original definition of a Grothendieck universe, so I do not know whether that is a mistake (leaving out the axiom of infinity) or whether the error is in the statement about strong inaccessibles. But there are no other problems asside from V
331:
It is exactly the other way round. By Gödel's 2nd incompleteness theorem, the consistence of
Zermelo-Fraenkel set theory (and therefore the existence of a model) cannot be proved from Zermelo-Fraenkel set theory. Now, every strongly inaccessible cardinal would give rise to such a model. Therefore the
949:
What has the existence of inaccessibles to do with this “key fact”? To prove the unprovability of the existence of G-universes in ZFC you do not need inaccessible cardinals, you just need Gödel’s incompleteness theorems. Most books using G-universes do not mention inaccessible cardinals at all. I do
914:
I'm happy to leave it to others whether this point should be explicitly included in order to help anchor the reader in the larger context of why G-universes are important in the first place. And that G-universes extend conventional set theory in a way that leaves 20th century foundations behind.
907:
You cannot prove that a G-universe exists within the framework of ZF. So in other words the key concept of G-universes is that they are a larger set-theoretic universe than ZF. This already has philosophical implications for the foundations of math; since it's a practical fact that most (much?)
167:
It's said here that every
Grothendieck universe has the cardinality of a strongly inaccessible cardinal, and that, therefore, the existence of Grothendieck universes can't be proved within ZF (if ZF is consistent). However, both the empty set and the set of all hereditarily finite sets would be
162:
Using
Internet Explorer 6.0 (like approximately 90% of web users), symbols such as &isin are not displayed correctly (I assume a membership symbol was intended). If there is a means by which this significant problem can be cured, readers of this (and similar) pages should be informed.
207:
Ah, whoops, I just looked at the four numbered properties and missed the opening bit about U necessarily being non-empty. (I was also kinda misled by the sentence starting "In particular, it follows from the last axiom that if U is non-empty..."). Thanks for clearing things up about
903:
In the section on
Inaccessibles the presentation jumps right into the formal proof that a G-universe is equivalent to the existence of an Inaccessible. The narrative leaps over but forgets to explicitly mention, for the benefit of the earnest but naive reader, this key fact:
932:
I think this is a very good point for the article to make. Why don't you add it? You seem to know set theory; you'd be a better person than I would to write about this distinction (I'm an algebraic geometer, here only because of SGA...).
326:
Since the existence of strongly inaccessible cardinals cannot be proved from the axioms of
Zermelo-Fraenkel set theory, the existence of universes other than the empty set and Vω cannot be proved from Zermelo-Fraenkel set theory
256:
is excluded from being an inaccessible cardinal (it satisfies the two defining features). If anyone has access to the proper literature and can confirm this nuance of the definition, please update the article thus.
908:
modern math is conducted in a framework larger than ZF. So the hope of the early 20-th century set theorists that ZF is the best and proper foundation for the rest of math, is already beginning to crumble.
868:
572:. Click the light blue link marked "Univers" in the first reference and you find the exact and precise and complete and total definition of a Grothendieck universe. The article is correct. So is
1034:
650:
479:
813:
140:
275:". Secondly, he defines a strongly inaccessible cardinal as a regular strong limit cardinal, with no uncountability assumption. The article has been made consistent with modern usage.
702:
290:
It is not clear from the article why the cardinality of a
Grothendieck universe must be strongly inaccessible. Perhaps it is obvious but there is no explicit statement about that.
540:
505:
409:
254:
178:
The definition explicitly says that U is a non-empty set. So you are wrong about the empty set satisfying the definition. As the definition stands, you are correct that V
1061:
Yes, it's a holdover from when the article assumed that zero was strongly inaccessible (per
Grothendieck, but clashing with modern terminology). I've tried to fix it.
1120:
130:
1115:
106:
884:
918:
333:
1096:
97:
58:
33:
830:
306:
The article was unclear to the point of verging on error. Strong inaccessibility is true, but not obvious. (U) =: -->
976:
657:
601:
430:
352:
772:
888:
21:
922:
337:
722:
674:
360:
877:
I changed the fourth point with an equivalent but more elegant formulation, in the context of set theory.
307:(C), fortunately, is not too hard. You should try reading Bourbaki's article. It's really not that bad.
1092:
1051:
308:
293:
You have to prove (U) entails (C) for any cardinal, taking a strongly inaccessible cardinal is not enough.
276:
39:
83:
1084:
1081:
Actually, it doesn't matter in this particular case, but it should be specified for clarity anyway.
880:
510:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
661:
484:
356:
89:
1055:
573:
551:
387:
371:
232:
73:
52:
1088:
1047:
955:
718:
258:
555:
375:
1066:
938:
748:
581:
199:
1109:
671:
satisfies the 4 properties as they are now, but not the previous version of point 4:
951:
568:
The anon above is right when he says, "See
Bourbaki's article". The definition is
743:
You're right. I've undone the anonymous change that made the article incorrect.
1100:
1070:
959:
942:
926:
892:
752:
726:
585:
559:
379:
364:
351:
Doesn't the definition of Grothendieck universe include some formulation of the
341:
311:
300:
297:
279:
261:
216:
213:
202:
172:
169:
102:
79:
1062:
934:
744:
652:
is in U ? Short of having property 4 as it was before, or equivalently that
577:
384:
Oops, I see how it isn't quite; I missed the fact that the union of the
1044:
Shouldn't this read "c(U) is either zero, or strongly inaccessible?"
899:
Context for the reader to clarify the significance of Inaccessibles
332:
existence of a strongly inaccessible cardinal cannot be proved.--
660:, Grothendieck universes would be nothing more than models of
15:
950:
not see any philosophical implications of the equivalence. --
911:
All this is implicit in the article, but not made explicit.
717:. I suggest the last change on the fourth point be reverted.
347:
Explanation for "expert-subject" template: Replacement axiom
411:
is taken. But I still believe replacement is implied: Let
1041:
Then for any universe U, c(U) is strongly inaccessible "
1077:
What does a "family of sets" means here: set or class?
979:
833:
775:
677:
604:
542:. Then the union of these singletons is the image of
513:
487:
433:
390:
235:
101:, a collaborative effort to improve the coverage of
1028:
863:{\displaystyle \bigcup _{\alpha \in I}x_{\alpha }}
862:
807:
696:
644:
534:
499:
473:
403:
248:
1029:{\displaystyle \mathbf {c} (U)=\sup _{x\in U}|x|}
645:{\displaystyle \{\{F(\alpha )\}\}_{\alpha \in I}}
474:{\displaystyle \{\{F(\alpha )\}\}_{\alpha \in I}}
998:
186:. Any U satisfying this definition is either V
808:{\displaystyle \{x_{\alpha }\}_{\alpha \in I}}
267:See Bourbaki's article. Firstly, "L'ensemble
8:
790:
776:
627:
623:
608:
605:
529:
514:
456:
452:
437:
434:
370:Isn't that precisely what property (4) is?
194:for a strong inaccessible κ; and any such V
19:
1082:
576:when he says that replacement is implied.
229:is excluded by hand, in the same way that
47:
1021:
1013:
1001:
980:
978:
854:
838:
832:
793:
783:
774:
682:
676:
630:
603:
512:
486:
459:
432:
395:
389:
240:
234:
481:, i.e., the family that assigns to each
697:{\displaystyle \bigcup _{n\in \omega }}
570:the very first statement in the article
49:
7:
95:This article is within the scope of
38:It is of interest to the following
237:
14:
1121:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
1116:Start-Class mathematics articles
981:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
419:, and let F be a function from
135:This article has been rated as
1071:23:21, 18 September 2013 (UTC)
1056:19:58, 18 September 2013 (UTC)
1022:
1014:
991:
985:
620:
614:
535:{\displaystyle \{F(\alpha )\}}
526:
520:
449:
443:
1:
965:
893:14:33, 20 December 2011 (UTC)
598:@Benja: How do you know that
342:11:38, 22 December 2007 (UTC)
109:and see a list of open tasks.
960:23:00, 10 January 2013 (UTC)
753:00:10, 27 January 2012 (UTC)
727:18:14, 26 January 2012 (UTC)
500:{\displaystyle \alpha \in I}
198:is a Grothendieck universe.
943:03:05, 7 January 2013 (UTC)
927:01:19, 2 January 2013 (UTC)
815:is a family of elements of
658:Axiom schema of replacement
427:; then consider the family
404:{\displaystyle x_{\alpha }}
353:Axiom schema of replacement
249:{\displaystyle \aleph _{0}}
1137:
1101:10:00, 5 August 2020 (UTC)
365:12:47, 13 April 2008 (UTC)
301:11:06, 30 March 2007 (UTC)
217:18:53, 19 April 2006 (UTC)
203:07:07, 19 April 2006 (UTC)
173:19:44, 18 April 2006 (UTC)
586:21:14, 29 July 2008 (UTC)
134:
67:
46:
312:21:42, 6 June 2007 (UTC)
280:20:36, 31 May 2006 (UTC)
262:22:47, 26 May 2006 (UTC)
141:project's priority scale
560:20:16, 5 May 2008 (UTC)
380:20:06, 5 May 2008 (UTC)
98:WikiProject Mathematics
1030:
966:Couldn't c(U) be zero?
864:
809:
698:
646:
536:
501:
475:
405:
250:
28:This article is rated
1031:
865:
810:
699:
647:
537:
502:
476:
406:
271:est un univers noté U
251:
977:
831:
773:
765:Fourth point changed
675:
602:
511:
485:
431:
388:
233:
121:mathematics articles
318:The other way round
1026:
1012:
970:The article says:
860:
849:
805:
694:
693:
662:Zermelo set theory
642:
532:
497:
471:
401:
246:
225:My guess is that V
90:Mathematics portal
34:content assessment
1103:
1087:comment added by
997:
883:comment added by
870:is an element of
834:
827:, then the union
823:is an element of
678:
415:be an element of
155:
154:
151:
150:
147:
146:
1128:
1035:
1033:
1032:
1027:
1025:
1017:
1011:
984:
895:
869:
867:
866:
861:
859:
858:
848:
814:
812:
811:
806:
804:
803:
788:
787:
703:
701:
700:
695:
692:
656:is closed under
651:
649:
648:
643:
641:
640:
541:
539:
538:
533:
506:
504:
503:
498:
480:
478:
477:
472:
470:
469:
410:
408:
407:
402:
400:
399:
255:
253:
252:
247:
245:
244:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1136:
1135:
1131:
1130:
1129:
1127:
1126:
1125:
1106:
1105:
1079:
975:
974:
968:
901:
878:
850:
829:
828:
789:
779:
771:
770:
767:
716:
709:
673:
672:
670:
626:
600:
599:
509:
508:
483:
482:
455:
429:
428:
391:
386:
385:
349:
322:The text says:
320:
309:141.211.120.175
287:
274:
236:
231:
230:
228:
211:
197:
193:
189:
185:
181:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1134:
1132:
1124:
1123:
1118:
1108:
1107:
1078:
1075:
1074:
1073:
1024:
1020:
1016:
1010:
1007:
1004:
1000:
996:
993:
990:
987:
983:
967:
964:
963:
962:
946:
945:
900:
897:
885:213.156.35.244
857:
853:
847:
844:
841:
837:
802:
799:
796:
792:
786:
782:
778:
766:
763:
762:
761:
760:
759:
758:
757:
756:
755:
734:
733:
732:
731:
730:
729:
714:
707:
691:
688:
685:
681:
668:
639:
636:
633:
629:
625:
622:
619:
616:
613:
610:
607:
591:
590:
589:
588:
563:
562:
531:
528:
525:
522:
519:
516:
507:the singleton
496:
493:
490:
468:
465:
462:
458:
454:
451:
448:
445:
442:
439:
436:
398:
394:
382:
348:
345:
329:
328:
319:
316:
315:
314:
295:
294:
291:
286:
283:
272:
265:
264:
243:
239:
226:
222:
221:
220:
219:
209:
195:
191:
187:
183:
179:
165:
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:
1133:
1122:
1119:
1117:
1114:
1113:
1111:
1104:
1102:
1098:
1094:
1090:
1086:
1076:
1072:
1068:
1064:
1060:
1059:
1058:
1057:
1053:
1049:
1045:
1042:
1039:
1036:
1018:
1008:
1005:
1002:
994:
988:
971:
961:
957:
953:
948:
947:
944:
940:
936:
931:
930:
929:
928:
924:
920:
919:71.198.226.61
916:
912:
909:
905:
898:
896:
894:
890:
886:
882:
875:
873:
855:
851:
845:
842:
839:
835:
826:
822:
818:
800:
797:
794:
784:
780:
764:
754:
750:
746:
742:
741:
740:
739:
738:
737:
736:
735:
728:
724:
720:
713:
706:
689:
686:
683:
679:
667:
663:
659:
655:
637:
634:
631:
617:
611:
597:
596:
595:
594:
593:
592:
587:
583:
579:
575:
571:
567:
566:
565:
564:
561:
557:
553:
549:
545:
523:
517:
494:
491:
488:
466:
463:
460:
446:
440:
426:
422:
418:
414:
396:
392:
383:
381:
377:
373:
369:
368:
367:
366:
362:
358:
357:Functor salad
354:
346:
344:
343:
339:
335:
334:91.23.239.166
325:
324:
323:
317:
313:
310:
305:
304:
303:
302:
299:
292:
289:
288:
284:
282:
281:
278:
277:141.211.62.20
270:
263:
260:
241:
224:
223:
218:
215:
206:
205:
204:
201:
177:
176:
175:
174:
171:
164:
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:
1089:Georgydunaev
1083:— Preceding
1080:
1048:Bayle Shanks
1046:
1043:
1040:
1037:
972:
969:
917:
913:
910:
906:
902:
879:— Preceding
876:
871:
824:
820:
816:
768:
719:Bruno.barras
711:
704:
665:
653:
569:
547:
543:
424:
420:
416:
412:
350:
330:
321:
296:
268:
266:
259:expensivehat
166:
161:
158:Old comments
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1110:Categories
952:Chricho ∀
819:, and if
550:, right?
285:Omissions
200:JRSpriggs
1097:contribs
1085:unsigned
881:unsigned
327:either.
139:on the
546:under
298:Yecril
214:Chinju
170:Chinju
36:scale.
574:Benja
552:Benja
372:Benja
355:too?
1093:talk
1067:talk
1063:Ozob
1052:talk
1038:...
956:talk
939:talk
935:Ozob
923:talk
889:talk
749:talk
745:Ozob
723:talk
582:talk
578:Ozob
556:talk
376:talk
361:talk
338:talk
269:vide
190:or V
999:sup
769:If
715:ω·2
708:ω+n
669:ω·2
423:to
212:. -
131:Low
1112::
1099:)
1095:•
1069:)
1054:)
1006:∈
973:"
958:)
941:)
925:)
891:)
874:.
856:α
843:∈
840:α
836:⋃
798:∈
795:α
785:α
751:)
725:)
710:=
690:ω
687:∈
680:⋃
664:.
635:∈
632:α
618:α
584:)
558:)
524:α
492:∈
489:α
464:∈
461:α
447:α
397:α
378:)
363:)
340:)
257:--
238:ℵ
1091:(
1065:(
1050:(
1023:|
1019:x
1015:|
1009:U
1003:x
995:=
992:)
989:U
986:(
982:c
954:(
937:(
921:(
887:(
872:U
852:x
846:I
825:U
821:I
817:U
801:I
791:}
781:x
777:{
747:(
721:(
712:V
705:V
684:n
666:V
654:U
638:I
628:}
624:}
621:)
615:(
612:F
609:{
606:{
580:(
554:(
548:I
544:F
530:}
527:)
521:(
518:F
515:{
495:I
467:I
457:}
453:}
450:)
444:(
441:F
438:{
435:{
425:U
421:I
417:U
413:I
393:x
374:(
359:(
336:(
273:0
242:0
227:ω
210:ω
208:V
196:κ
192:κ
188:ω
184:ω
180:ω
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.