User talk:Set theorist

Welcome!

Hello, Set theorist, and welcome to Wikipedia! Thank you for your contributions. I hope you like the place and decide to stay. Here are some pages that you might find helpful: I hope you enjoy editing here and being a Wikipedian! Please sign your messages on discussion pages using four tildes ( ~ ); this will automatically insert your username and the date. If you need help, check out Questions, ask me on my talk page, or ask your question on this page and then place  before the question. Again, welcome! Jc3s5h (talk) 13:58, 7 October 2010 (UTC)
 * The five pillars of Wikipedia
 * Tutorial
 * How to edit a page and How to develop articles
 * How to create your first article (using the Article Wizard if you wish)
 * Manual of Style

Merge proposal Hartogs'lemma -> Hartogs extension theorem
Hello, Set theorist. I support you merge proposal pertaining the entries Hartogs' lemma and Hartogs' extension theorem. If no objection will arise, I'll move the former one to the last one after the summer. Daniele.tampieri (talk) 07:16, 19 June 2011 (UTC)

Hello, that's me again. I have found evidence of the correctness of the merge proposal: I have updated the discussion in the talk page of the Hartogs' extension theorem. Daniele.tampieri (talk) 12:17, 24 June 2011 (UTC)

! template
I saw on User:Set theorist/sandbox that you mention the reduction in the transclusion count of !. The main reason for the dramatic reduction in that one is due to an edit I make to Template:Class/icon in March to remove the use of the ! template and since Class/icon is used on all project banner templates, that lead to the massive reduction due to not being transcluded onto as many talk pages as before. -- WOSlinker (talk) 10:27, 6 June 2012 (UTC)

ArbCom elections are now open!
MediaWiki message delivery (talk) 14:10, 24 November 2015 (UTC)

ArbCom 2022 Elections voter message
 Hello! Voting in the 2022 Arbitration Committee elections is now open until 23:59 (UTC) on. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. 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 site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2022 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add to your user talk page. MediaWiki message delivery (talk) 00:42, 29 November 2022 (UTC)

Category:Tarski lecturers has been nominated for deletion
Category:Tarski lecturers has been nominated for deletion. A discussion is taking place to decide whether this proposal complies with the categorization guidelines. If you would like to participate in the discussion, you are invited to add your comments at the category's entry on the categories for discussion page. Thank you. RevelationDirect (talk) 00:08, 28 May 2023 (UTC)

ArbCom 2023 Elections voter message
 Hello! Voting in the 2023 Arbitration Committee elections is now open until 23:59 (UTC) on. All eligible users are allowed to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. 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 site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2023 election, please review the candidates and submit your choices on the voting page. If you no longer wish to receive these messages, you may add to your user talk page. MediaWiki message delivery (talk) 00:33, 28 November 2023 (UTC)