Compactness theorem: Revision history

16 November 2024

• curprev 14:4314:43, 16 November 2024 Oneequalsequalsone talk contribs 14,307 bytes +22 Changing short description from "Theorem" to "Theorem in mathematical logic" undo Tag: Shortdesc helper

4 November 2024

• curprev 14:1814:18, 4 November 2024 Tenpop421 talk contribs m 14,285 bytes 0 →Robinson's principle: ]1949 > 1949 undo
• curprev 14:1814:18, 4 November 2024 Tenpop421 talk contribs m 14,285 bytes −4 →Robinson's principle: Unwikilinked 1949 undo

19 January 2024

• curprev 18:4818:48, 19 January 2024 147.26.87.7 talk 14,289 bytes +1 →Proofs undo

4 December 2023

• curprev 00:5800:58, 4 December 2023 SFeesh talk contribs m 14,288 bytes +13 →Proofs undo

29 November 2023

• curprev 01:2601:26, 29 November 2023 67.198.37.16 talk 14,275 bytes +21 wikilink effective method because I think that is the intended meaning, and the talk page asked about it. undo

8 November 2023

• curprev 05:1605:16, 8 November 2023 OAbot talk contribs m 14,254 bytes +16 Open access bot: doi updated in citation with #oabot. undo

17 May 2023

• curprev 21:3721:37, 17 May 2023 31.204.3.170 talk 14,238 bytes +21 →Proofs undo

16 December 2022

• curprev 01:4801:48, 16 December 2022 Mgkrupa talk contribs 14,217 bytes +265 Made statement technically correct (after checking the citation) and mentioned the transfer principle. undo
• curprev 01:2101:21, 16 December 2022 Mgkrupa talk contribs 13,952 bytes +31 →Non-standard analysis undo

8 December 2022

• curprev 01:2701:27, 8 December 2022 PatrickR2 talk contribs m 13,921 bytes −1 punctuation fix undo

13 October 2022

• curprev 02:5902:59, 13 October 2022 3mi1y talk contribs 13,922 bytes −73 Reverted 2 edits by Ajitendra kumar jain (talk) undo Tags: Twinkle Undo
• curprev 02:5702:57, 13 October 2022 Ajitendra kumar jain talk contribs 13,995 bytes −12 That hav3 another name is wiwo function which discovered by Harshit jain undo Tags: Reverted Mobile edit Mobile web edit
• curprev 02:5602:56, 13 October 2022 Ajitendra kumar jain talk contribs 14,007 bytes +85 Also other name is FBP PRINCIPLE and wiwo 3 which discovered by Harshit jain undo Tags: Reverted Mobile edit Mobile web edit
• curprev 02:4802:48, 13 October 2022 AndreJustAndre talk contribs m 13,922 bytes −57 Reverted 1 edit by Ajitendra kumar jain (talk) to last revision by Felix QW undo Tags: Twinkle Undo
• curprev 02:4702:47, 13 October 2022 Ajitendra kumar jain talk contribs 13,979 bytes +57 State also the wiwo function which also another name of compactness theorem proposed by Harshit jain undo Tags: Reverted Mobile edit Mobile web edit

12 October 2022

• curprev 17:5517:55, 12 October 2022 Felix QW talk contribs 13,922 bytes −124 Restored revision 1115645011 by ButterCashier (talk) undo Tags: Twinkle Undo
• curprev 13:5213:52, 12 October 2022 2409:4081:9b97:965::c509:9d0d talk 14,046 bytes +7 In now undo Tags: Reverted Mobile edit Mobile web edit
• curprev 13:5113:51, 12 October 2022 2409:4081:9b97:965::c509:9d0d talk 14,039 bytes +117 That is new research in mathematical logic of wiwo function that wave in wave oscillation proposed by Harshit jain undo Tags: Reverted Mobile edit Mobile web edit
• curprev 13:3613:36, 12 October 2022 ButterCashier talk contribs 13,922 bytes −71 Reverting edit(s) by 2409:4081:9B97:965:0:0:C509:9D0D (talk) to rev. 1113918188 by Discospinster: non-constructive (RW 16.1) undo Tags: RW Undo
• curprev 13:3613:36, 12 October 2022 2409:4081:9b97:965::c509:9d0d talk 13,993 bytes +18 It is very important undo Tags: Reverted Mobile edit Mobile web edit
• curprev 13:0913:09, 12 October 2022 2409:4081:9b97:965::c509:9d0d talk 13,975 bytes +30 Wiwo function by Harshit jain undo Tags: Reverted Mobile edit Mobile web edit
• curprev 13:0813:08, 12 October 2022 2409:4081:9b97:965::c509:9d0d talk 13,945 bytes +23 Or half wiwo function undo Tags: Reverted Mobile edit Mobile web edit

3 October 2022

• curprev 21:2821:28, 3 October 2022 Discospinster talk contribs m 13,922 bytes −2 Reverted edits by Andthatt (talk) (HG) (3.4.10) undo Tag: Rollback
• curprev 21:2821:28, 3 October 2022 Andthatt talk contribs m 13,924 bytes +2 No edit summary undo Tags: Reverted Visual edit

19 September 2022

• curprev 23:5523:55, 19 September 2022 Blythwood talk contribs m 13,922 bytes +23 →References: With his article kept, added author-link undo

22 August 2022

• curprev 14:3914:39, 22 August 2022 旅に出よう一人で talk contribs 13,899 bytes +1 →Upward Löwenheim–Skolem theorem: add period undo Tags: Mobile edit Mobile web edit

27 July 2022

• curprev 20:0920:09, 27 July 2022 Aubreybardo talk contribs 13,898 bytes +134 →External links: link added undo

11 May 2022

• curprev 21:5821:58, 11 May 2022 Mgkrupa talk contribs m 13,764 bytes −1 Updated internal link undo
• curprev 12:1212:12, 11 May 2022 Kompik talk contribs 13,765 bytes −8 doi and jstor instead of the dead Project Euclid link undo

19 February 2022

• curprev 19:3519:35, 19 February 2022 Citation bot talk contribs 13,773 bytes +20 Alter: pages. Add: s2cid. Formatted dashes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 590/663 undo

15 January 2022

• curprev 19:4119:41, 15 January 2022 Mgkrupa talk contribs 13,753 bytes +56 Added {{Mathematical logic}} undo

26 December 2021

• curprev 05:5005:50, 26 December 2021 Mgkrupa talk contribs 13,697 bytes +76 Mentioned the transfer principle. Clarified how the results are related. undo
• curprev 04:5404:54, 26 December 2021 Mgkrupa talk contribs 13,621 bytes +81 Mentioned Abraham Robinson undo
• curprev 03:1303:13, 26 December 2021 Mgkrupa talk contribs 13,540 bytes +213 Copy editing to make this article more compliant with MOS:MATH and Wikipedia:Manual of Style/Accessibility. No information was added, removed, or changed. undo
• curprev 03:0403:04, 26 December 2021 Mgkrupa talk contribs m 13,327 bytes −4 Fix. Removed word. undo
• curprev 03:0103:01, 26 December 2021 Mgkrupa talk contribs 13,331 bytes −51 Reworded statement undo
• curprev 02:5902:59, 26 December 2021 Mgkrupa talk contribs 13,382 bytes +25 Reworded undo
• curprev 02:5002:50, 26 December 2021 Mgkrupa talk contribs 13,357 bytes +1,615 Added sourced information and reference. Copy editing. undo Tag: citing a blog or free web host
• curprev 01:5601:56, 26 December 2021 Mgkrupa talk contribs 11,742 bytes +106 Updated reference undo
• curprev 01:4601:46, 26 December 2021 Mgkrupa talk contribs 11,636 bytes +323 Added reference undo
• curprev 00:2800:28, 26 December 2021 Mgkrupa talk contribs m 11,313 bytes +32 Added citation undo
• curprev 00:2800:28, 26 December 2021 Mgkrupa talk contribs 11,281 bytes +225 Added reference. Copy editing. undo

25 December 2021

• curprev 01:3301:33, 25 December 2021 Mgkrupa talk contribs m 11,056 bytes +8 Changed link undo
• curprev 01:2501:25, 25 December 2021 Mgkrupa talk contribs m 11,048 bytes +8 Added internal link undo
• curprev 01:1901:19, 25 December 2021 Mgkrupa talk contribs 11,040 bytes +734 Clarified example(s) by adding details. Copy editing. undo

26 October 2021

• curprev 13:1713:17, 26 October 2021 Hellacioussatyr talk contribs 10,306 bytes +56 →Proofs undo Tags: nowiki added Mobile edit Mobile web edit Advanced mobile edit

17 April 2021

• curprev 01:1301:13, 17 April 2021 Mgkrupa talk contribs m 10,250 bytes +25 Updated internal link undo

16 March 2021

• curprev 11:4811:48, 16 March 2021 ExcellentWheatFarmer talk contribs 10,225 bytes +30 Importing Wikidata short description: "Theorem" (Shortdesc helper) undo

28 December 2020

• curprev 04:4204:42, 28 December 2020 Monkbot talk contribs m 10,195 bytes +3 Task 18 (cosmetic): eval 7 templates: hyphenate params (3×); undo Tag: AWB