User talk:Set theorist

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)

I saw on User:Set theorist/sandbox that you mention the reduction in the transclusion count of {{tl|!}}. 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)

{{Wikipedia:Arbitration Committee Elections December 2015/MassMessage}} MediaWiki message delivery (talk) 14:10, 24 November 2015 (UTC)

{{Ivmbox|Hello, Set theorist. Voting in the 2016 Arbitration Committee elections is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.

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 2016 election, please review the candidates' statements and submit your choices on the voting page. MediaWiki message delivery (talk) 22:08, 21 November 2016 (UTC)

|Scale of justice 2.svg|imagesize=40px}}

{{Ivmbox|Hello, Set theorist. Voting in the 2016 Arbitration Committee elections is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.

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 2016 election, please review the candidates' statements and submit your choices on the voting page. MediaWiki message delivery (talk) 22:08, 21 November 2016 (UTC)

|Scale of justice 2.svg|imagesize=40px}}

{{Ivmbox|Hello, Set theorist. Voting in the 2017 Arbitration Committee elections is now open until 23.59 on Sunday, 10 December. All users who registered an account before Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible 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 2017 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 3 December 2017 (UTC)

|Scale of justice 2.svg|imagesize=40px}}

{{Ivmbox|Hello, Set theorist. Voting in the 2018 Arbitration Committee elections is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible 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 2018 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 19 November 2018 (UTC)

|Scale of justice 2.svg|imagesize=40px}}