Model theory: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 10:2610:26, 2 April 2025 Citation bot talk contribs 64,324 bytes −18 Altered url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 320/1913 undo

curprev 14:3014:30, 23 March 2025 Marc Schroeder talk contribs m 64,342 bytes −175 No edit summary undo
curprev 14:1114:11, 23 March 2025 Marc Schroeder talk contribs m 64,517 bytes +355 →Other textbooks undo

curprev 20:3320:33, 4 March 2025 Sulturr talk contribs m 64,162 bytes +1 "Lindstrom" -> "Lindström" undo

curprev 02:5202:52, 3 March 2025 Nnnazz talk contribs m 64,161 bytes +2 →Ultraproducts undo
curprev 00:1900:19, 3 March 2025 Citation bot talk contribs 64,159 bytes +9 Added issue. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 320/1913 undo

curprev 01:1601:16, 25 February 2025 Cedar101 talk contribs 64,150 bytes +60 →Eliminating quantifiers: {{math|1=}} undo

curprev 20:2020:20, 24 February 2025 Citation bot talk contribs 64,090 bytes +41 Altered pages. Add: jstor, doi. Formatted dashes. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 320/1913 undo

curprev 01:0701:07, 31 January 2025 TheseVGF talk contribs 64,049 bytes +30 cleanup links undo

curprev 21:1521:15, 30 December 2024 Tule-hog talk contribs m 64,019 bytes +7 →Other textbooks: fix ref undo
curprev 21:1421:14, 30 December 2024 Tule-hog talk contribs 64,012 bytes −59 use {sfn}, format refs undo Tag: harv or sfn error

curprev 13:0013:00, 20 November 2024 Oneequalsequalsone talk contribs m 64,071 bytes +90 →Basic model-theoretic concepts: linking to article that explains the notion undo Tag: Visual edit
curprev 12:4912:49, 20 November 2024 Oneequalsequalsone talk contribs m 63,981 bytes +1 →First-order logic undo Tag: Visual edit

curprev 15:1115:11, 13 November 2024 Felix QW talk contribs 63,980 bytes +104 Implement changes suggested on talk (slightly tweaked) undo Tag: Visual edit

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 April 2025

23 March 2025

4 March 2025

3 March 2025

25 February 2025

24 February 2025

31 January 2025

30 December 2024

20 November 2024

13 November 2024

4 August 2024

3 August 2024

25 June 2024

4 June 2024

2 June 2024

8 May 2024

28 April 2024

22 April 2024

19 February 2024

25 January 2024

18 January 2024

15 November 2023

15 October 2023

30 August 2023

29 August 2023

25 August 2023

22 July 2023

17 May 2023

29 April 2023

21 April 2023

16 April 2023

20 February 2023

29 January 2023

9 January 2023

16 December 2022

14 November 2022