User talk:C7XWiki

Hello, C7XWiki, and welcome to Wikipedia! Thank you for your contributions, especially your edits to :Large countable ordinal. I hope you like the place and decide to stay. Here are a few links to pages you might find helpful:

• Introduction and Getting started
• Contributing to Wikipedia
• The five pillars of Wikipedia
• How to edit a page and How to develop articles
• How to create your first article
• Simplified Manual of Style

You may also want to complete the Wikipedia Adventure, an interactive tour that will help you learn the basics of editing Wikipedia. You can visit the Teahouse to ask questions or seek help. Need some ideas about what kind of things need doing? Try the Task Center.

Please remember to sign your messages on talk pages by typing four tildes (~~~~); this will automatically insert your username and the date. If you need help, check out Wikipedia:Questions, ask me on my talk page, or {{edit|Special:MyTalk|ask for help on your talk page|section=new|preload=Help:Contents/helpmepreload|preloadtitle=Help me!}}, and a volunteer should respond shortly. Again, welcome! Coldtrack (talk) 21:25, 6 May 2021 (UTC)

I'm on the googology wikia now under the same username.

Hi. Thank you for your recent edits. An automated process has detected that when you recently edited Model theory, you added a link pointing to the disambiguation page Formal theory. Such links are usually incorrect, since a disambiguation page is merely a list of unrelated topics with similar titles. (Read the FAQ{{*}} Join us at the DPL WikiProject.)

It's OK to remove this message. Also, to stop receiving these messages, follow these opt-out instructions. Thanks, DPL bot (talk) 05:58, 28 September 2021 (UTC)

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 Docs? Binary198 (talk) 17:30, 21 February 2022 (UTC)

: 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 C7XWiki (talk) 10:21, 26 February 2022 (UTC)

:: Great! I don't 100% understand elementary embeddings myself (I have a vague idea). https://docs.google.com/document/d/1J2ThLBQ4PZe9L4MrOpeGhaFEGzovj_icluipIT49GeE/edit?usp=sharing Binary198 (talk) 16:13, 1 March 2022 (UTC)

A while back you added a proof to the article Well-ordering theorem 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. Will Orrick (talk) 18:30, 25 January 2024 (UTC)

: 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 $\backslash alpha$ where $a\_\backslash alpha$ is defined, and where the set placed at height $\backslash alpha$ in the ordering is $a\_\backslash alpha$. The well-ordering itself as a set would be , 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! C7XWiki (talk) 22:06, 25 January 2024 (UTC)

::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 on $A$ defined by if and only if (in the usual well-order of the ordinals) is a well-order of order type $\backslash sup\backslash \{\backslash alpha\; \backslash mid\; a\_\backslash alpha\backslash text\{\; is\; defined\}\backslash \}$." Will Orrick (talk) 17:16, 26 January 2024 (UTC)

::: That form sounds fine, I will add it into the article. Thanks! C7XWiki (talk) 06:33, 28 January 2024 (UTC)