Baire space (set theory): Revision history

7 August 2024

• curprev 07:0407:04, 7 August 2024 The-erinaceous-one talk contribs m 13,218 bytes +30 Move "product topology" into the first sentence undo

11 June 2024

• curprev 06:5506:55, 11 June 2024 David Eppstein talk contribs 13,188 bytes +30 →Relation to the real line: expand scope of footnote undo
• curprev 06:5406:54, 11 June 2024 David Eppstein talk contribs 13,158 bytes +480 →Relation to the real line: clarify + source undo

13 April 2024

• curprev 00:3600:36, 13 April 2024 LaundryPizza03 talk contribs 12,678 bytes +23 →Relation to the real line undo

11 April 2024

• curprev 17:1217:12, 11 April 2024 2601:200:c082:2ea0:1c91:8a6:21b7:9051 talk 12,655 bytes +151 No edit summary undo

18 January 2024

• curprev 18:3718:37, 18 January 2024 Cocobb8 talk contribs m 12,504 bytes −12 Reverted edits by 185.212.61.82 (talk) (AV) undo Tags: AntiVandal Rollback
• curprev 18:3518:35, 18 January 2024 185.212.61.82 talk 12,516 bytes +12 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

28 November 2023

• curprev 04:1804:18, 28 November 2023 67.198.37.16 talk 12,504 bytes +4 →Tree basis: Use sigma not tau for points in S (same as the notation is used in Borel determinacy theorem) undo
• curprev 01:0301:03, 28 November 2023 67.198.37.16 talk 12,500 bytes +19 →Weight: the sequence is countably infinite long, and not something bigger. undo
• curprev 00:1400:14, 28 November 2023 67.198.37.16 talk 12,481 bytes +20 →Metric: wikilink base (topology) undo
• curprev 00:1200:12, 28 November 2023 67.198.37.16 talk 12,461 bytes +538 →Metric: embeddings of metric spaces. undo
• curprev 00:0200:02, 28 November 2023 67.198.37.16 talk 11,923 bytes 0 exchange the metric and weight sections. undo

27 November 2023

• curprev 23:5823:58, 27 November 2023 67.198.37.16 talk 11,923 bytes +117 →Metric: basis defined via metric. undo
• curprev 23:4923:49, 27 November 2023 67.198.37.16 talk 11,806 bytes +13 →Tree basis: wikilink shortlex undo
• curprev 23:4023:40, 27 November 2023 67.198.37.16 talk 11,793 bytes +193 →Tree basis: restore deleted text about Borel hierarchy undo
• curprev 23:3523:35, 27 November 2023 67.198.37.16 talk 11,600 bytes +50 →Weight: introduce notation undo
• curprev 21:5621:56, 27 November 2023 67.198.37.16 talk 11,550 bytes +164 →Tree basis: this implies it's zero dimensional undo
• curprev 21:3921:39, 27 November 2023 67.198.37.16 talk 11,386 bytes −2 →Weight: grammar undo
• curprev 21:3821:38, 27 November 2023 67.198.37.16 talk 11,388 bytes +136 →Weight: Add trivial remark. undo
• curprev 20:1820:18, 27 November 2023 67.198.37.16 talk 11,252 bytes 0 →Metric and weight: split section into two, as concepts are unrelated undo
• curprev 20:1620:16, 27 November 2023 67.198.37.16 talk 11,252 bytes +902 Metric and weight undo
• curprev 19:5619:56, 27 November 2023 67.198.37.16 talk 10,350 bytes +39 →Tree basis: well, its clopen undo
• curprev 19:0519:05, 27 November 2023 67.198.37.16 talk 10,311 bytes +178 →Tree basis: Borel hierarchy undo
• curprev 18:5518:55, 27 November 2023 67.198.37.16 talk 10,133 bytes +13 →Tree basis: clarify wording undo
• curprev 18:5018:50, 27 November 2023 67.198.37.16 talk 10,120 bytes +7 →Cylinder set basis: say "finite" again, just for good luck. undo
• curprev 18:4218:42, 27 November 2023 67.198.37.16 talk 10,113 bytes +157 →Topology and trees: add subheadings to this section undo
• curprev 18:2818:28, 27 November 2023 67.198.37.16 talk 9,956 bytes +280 →Topology and trees: provide a cleaner description of the closed sets undo
• curprev 17:5217:52, 27 November 2023 67.198.37.16 talk 9,676 bytes +7 →Topology and trees: just say finite, up front undo
• curprev 17:3717:37, 27 November 2023 67.198.37.16 talk 9,669 bytes +5 →Relation to the real line: the lede says natural numbers; so don't switch to non-negative integers half-way through the article. undo
• curprev 17:2417:24, 27 November 2023 67.198.37.16 talk 9,664 bytes +8 →Properties: wikilink saturated model complete theory undo

28 January 2023

• curprev 05:1405:14, 28 January 2023 Mgkrupa talk contribs 9,656 bytes +36 →See also undo

25 August 2022

• curprev 07:2207:22, 25 August 2022 LaundryPizza03 talk contribs 9,620 bytes +63 +Category:Topological spaces; +Category:Integer sequences using HotCat undo

3 March 2022

• curprev 18:2818:28, 3 March 2022 Hellacioussatyr talk contribs 9,557 bytes −16 →The shift operator undo Tags: Mobile edit Mobile web edit Advanced mobile edit

27 January 2022

• curprev 22:1022:10, 27 January 2022 Trovatore talk contribs 9,573 bytes −298 Undid revision 1068325797 by 2601:281:8580:8B20:DDD1:6E6D:F85A:59CF (talk) that's a loose analogy -- stating it like this is more misleading than helpful. Might be possible to incorporate something about the analogy but needs to be stated carefully undo Tag: Undo
• curprev 20:3120:31, 27 January 2022 2601:281:8580:8b20:ddd1:6e6d:f85a:59cf talk 9,871 bytes +298 →Properties undo Tag: Reverted

28 December 2021

• curprev 10:0310:03, 28 December 2021 GünniX talk contribs m 9,573 bytes −14 v2.04 - Fix errors for CW project (Reference list duplication) undo Tag: WPCleaner

24 October 2021

• curprev 07:4707:47, 24 October 2021 Ffffrr talk contribs 9,587 bytes +43 Short description added undo Tags: Mobile edit Mobile web edit Advanced mobile edit

20 September 2021

• curprev 15:2615:26, 20 September 2021 2a02:1812:110c:dc00:75ad:5a43:c5c:d561 talk 9,544 bytes +146 No edit summary undo

15 July 2020

• curprev 00:0300:03, 15 July 2020 Mgkrupa talk contribs m 9,398 bytes +1 Fix undo
• curprev 00:0300:03, 15 July 2020 Mgkrupa talk contribs 9,397 bytes +64 Added section undo

11 June 2020

• curprev 15:0615:06, 11 June 2020 93.83.185.90 talk 9,333 bytes +138 Naming clarifications undo

10 May 2020

• curprev 17:4517:45, 10 May 2020 Trovatore talk contribs 9,195 bytes +23 In my experience, omega^omega is the most common notation, and I think we should lead with that. I have never encountered the B notation so I'm removing it entirely. If there's a source that uses it, it can be mentioned again, but I still think we should use omega^omega as the primary notiation undo
• curprev 16:2716:27, 10 May 2020 84.223.42.236 talk 9,172 bytes +12 →The shift operator undo
• curprev 16:2616:26, 10 May 2020 84.223.42.236 talk 9,160 bytes +2 →The shift operator undo
• curprev 16:2516:25, 10 May 2020 84.223.42.236 talk 9,158 bytes +32 →The shift operator undo

19 January 2020

• curprev 08:4508:45, 19 January 2020 Tea2min talk contribs m 9,126 bytes −4 →top: Replace curly quotation marks by straight ones, per MOS:QUOTEMARKS. undo

13 January 2020

• curprev 08:0808:08, 13 January 2020 69.181.37.53 talk 9,130 bytes +20 →The shift operator undo

15 November 2019

• curprev 08:4708:47, 15 November 2019 InternetArchiveBot talk contribs 9,110 bytes +162 Bluelink 2 books for verifiability.) #IABot (v2.0) (GreenC bot undo

4 October 2018

• curprev 10:5210:52, 4 October 2018 80.110.44.146 talk 8,948 bytes +426 Fix the construction of the homeomorphism undo

6 May 2018

• curprev 19:4219:42, 6 May 2018 PatrickR2 talk contribs m 8,522 bytes +20 →Topology and trees undo