Tarski's axioms: Revision history

16 December 2023

• curprev 20:4620:46, 16 December 2023 AxelBoldt talk contribs 26,760 bytes +1,026 parameters in continuity axiom are necessary; more statements that cannot be expressed in elementary geometry undo Tag: Visual edit: Switched

13 December 2023

• curprev 02:3402:34, 13 December 2023 AxelBoldt talk contribs 25,734 bytes −5 →Discussion undo Tag: Visual edit
• curprev 01:5501:55, 13 December 2023 AxelBoldt talk contribs 25,739 bytes +72 →Discussion: use wff throughout undo Tag: Visual edit
• curprev 00:0600:06, 13 December 2023 AxelBoldt talk contribs 25,667 bytes −224 →Discussion: removing unhelpful sentence undo Tag: Visual edit

12 December 2023

• curprev 23:0123:01, 12 December 2023 AxelBoldt talk contribs m 25,891 bytes +50 →References: url undo
• curprev 22:4822:48, 12 December 2023 AxelBoldt talk contribs 25,841 bytes +2,277 mention non-isomorphic models, Archimedean property, adding Greenberg ref undo Tag: Visual edit: Switched

9 December 2023

• curprev 21:2521:25, 9 December 2023 AxelBoldt talk contribs 23,564 bytes +295 No edit summary undo Tag: Visual edit

8 December 2023

• curprev 22:2522:25, 8 December 2023 AxelBoldt talk contribs 23,269 bytes +540 A bit more in intro undo Tag: Visual edit

3 December 2023

• curprev 12:4112:41, 3 December 2023 Marc Schroeder talk contribs m 22,729 bytes −10 No edit summary undo

28 August 2023

• curprev 17:2217:22, 28 August 2023 Citation bot talk contribs 22,739 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Foundations of geometry | #UCB_Category 12/15 undo

12 July 2023

• curprev 12:4612:46, 12 July 2023 Anas1712 talk contribs 22,722 bytes +566 →References undo
• curprev 11:4011:40, 12 July 2023 Citation bot talk contribs 22,156 bytes +37 Add: s2cid. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Mathematical axioms | #UCB_Category 12/22 undo

13 March 2023

• curprev 20:1220:12, 13 March 2023 76.187.18.236 talk 22,119 bytes −34 →Discussion undo

8 March 2023

• curprev 14:3914:39, 8 March 2023 150.220.168.2 talk 22,153 bytes +122 →Discussion undo

24 August 2022

• curprev 22:5122:51, 24 August 2022 Mgkrupa talk contribs 22,031 bytes +24 Added {{Mathematical logic}} undo

12 May 2022

• curprev 14:0114:01, 12 May 2022 96.63.208.31 talk 22,007 bytes +112 No edit summary undo

21 April 2022

• curprev 13:4213:42, 21 April 2022 96.63.208.22 talk 21,895 bytes +10 →Discussion undo

18 March 2022

• curprev 23:5023:50, 18 March 2022 69.143.122.185 talk 21,885 bytes 0 →Congruence and betweenness: Given the other axioms, the order of 'uz' versus 'zu' in the congruence statement 'yu \equiv zu' does not matter, but anyway 'yu \equiv uz' maintains the pattern of the other congruence statements in the hypotheses of the Euclid axiom, whereas 'yu \equiv zu' doesn't, so for purely aesthetic reasons I suggest changing it. That being said this change has no logical substance... undo

22 December 2021

• curprev 07:5607:56, 22 December 2021 2607:fea8:e80:555:e9e3:abbe:a2b9:d80c talk 21,885 bytes +66 →Fundamental relations undo Tags: Mobile edit Mobile web edit
• curprev 07:4007:40, 22 December 2021 2607:fea8:e80:555:e9e3:abbe:a2b9:d80c talk 21,819 bytes +58 →Fundamental relations undo Tags: Mobile edit Mobile web edit
• curprev 06:4306:43, 22 December 2021 2607:fea8:e80:555:e9e3:abbe:a2b9:d80c talk 21,761 bytes +6 →Congruence and betweenness: Added some parentheses, so it is less confusing undo Tags: Mobile edit Mobile web edit

24 August 2021

• curprev 15:4615:46, 24 August 2021 TitleEditor talk contribs 21,755 bytes 0 Fixed typo undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 15:4515:45, 24 August 2021 TitleEditor talk contribs m 21,755 bytes +58 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

12 December 2020

• curprev 04:1904:19, 12 December 2020 Monkbot talk contribs m 21,697 bytes −8 Task 18 (cosmetic): eval 4 templates: del empty params (1×); undo Tag: AWB

13 July 2020

• curprev 21:3321:33, 13 July 2020 2601:281:8380:4fd0:7d7d:382e:b800:87c3 talk 21,705 bytes −91 The Axiom of Pasch does not imply that the diagonals of a quadrilateral intersect on it's own. Consider the square. undo

18 May 2020

• curprev 12:2212:22, 18 May 2020 Stefan654 talk contribs 21,796 bytes +453 Add explanation for five segment axiom undo Tags: nowiki added Visual edit

3 April 2020

• curprev 11:0311:03, 3 April 2020 24.10.184.87 talk 21,343 bytes 0 Undid revision 948776447 by 147.253.152.69 (talk) undo Tag: Undo

2 April 2020

• curprev 23:4523:45, 2 April 2020 147.253.152.69 talk 21,343 bytes 0 Correct misstatement of reflexivity undo

6 March 2020

• curprev 21:3221:32, 6 March 2020 Citation bot talk contribs m 21,343 bytes −52 Alter: issue. Add: jstor. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | via #UCB_webform undo

18 December 2019

• curprev 11:5211:52, 18 December 2019 InternetArchiveBot talk contribs 21,395 bytes +141 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

30 June 2019

• curprev 23:1823:18, 30 June 2019 Joel Brennan talk contribs m 21,254 bytes −1 →Comparison with Hilbert undo
• curprev 23:1423:14, 30 June 2019 Joel Brennan talk contribs m 21,255 bytes +29 →Discussion undo
• curprev 23:1023:10, 30 June 2019 Joel Brennan talk contribs m 21,226 bytes −1 →Betweenness axioms undo

15 June 2019

• curprev 00:3500:35, 15 June 2019 WeCantKnow talk contribs m 21,227 bytes +1 →Congruence axioms: Just added a missing space. undo Tag: Visual edit

11 October 2018

• curprev 11:3811:38, 11 October 2018 Salix alba talk contribs 21,226 bytes +39 replace \and with \land and \or with \lor to fix deprecated latex syntax, per mw:Extension:Math/Roadmap undo

6 October 2018

• curprev 05:2905:29, 6 October 2018 Cydebot talk contribs m 21,187 bytes −43 Robot - Removing category Eponymous scientific concepts per CFD at Wikipedia:Categories for discussion/Log/2018 September 22. undo

3 August 2018

• curprev 12:1312:13, 3 August 2018 Josvebot talk contribs m 21,230 bytes −3 v1.43b - WP:WCW project (Unicode control characters) undo Tag: WPCleaner

2 August 2018

• curprev 15:5815:58, 2 August 2018 Yahya Abdal-Aziz talk contribs m 21,233 bytes +3 →Overview: - ce undo
• curprev 08:5208:52, 2 August 2018 Tea2min talk contribs 21,230 bytes −33 →top: Try to fix what believe to be MOS:SUBMARINE links. undo
• curprev 08:1908:19, 2 August 2018 Tea2min talk contribs 21,263 bytes +41 →top: Rewording. Try to make link to elementary theory more obvious. Of course, feel free to revert if you prefer the previous version. undo

1 August 2018

• curprev 20:2520:25, 1 August 2018 212.100.146.194 talk 21,222 bytes +1 No edit summary undo

28 July 2018

• curprev 23:4223:42, 28 July 2018 BD2412 talk contribs m 21,221 bytes +46 →References: Category:Eponymous scientific concepts‎ using AWB undo

26 July 2018

• curprev 14:4914:49, 26 July 2018 Ira Leviton talk contribs m 21,175 bytes −15 Deleted 'interestingly' - see Wikipedia:Manual_of_Style/Words_to_watch#Editorializing. undo

17 May 2018

• curprev 12:4012:40, 17 May 2018 Rjwilmsi talk contribs m 21,190 bytes +21 →References: Journal cites, Added 1 doi to a journal cite undo Tag: AWB
• curprev 12:3812:38, 17 May 2018 Rjwilmsi talk contribs m 21,169 bytes +99 →References: Journal cites, templated 1 journal cites undo Tag: AWB

16 May 2018

• curprev 17:2017:20, 16 May 2018 Nemo bis talk contribs 21,070 bytes +28 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

27 March 2018

• curprev 21:2821:28, 27 March 2018 Lukenji talk contribs 21,042 bytes −1 →Congruence and betweenness undo

16 July 2017

• curprev 00:3700:37, 16 July 2017 Deacon Vorbis talk contribs m 21,043 bytes −12 →Commentary: LaTeX spacing clean up, replaced: \,</math> → </math> (6) using AWB undo

19 June 2017

• curprev 23:4223:42, 19 June 2017 CBM talk contribs m 21,055 bytes +4 Manually reviewed edit to replace magic words per local rfc undo

18 June 2017

• curprev 12:2712:27, 18 June 2017 151.22.251.37 talk 21,051 bytes −8 →Betweenness axioms undo