26 April 2024
- 16:2016:20, 26 April 2024 diff hist +172 Abstract rewriting system Define the "left arrow" relations also, as they are referenced in other sections.
4 April 2024
- 05:0705:07, 4 April 2024 diff hist +176 Sequent calculus →External links
1 March 2024
- 09:3409:34, 1 March 2024 diff hist +2 m Karl Weierstrass →Other analytical theorems
- 09:3409:34, 1 March 2024 diff hist +34 Karl Weierstrass →Other analytical theorems
30 January 2024
- 03:4403:44, 30 January 2024 diff hist +8 m Quadratic irrational number →Square root of non-square is irrational
10 January 2024
- 01:4901:49, 10 January 2024 diff hist +22 Calculus →Etymology
15 August 2023
- 05:4405:44, 15 August 2023 diff hist −52 Aitana Bonmatí Remove incorrect name info. (The body of the article contains correct information.)
28 April 2023
- 23:2723:27, 28 April 2023 diff hist −36 m Tautological consequence Trim confusing excess verbiage.
- 23:2423:24, 28 April 2023 diff hist +479 Tautological consequence Add alternate definition
27 April 2023
- 22:4322:43, 27 April 2023 diff hist +193 User talk:Crisperdue →Tautology (rule of inference): Reply Tag: Reply
- 17:1117:11, 27 April 2023 diff hist +2,049 User talk:Gregbard Notification: proposed deletion of Tautology (rule of inference). Tag: Twinkle
- 17:1117:11, 27 April 2023 diff hist +47 Talk:Tautology (rule of inference) Adding ((Old prod)) Tag: Twinkle
- 17:1117:11, 27 April 2023 diff hist +807 Tautology (rule of inference) Proposing article for deletion per WP:PROD. Tags: Twinkle Reverted
26 April 2023
- 23:0723:07, 26 April 2023 diff hist +708 Tautology (rule of inference) Undid revision 1151860182 by Christian75 (talk) and added more extended explanation Tag: Reverted
25 April 2023
- 21:3821:38, 25 April 2023 diff hist +326 Tautology (rule of inference) Proposed deletion. Tag: Reverted
- 06:1406:14, 25 April 2023 diff hist +4 m Alfred Horn →References
- 06:1406:14, 25 April 2023 diff hist −4 m Alfred Horn →References
18 January 2023
- 01:1201:12, 18 January 2023 diff hist −30 m Q0 (mathematical logic) Replace grouping dots with brackets, making the notation more standard.
- 01:0601:06, 18 January 2023 diff hist +2 m Q0 (mathematical logic) →About the axioms
6 January 2023
- 15:3215:32, 6 January 2023 diff hist −146 Rupert Smith Removed one sentence as unsupported and expressing cause and effect that would be difficult to assign in any case.
12 August 2022
- 23:1523:15, 12 August 2022 diff hist +16 Q0 (mathematical logic) →Extensions of the logical core
- 22:4322:43, 12 August 2022 diff hist +34 Q0 (mathematical logic) →Extensions of the logic
- 21:2821:28, 12 August 2022 diff hist +961 Q0 (mathematical logic) Extensions with axiom of infinity and selection operators for all types
1 June 2022
- 21:1021:10, 1 June 2022 diff hist −1 Proof by contradiction Clarify the proof structure.
- 20:5320:53, 1 June 2022 diff hist −4 Proof by contradiction Use the descriptive names actually cited.
24 February 2022
- 17:2217:22, 24 February 2022 diff hist +19 John Hardy (song) →Overview
20 December 2021
- 01:5301:53, 20 December 2021 diff hist −295 Mehmet Oz Removed reference to "Blakemore research award". The given reference supports the claim, but web search shows no sign of even existence of such an award. Tag: Reverted
26 March 2021
- 02:4002:40, 26 March 2021 diff hist +28 Pascal's triangle →See also
8 January 2021
- 01:4101:41, 8 January 2021 diff hist +161 Abraham Lincoln's first inaugural address Reference the actual speech on Wikisource as already done for his second inaugural address.
20 August 2020
- 03:4803:48, 20 August 2020 diff hist +468 2000–2001 California electricity crisis Add reference to 2005 report to Congress.
19 August 2020
- 17:0817:08, 19 August 2020 diff hist −44 2000–2001 California electricity crisis Fix link, reference to FERC chronology.
28 May 2020
- 05:4705:47, 28 May 2020 diff hist −25 m Herbrand's theorem →Statement
- 05:3605:36, 28 May 2020 diff hist +80 Herbrand's theorem Clarification.
- 02:0202:02, 28 May 2020 diff hist +15 Herbrand's theorem New section for the detailed theorem statement with comments. No content changes.
- 00:5200:52, 28 May 2020 diff hist −21 m Herbrand structure →See also
23 May 2020
- 00:0600:06, 23 May 2020 diff hist +22 Arithmetical hierarchy →See also
3 May 2020
- 00:5900:59, 3 May 2020 diff hist −26 Substructure (mathematics) Use "restriction" rather than "trace", which seems much less standard. (Try googling it.)
22 April 2020
- 22:0622:06, 22 April 2020 diff hist −1 m Type (model theory) Remove comma.
20 March 2020
- 16:4516:45, 20 March 2020 diff hist −3,545 Deborah Birx Remove tangential "current news headlines" material.
7 February 2020
- 20:3720:37, 7 February 2020 diff hist −47 Conservative extension →Model-theoretic conservative extension
5 February 2020
- 20:3620:36, 5 February 2020 diff hist +68 Extension by new constant and function names Take more care with citation(s).
- 06:0706:07, 5 February 2020 diff hist +391 Talk:Extension by new constant and function names No edit summary
- 06:0106:01, 5 February 2020 diff hist +298 Extension by new constant and function names Clarify the use of Shoenfield's theorem in reaching the results stated here.
- 05:5505:55, 5 February 2020 diff hist −33 Extension by new constant and function names Cite specific pages in Shoenfield. Mendelson does not appear to have a directly relevant theorem statement.
- 05:4405:44, 5 February 2020 diff hist −1 m Extension by new constant and function names formatting
- 05:4305:43, 5 February 2020 diff hist +275 Extension by new constant and function names Make the exposition flow better match the new title. More to follow.
- 05:1905:19, 5 February 2020 diff hist +110 N Talk:Conservativity theorem Crisperdue moved page Talk:Conservativity theorem to Talk:Extension by new constant and function names: The new name is descriptive, where the old one shows up neither in texts or web search current Tag: New redirect
- 05:1905:19, 5 February 2020 diff hist 0 m Talk:Extension by new constant and function names Crisperdue moved page Talk:Conservativity theorem to Talk:Extension by new constant and function names: The new name is descriptive, where the old one shows up neither in texts or web search
- 05:1905:19, 5 February 2020 diff hist +105 N Conservativity theorem Crisperdue moved page Conservativity theorem to Extension by new constant and function names: The new name is descriptive, where the old one shows up neither in texts or web search current Tag: New redirect
- 05:1905:19, 5 February 2020 diff hist 0 m Extension by new constant and function names Crisperdue moved page Conservativity theorem to Extension by new constant and function names: The new name is descriptive, where the old one shows up neither in texts or web search
