Structure (mathematical logic): Revision history

24 March 2025

• curprev 21:3621:36, 24 March 2025 Ringo62 talk contribs m 35,358 bytes −2 ce undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

11 January 2025

• curprev 23:1223:12, 11 January 2025 2601:207:180:1b16:c823:9876:8b9:1d5e talk 35,360 bytes 0 No edit summary undo

16 December 2024

• curprev 03:1203:12, 16 December 2024 Tule-hog talk contribs 35,360 bytes +58 →Interpretation function: add {main article} undo

26 November 2024

• curprev 14:3814:38, 26 November 2024 Feydun talk contribs m 35,302 bytes 0 →Many-sorted structures: Fixed grammar undo Tags: Mobile edit Mobile app edit Android app edit App section source

23 September 2024

• curprev 05:4205:42, 23 September 2024 Jochen Burghardt talk contribs 35,302 bytes −10 Undid revision 1246992917 by Scrooge Mcduc (talk) undo Tag: Undo

22 September 2024

• curprev 07:0807:08, 22 September 2024 Scrooge Mcduc talk contribs 35,312 bytes +10 →Satisfaction relation undo Tags: Reverted Mobile edit Mobile web edit

3 July 2024

• curprev 15:2515:25, 3 July 2024 Bouzmine talk contribs m 35,302 bytes 0 →Homomorphisms: Correct typo defiend -> defined undo

30 March 2024

• curprev 17:4517:45, 30 March 2024 186.227.228.202 talk 35,302 bytes +3 →Interpretation function undo

20 March 2024

• curprev 00:3500:35, 20 March 2024 BD2412 talk contribs m 35,299 bytes −3 clean up spacing around commas and other punctuation fixes, replaced: , , → , , ,a → , a (21), ,b → , b (6), ,h → , h (6) undo Tag: AWB

17 February 2024

• curprev 07:3107:31, 17 February 2024 Citation bot talk contribs 35,302 bytes −4 Altered title. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles lacking in-text citations from April 2010 | #UCB_Category 90/351 undo

17 December 2023

• curprev 17:2017:20, 17 December 2023 Oneequalsequalsone talk contribs 35,306 bytes −16 →Definition undo Tag: 2017 wikitext editor

26 November 2023

• curprev 20:1620:16, 26 November 2023 AnomieBOT talk contribs m 35,322 bytes +19 Dating maintenance tags: {{Expand section}} undo
• curprev 19:5619:56, 26 November 2023 Jochen Burghardt talk contribs 35,303 bytes −1 →History: agreed, but better make it visible undo

24 November 2023

• curprev 23:3123:31, 24 November 2023 Oneequalsequalsone talk contribs 35,304 bytes +66 →History: add invisible comment undo Tag: Visual edit

9 September 2023

• curprev 12:3512:35, 9 September 2023 86.158.200.171 talk 35,238 bytes +123 Thanks, fixed. Could you please select the appropriate reference from the Euclidean webpage? undo
• curprev 10:5110:51, 9 September 2023 Jochen Burghardt talk contribs 35,115 bytes −116 Undid revision 1174555242 by 86.158.200.171 (talk): afaik, providing a model is still a prominent method for consistency proofs (if I'm right, this should not be mentioned in the History section) undo Tag: Undo
• curprev 06:0806:08, 9 September 2023 86.158.200.171 talk 35,231 bytes +116 Copied statement from Foundations of mathematics#Non-Euclidean geometries where the references are listed. undo Tag: Reverted

8 September 2023

• curprev 12:4812:48, 8 September 2023 2a00:23c6:54d3:da01:10e5:baa4:7347:e21a talk 35,115 bytes +207 quote undo

6 September 2023

• curprev 19:4419:44, 6 September 2023 86.147.148.188 talk 34,908 bytes +4 →History: syntax undo
• curprev 08:0008:00, 6 September 2023 2a00:23c6:54d3:da01:185c:89e8:564f:339b talk 34,904 bytes 0 No edit summary undo
• curprev 07:5607:56, 6 September 2023 2a00:23c6:54d3:da01:185c:89e8:564f:339b talk 34,904 bytes +612 Be bold - I have made a start. Could the experts please expand? The long-term aim is to make the article accessible to non-mathematicians. undo

2 September 2023

• curprev 07:3007:30, 2 September 2023 Jochen Burghardt talk contribs 34,292 bytes −39 Undid revision 1173335587 by 86.191.32.215 (talk) undo Tag: Undo

1 September 2023

• curprev 19:5319:53, 1 September 2023 86.191.32.215 talk 34,331 bytes +39 link undo Tag: Reverted

6 March 2023

• curprev 21:3721:37, 6 March 2023 Mgkrupa talk contribs m 34,292 bytes +4 →Examples undo

27 January 2023

• curprev 00:3800:38, 27 January 2023 69.143.122.185 talk 34,288 bytes +332 added relevant links to Wikipedia articles discussing Tarski's semantics for FOL, and defining what a "first-order theory" is undo
• curprev 00:2600:26, 27 January 2023 69.143.122.185 talk 33,956 bytes +393 →Definable relations: fixed the link to the article on the Beth definability theorem undo
• curprev 00:1900:19, 27 January 2023 69.143.122.185 talk 33,563 bytes +268 →Embeddings: another instance of relation symbol of object theory being conflated with undo
• curprev 00:0600:06, 27 January 2023 69.143.122.185 talk 33,295 bytes +541 →Homomorphisms: address the issue about conflating relation symbols with their interpretations that was mentioned in the talk page undo

26 January 2023

• curprev 23:3923:39, 26 January 2023 69.143.122.185 talk 32,754 bytes +176 →Homomorphisms: flagging problem with definition of strong homomorphism again undo
• curprev 08:4508:45, 26 January 2023 Mgkrupa talk contribs 32,578 bytes +313 Copy editing undo
• curprev 08:3808:38, 26 January 2023 Mgkrupa talk contribs 32,265 bytes +216 Copy editing undo

25 January 2023

• curprev 20:3020:30, 25 January 2023 Mgkrupa talk contribs m 32,049 bytes +61 Reworded undo
• curprev 20:2520:25, 25 January 2023 Mgkrupa talk contribs m 31,988 bytes 0 Fix undo

18 January 2023

• curprev 21:2621:26, 18 January 2023 Mgkrupa talk contribs 31,988 bytes +108 Added {{not to be confused|text=}} undo
• curprev 20:3420:34, 18 January 2023 Mgkrupa talk contribs m 31,880 bytes +17 Added links undo
• curprev 20:0920:09, 18 January 2023 Mgkrupa talk contribs 31,863 bytes +311 Copy editing. Per WP:ACCESSIBILITY#Indentation, <math display=block> should be used instead of :<math> (avoid the colon) & Per MOS:MATH#PUNC, punctuation should also be INside the </math> tag & Per WP:ACCESSIBILITY Unicode symbols ∈ ⊂ → ↦ ≡ ⊗ × ⋯ that might not render correctly in some browsers should be replaced with equivalent LaTeX code, Also changed the other symbols into LaTeX for consistency and/or improved readability undo
• curprev 19:5219:52, 18 January 2023 Mgkrupa talk contribs 31,552 bytes +462 Copy editing undo
• curprev 19:2319:23, 18 January 2023 Mgkrupa talk contribs 31,090 bytes +49 Added {{not to be confused|}} undo

19 November 2022

• curprev 11:0411:04, 19 November 2022 WikiCleanerBot talk contribs m 31,041 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner
• curprev 09:5709:57, 19 November 2022 Jochen Burghardt talk contribs 31,041 bytes −514 →Structures that are proper classes: done undo
• curprev 09:5609:56, 19 November 2022 Jochen Burghardt talk contribs 31,555 bytes +23 →Domain: afaik, "domain" is just short for "domain of discourse"; bold-->italics per MOS:BOLD undo
• curprev 09:5109:51, 19 November 2022 Jochen Burghardt talk contribs 31,532 bytes −166 Undid revision 1121756440 by 69.143.122.185 (talk): links from the article shouldn't be repeated undo Tag: Undo

14 November 2022

• curprev 00:0200:02, 14 November 2022 69.143.122.185 talk 31,698 bytes +166 →See also: i'm not sure whether this is overkill, or whether it's actually helpful, but added links to other relevant topics, especially ones that are important for clarifying the most important and confusing concepts in this article for beginners undo Tag: Reverted

13 November 2022

• curprev 23:5723:57, 13 November 2022 69.143.122.185 talk 31,532 bytes +60 →Definition: added link to potentially relevant wikipedia article, because the section of that wikipedia articlee specifically mentions model-theoretic semantics undo
• curprev 23:4923:49, 13 November 2022 69.143.122.185 talk 31,472 bytes +514 →Structures that are proper classes: request clarification on the terms "domain of discourse" versus "domain" undo
• curprev 23:4423:44, 13 November 2022 69.143.122.185 talk 30,958 bytes +147 added note of caution to beginners that "interpretation" as used in model theory is not the same meaning undo
• curprev 23:2423:24, 13 November 2022 69.143.122.185 talk 30,811 bytes +688 →Signature: tried to organize the section about signatures so that it is a little bit clearer undo Tag: Visual edit: Switched

17 June 2022

• curprev 19:3619:36, 17 June 2022 Joy talk contribs m 30,123 bytes −11 Reverted edits by 2603:6010:1EF0:81A0:5016:9FF3:B045:AAD5 (talk) to last version by Felix QW undo Tag: Rollback
• curprev 17:5617:56, 17 June 2022 2603:6010:1ef0:81a0:5016:9ff3:b045:aad5 talk 30,134 bytes +11 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

24 January 2022

• curprev 08:5308:53, 24 January 2022 Felix QW talk contribs 30,123 bytes −38 →Interpretation function: Interpretation (model theory) refers to interpreting structures in each other, not interpreting constants. undo Tag: 2017 wikitext editor