411:
323:
185:
137:
261:
Would you want to collaborate on an ordinal collapsing function? I was thinking of creating thinning hierarchies consisting of iterated shrewdness diagonalized of degrees of unfoldability, which are in turn diagonalized by ethereal cardinals. If so, how would we collaborate? Should we use Google
716:
732:
Thanks for the reply. That clears it up for me. My feeling is that it would be better to conclude the proof without introducing an unfamiliar notation. I don't know if the following is a too long-winded replacement for the final sentence: "Then the order
500:
that the axiom of choice implies the well-ordering theorem. Near the end of the proof there's a notation using angle brackets. Is that a standard notation for ordered set? It might be good to add a brief explanation or a link explaining that.
456:
368:
884:
718:, although as this is an implementation detail I am not sure if this should be added to the article, in which case I am not sure what could be used to notate the ordering. Thanks for pointing this out!
613:
277:
Sorry for not seeing this message for a while, I'd be happy to help! I can use Google Docs, although I'm sorry to say I know very little about unfoldable cardinals and elementary embeddings in general
440:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
352:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
425:
337:
811:
837:
608:
561:
581:
534:
751:
771:
231:
169:. Spread the WikiLove by giving someone else a Mac n' Cheetos, whether it be someone you have had disagreements with in the past or a good friend.
42:
516:
I think I no longer have a copy of the book in the citation, but the notation seems to mean the well-ordering whose length is the supremum of the
66:
73:
227:
479:
391:
842:
711:{\displaystyle \{(a_{\alpha },a_{\beta })\mid a_{\alpha },a_{\beta }\;{\textrm {are}}\;{\textrm {defined}}\land \alpha <\beta \}}
296:
56:
475:
387:
449:
361:
22:
461:
373:
47:
176:
776:
437:
349:
81:
61:
26:
221:
88:
100:
891:
506:
497:
76:, an interactive tour that will help you learn the basics of editing Knowledge (XXG). You can visit the
148:
77:
816:
29:. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful:
212:
Hi. Thank you for your recent edits. An automated process has detected that when you recently edited
37:
419:
331:
303:
267:
158:
118:
104:
909:
719:
433:
345:
278:
193:
586:
539:
297:
https://docs.google.com/document/d/1J2ThLBQ4PZe9L4MrOpeGhaFEGzovj_icluipIT49GeE/edit?usp=sharing
99:(~~~~); this will automatically insert your username and the date. If you need help, check out
247:
33:
445:
357:
80:
to ask questions or seek help. Need some ideas about what kind of things need doing? Try the
887:
566:
519:
502:
468:
380:
448:, editing restrictions, and other measures needed to maintain our editing environment. The
441:
360:, editing restrictions, and other measures needed to maintain our editing environment. The
353:
153:
144:
92:
736:
224:, since a disambiguation page is merely a list of unrelated topics with similar titles.
299:
263:
114:
756:
238:
It's OK to remove this message. Also, to stop receiving these messages, follow these
217:
295:
Great! I don't 100% understand elementary embeddings myself (I have a vague idea).
243:
239:
213:
52:
410:
322:
184:
136:
162:
839:(in the usual well-order of the ordinals) is a well-order of order type
452:
describes the
Committee's roles and responsibilities in greater detail.
364:
describes the
Committee's roles and responsibilities in greater detail.
429:
are allowed to vote. Users with alternate accounts may only vote once.
341:
are allowed to vote. Users with alternate accounts may only vote once.
166:
917:
895:
727:
510:
483:
395:
307:
286:
271:
251:
201:
122:
879:{\displaystyle \sup\{\alpha \mid a_{\alpha }{\text{ is defined}}\}}
96:
465:. If you no longer wish to receive these messages, you may add
377:. If you no longer wish to receive these messages, you may add
151:(📖💞) and hopefully this one has made your day cheesier. It is
908:
That form sounds fine, I will add it into the article. Thanks!
455:
If you wish to participate in the 2023 election, please review
423:
is now open until 23:59 (UTC) on Monday, 11 December 2023. All
367:
If you wish to participate in the 2022 election, please review
335:
is now open until 23:59 (UTC) on Monday, 12 December 2022. All
21:
Hello, C7XWiki, and welcome to
Knowledge (XXG)! Thank you for
183:
135:
113:, and a volunteer should respond shortly. Again, welcome!
132:
I'm on the googology wikia now under the same username.
436:
is the panel of editors responsible for conducting the
348:
is the panel of editors responsible for conducting the
216:, you added a link pointing to the disambiguation page
109:
845:
819:
779:
759:
739:
616:
589:
569:
542:
522:
179:}} to someone's talk page with a friendly message!
878:
831:
805:
765:
745:
710:
602:
575:
555:
528:
175:Spread the goodness of Mac n' Cheetos by adding {{
208:Disambiguation link notification for September 28
846:
563:is defined, and where the set placed at height
496:A while back you added a proof to the article
610:. The well-ordering itself as a set would be
8:
873:
849:
705:
617:
157:! Mac n' Cheetos is the combination of both
108:
868:
862:
844:
818:
806:{\displaystyle a_{\alpha }<a_{\beta }}
797:
784:
778:
758:
738:
687:
686:
678:
677:
669:
656:
640:
627:
615:
594:
588:
568:
547:
541:
521:
684:
675:
7:
420:2023 Arbitration Committee elections
332:2022 Arbitration Committee elections
438:Knowledge (XXG) arbitration process
404:ArbCom 2023 Elections voter message
350:Knowledge (XXG) arbitration process
316:ArbCom 2022 Elections voter message
48:The five pillars of Knowledge (XXG)
72:You may also want to complete the
14:
832:{\displaystyle \alpha <\beta }
409:
321:
147:(🧀🐆)! Mac n' Cheetos promotes
62:How to create your first article
459:and submit your choices on the
371:and submit your choices on the
43:Contributing to Knowledge (XXG)
646:
620:
252:05:58, 28 September 2021 (UTC)
202:20:13, 23 September 2021 (UTC)
110:ask for help on your talk page
1:
484:00:55, 28 November 2023 (UTC)
396:01:49, 29 November 2022 (UTC)
287:10:21, 26 February 2022 (UTC)
272:17:30, 21 February 2022 (UTC)
918:06:33, 28 January 2024 (UTC)
896:17:16, 26 January 2024 (UTC)
728:22:06, 25 January 2024 (UTC)
511:18:30, 25 January 2024 (UTC)
603:{\displaystyle a_{\alpha }}
556:{\displaystyle a_{\alpha }}
25:, especially your edits to
939:
476:MediaWiki message delivery
388:MediaWiki message delivery
143:Binary198 has given you a
67:Simplified Manual of Style
308:16:13, 1 March 2022 (UTC)
101:Knowledge (XXG):Questions
74:Knowledge (XXG) Adventure
913:
723:
473:to your user talk page.
385:to your user talk page.
282:
197:
576:{\displaystyle \alpha }
529:{\displaystyle \alpha }
123:21:25, 6 May 2021 (UTC)
57:How to develop articles
27:Large countable ordinal
880:
833:
807:
767:
747:
712:
604:
577:
557:
530:
188:
140:
881:
834:
808:
768:
748:
713:
605:
578:
558:
531:
498:Well-ordering theorem
492:Well-ordering theorem
434:Arbitration Committee
417:Hello! Voting in the
346:Arbitration Committee
329:Hello! Voting in the
187:
139:
843:
817:
777:
757:
746:{\displaystyle <}
737:
614:
587:
567:
540:
520:
240:opt-out instructions
177:subst:Mac n' Cheetos
583:in the ordering is
172:'Cheese is tasty'
159:macaroni and cheese
87:Please remember to
876:
829:
803:
763:
743:
708:
685:
676:
600:
573:
553:
526:
450:arbitration policy
362:arbitration policy
230:• Join us at the
189:
154:dangerously cheesy
141:
53:How to edit a page
23:your contributions
871:
766:{\displaystyle A}
690:
681:
486:
398:
235:
222:usually incorrect
220:. Such links are
91:your messages on
930:
885:
883:
882:
877:
872:
869:
867:
866:
838:
836:
835:
830:
812:
810:
809:
804:
802:
801:
789:
788:
772:
770:
769:
764:
752:
750:
749:
744:
717:
715:
714:
709:
692:
691:
688:
683:
682:
679:
674:
673:
661:
660:
645:
644:
632:
631:
609:
607:
606:
601:
599:
598:
582:
580:
579:
574:
562:
560:
559:
554:
552:
551:
535:
533:
532:
527:
474:
472:
413:
386:
384:
325:
225:
112:
938:
937:
933:
932:
931:
929:
928:
927:
926:
858:
841:
840:
815:
814:
813:if and only if
793:
780:
775:
774:
755:
754:
735:
734:
665:
652:
636:
623:
612:
611:
590:
585:
584:
565:
564:
543:
538:
537:
518:
517:
494:
489:
488:
466:
414:
406:
401:
400:
378:
326:
318:
259:
232:DPL WikiProject
210:
181:
130:
95:by typing four
38:Getting started
19:
12:
11:
5:
936:
934:
925:
924:
923:
922:
921:
920:
901:
900:
899:
898:
875:
865:
861:
857:
854:
851:
848:
828:
825:
822:
800:
796:
792:
787:
783:
762:
742:
707:
704:
701:
698:
695:
672:
668:
664:
659:
655:
651:
648:
643:
639:
635:
630:
626:
622:
619:
597:
593:
572:
550:
546:
525:
493:
490:
457:the candidates
426:eligible users
415:
408:
407:
405:
402:
369:the candidates
338:eligible users
327:
320:
319:
317:
314:
313:
312:
311:
310:
290:
289:
258:
255:
209:
206:
205:
204:
182:
145:Mac n' Cheetos
134:
129:
126:
70:
69:
64:
59:
50:
45:
40:
18:
15:
13:
10:
9:
6:
4:
3:
2:
935:
919:
915:
911:
907:
906:
905:
904:
903:
902:
897:
893:
889:
863:
859:
855:
852:
826:
823:
820:
798:
794:
790:
785:
781:
760:
740:
731:
730:
729:
725:
721:
702:
699:
696:
693:
670:
666:
662:
657:
653:
649:
641:
637:
633:
628:
624:
595:
591:
570:
548:
544:
523:
515:
514:
513:
512:
508:
504:
499:
491:
487:
485:
481:
477:
470:
464:
463:
458:
453:
451:
447:
443:
439:
435:
430:
428:
427:
422:
421:
412:
403:
399:
397:
393:
389:
382:
376:
375:
370:
365:
363:
359:
355:
351:
347:
342:
340:
339:
334:
333:
324:
315:
309:
305:
301:
298:
294:
293:
292:
291:
288:
284:
280:
276:
275:
274:
273:
269:
265:
256:
254:
253:
249:
245:
241:
236:
233:
229:
223:
219:
218:Formal theory
215:
207:
203:
199:
195:
191:
190:
186:
180:
178:
173:
170:
168:
164:
160:
156:
155:
150:
146:
138:
133:
127:
125:
124:
120:
116:
111:
106:
102:
98:
94:
90:
85:
83:
79:
75:
68:
65:
63:
60:
58:
54:
51:
49:
46:
44:
41:
39:
35:
32:
31:
30:
28:
24:
16:
495:
460:
454:
431:
424:
418:
416:
372:
366:
343:
336:
330:
328:
260:
237:
214:Model theory
211:
174:
171:
152:
142:
131:
105:my talk page
103:, ask me on
86:
71:
34:Introduction
20:
888:Will Orrick
773:defined by
503:Will Orrick
462:voting page
374:voting page
82:Task Center
870:is defined
446:topic bans
358:topic bans
242:. Thanks,
226:(Read the
93:talk pages
442:site bans
354:site bans
300:Binary198
264:Binary198
163:Frito-Lay
115:Coldtrack
161:and the
149:WikiLove
78:Teahouse
17:Welcome!
910:C7XWiki
720:C7XWiki
689:defined
469:NoACEMM
381:NoACEMM
279:C7XWiki
244:DPL bot
194:C7XWiki
167:Cheetos
536:where
262:Docs?
165:snack
128:Hi C7X
97:tildes
107:, or
914:talk
892:talk
824:<
791:<
741:<
724:talk
700:<
507:talk
480:talk
432:The
392:talk
344:The
304:talk
283:talk
268:talk
257:OCFs
248:talk
198:talk
192:Hi!
119:talk
89:sign
55:and
36:and
886:."
847:sup
753:on
680:are
228:FAQ
916:)
894:)
864:α
856:∣
853:α
827:β
821:α
799:β
786:α
726:)
703:β
697:α
694:∧
671:β
658:α
650:∣
642:β
629:α
596:α
571:α
549:α
524:α
509:)
482:)
471:}}
467:{{
444:,
394:)
383:}}
379:{{
356:,
306:)
285:)
270:)
250:)
234:.)
200:)
121:)
84:.
912:(
890:(
874:}
860:a
850:{
795:a
782:a
761:A
722:(
706:}
667:a
663:,
654:a
647:)
638:a
634:,
625:a
621:(
618:{
592:a
545:a
505:(
478:(
390:(
302:(
281:(
266:(
246:(
196:(
117:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
