Model theory: Revision history

4 August 2024

• curprev 08:4708:47, 4 August 2024‎ D.Lazard talk contribs‎ 63,876 bytes −1‎ Reverted 2 edits by 74.104.138.216 (talk) undo Tags: Twinkle Undo
• curprev 01:4801:48, 4 August 2024‎ 74.104.138.216 talk‎ 63,877 bytes 0‎ strengthened vocabulary #article-section-source-editor undo Tags: Reverted Mobile edit Mobile app edit iOS app edit

3 August 2024

• curprev 01:2501:25, 3 August 2024‎ 74.104.138.216 talk‎ 63,877 bytes +1‎ #article-section-source-editor undo Tags: Reverted Mobile edit Mobile app edit iOS app edit

25 June 2024

• curprev 21:0521:05, 25 June 2024‎ Assume Without Loss talk contribs‎ m 63,876 bytes −1‎ Fixed spelling. undo Tag: Visual edit

4 June 2024

• curprev 04:4004:40, 4 June 2024‎ Cedar101 talk contribs‎ m 63,877 bytes +134‎ →‎Categoricity: {{mvar}} undo
• curprev 04:3404:34, 4 June 2024‎ Cedar101 talk contribs‎ m 63,743 bytes −44‎ →‎ω-categoricity: {{mvar}} {{mathbb}} undo
• curprev 04:3004:30, 4 June 2024‎ Cedar101 talk contribs‎ m 63,787 bytes −6‎ →‎Ultraproducts: {{mvar}} undo
• curprev 04:2804:28, 4 June 2024‎ Cedar101 talk contribs‎ m 63,793 bytes +10‎ →‎Ultraproducts: {{mvar}}, {{mathcal}} undo

2 June 2024

• curprev 09:4209:42, 2 June 2024‎ Theodore.norvell talk contribs‎ 63,783 bytes +32‎ →‎Basic model-theoretic concepts undo Tags: Mobile edit Mobile web edit
• curprev 01:1301:13, 2 June 2024‎ Mbivert talk contribs‎ m 63,751 bytes +2‎ I'm almost certain that we're missing our ordering relation in the signature here undo

8 May 2024

• curprev 07:3907:39, 8 May 2024‎ David Eppstein talk contribs‎ 63,749 bytes −170‎ →‎Basic model-theoretic concepts: clarify undo

28 April 2024

• curprev 23:4223:42, 28 April 2024‎ 5.151.155.177 talk‎ 63,919 bytes −1‎ →‎Basic model-theoretic concepts undo Tag: Manual revert
• curprev 23:4123:41, 28 April 2024‎ 5.151.155.177 talk‎ 63,920 bytes +1‎ →‎Basic model-theoretic concepts undo Tags: Manual revert Reverted
• curprev 23:4023:40, 28 April 2024‎ 5.151.155.177 talk‎ 63,919 bytes −1‎ →‎Basic model-theoretic concepts undo Tag: Reverted
• curprev 23:4023:40, 28 April 2024‎ 5.151.155.177 talk‎ 63,920 bytes −3‎ →‎Basic model-theoretic concepts undo

22 April 2024

• curprev 04:2004:20, 22 April 2024‎ Tule-hog talk contribs‎ m 63,923 bytes +9‎ clarify sentence, fix equation typo undo

19 February 2024

• curprev 10:1210:12, 19 February 2024‎ Ndcroos talk contribs‎ m 63,914 bytes +1‎ →‎History undo

25 January 2024

• curprev 18:5118:51, 25 January 2024‎ Beland talk contribs‎ m 63,913 bytes −5‎ MOS:ELLIPSES (via WP:JWB) undo

18 January 2024

• curprev 17:4917:49, 18 January 2024‎ Gert7 talk contribs‎ 63,918 bytes +211‎ Marker converted to harvp undo Tag: 2017 wikitext editor

15 November 2023

• curprev 00:2200:22, 15 November 2023‎ Oneequalsequalsone talk contribs‎ m 63,707 bytes +35‎ →‎top: link to 'structures' undo Tag: Visual edit

15 October 2023

• curprev 20:1920:19, 15 October 2023‎ Systemal talk contribs‎ m 63,672 bytes +35‎ Added link undo Tags: Visual edit Mobile edit Mobile web edit

30 August 2023

• curprev 23:3523:35, 30 August 2023‎ Marc Schroeder talk contribs‎ m 63,637 bytes +298‎ →‎Canonical textbooks undo

29 August 2023

• curprev 17:5417:54, 29 August 2023‎ 2601:540:ca80:5fb0:b048:88af:8acb:c2b talk‎ 63,339 bytes 0‎ change link undo

25 August 2023

• curprev 21:4521:45, 25 August 2023‎ 192.76.8.95 talk‎ 63,339 bytes +127‎ →‎First-order logic: Replaced some plaintext symbols with their corresponding maths (TeX) symbols, so that they look the same in the text and in the formulas shown. undo Tag: Visual edit

22 July 2023

• curprev 02:1902:19, 22 July 2023‎ Onel5969 talk contribs‎ m 63,212 bytes −6‎ clean up, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

17 May 2023

• curprev 21:3921:39, 17 May 2023‎ 31.204.3.104 talk‎ 63,218 bytes +33‎ Adding proof category undo

29 April 2023

• curprev 20:5420:54, 29 April 2023‎ PointlessUsername talk contribs‎ m 63,185 bytes −1‎ →‎Stability theory undo
• curprev 20:4320:43, 29 April 2023‎ PointlessUsername talk contribs‎ m 63,186 bytes 0‎ No edit summary undo Tag: Visual edit

21 April 2023

• curprev 08:1108:11, 21 April 2023‎ Lottamiata talk contribs‎ 63,186 bytes +162‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

16 April 2023

• curprev 08:4408:44, 16 April 2023‎ BalinKingOfMoria talk contribs‎ m 63,024 bytes 0‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

20 February 2023

• curprev 20:3220:32, 20 February 2023‎ Citation bot talk contribs‎ 63,024 bytes −52‎ Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 2839/3500 undo

29 January 2023

• curprev 15:5915:59, 29 January 2023‎ OAbot talk contribs‎ m 63,076 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

9 January 2023

• curprev 04:0404:04, 9 January 2023‎ 2601:541:4580:8500:dde0:9d78:c812:5679 talk‎ 63,060 bytes 0‎ change link undo

16 December 2022

• curprev 23:4223:42, 16 December 2022‎ Citation bot talk contribs‎ 63,060 bytes +34‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2176/3850 undo

14 November 2022

• curprev 05:4305:43, 14 November 2022‎ DimenErno talk contribs‎ 63,026 bytes +122‎ →‎Basic model-theoretic concepts undo
• curprev 05:3205:32, 14 November 2022‎ DimenErno talk contribs‎ 62,904 bytes −182‎ →‎Basic model-theoretic concepts: Explicitly specified constant symbol as a constituent of signature undo

13 November 2022

• curprev 19:3819:38, 13 November 2022‎ 69.143.122.185 talk‎ 63,086 bytes +6‎ →‎Basic model-theoretic concepts: found another example that I thought it would be helpful to split off from the definitions, to emphasize that the pla distinct roles in the exposition undo
• curprev 19:3619:36, 13 November 2022‎ 69.143.122.185 talk‎ 63,080 bytes +634‎ →‎Basic model-theoretic concepts: tried to make section a bit clearer for beginners like myself without adding any new content that might be incorrect undo

2 November 2022

• curprev 20:4620:46, 2 November 2022‎ 185.94.55.135 talk‎ 62,446 bytes +4‎ →‎First-order logic: add link to completeness theorem undo Tags: Mobile edit Mobile web edit

14 October 2022

• curprev 10:5510:55, 14 October 2022‎ Mikhail Ryazanov talk contribs‎ m 62,442 bytes +6‎ →‎Stone Spaces: MOS:CAPS, MOS:PAGERANGE undo

15 September 2022

• curprev 11:4811:48, 15 September 2022‎ 2601:541:4580:8500:24dd:86b9:b0c7:b346 talk‎ 62,436 bytes +28‎ change link undo

28 July 2022

• curprev 02:4802:48, 28 July 2022‎ C7XWiki talk contribs‎ 62,408 bytes +52‎ →‎First-order logic: Usual convention undo Tags: Mobile edit Mobile web edit
• curprev 02:3102:31, 28 July 2022‎ C7XWiki talk contribs‎ 62,356 bytes +17‎ →‎First-order logic: As far as I know this isn't the original statement of the theorem undo Tags: Mobile edit Mobile web edit

7 June 2022

• curprev 02:2302:23, 7 June 2022‎ DaGizza talk contribs‎ m 62,339 bytes 0‎ charcaterisations->characterisations - Fix a typo in one click undo

12 April 2022

• curprev 11:1811:18, 12 April 2022‎ 193.140.194.56 talk‎ 62,339 bytes −104‎ →‎Selected applications: Repeated sentence. undo

5 March 2022

• curprev 01:0001:00, 5 March 2022‎ Undsoweiter talk contribs‎ m 62,443 bytes +4‎ →‎Minimality: fixed typo undo

15 February 2022

• curprev 21:5721:57, 15 February 2022‎ Qwerfjkl talk contribs‎ m 62,439 bytes 0‎ satsifiability->satisfiability - Fix a typo in one click undo

8 February 2022

• curprev 16:2816:28, 8 February 2022‎ Felix QW talk contribs‎ 62,439 bytes 0‎ Moved wikilink to first occurence. undo Tag: 2017 wikitext editor
• curprev 15:3915:39, 8 February 2022‎ Flagrant hysterical curious talk contribs‎ 62,439 bytes +4‎ Added wl for Löwenheim–Skolem theorem undo Tag: Visual edit

5 February 2022

• curprev 20:3120:31, 5 February 2022‎ Felix QW talk contribs‎ 62,435 bytes −125‎ Description logics and OWL are quite unrelated to classical model theory undo