Second-order logic: 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 01:1001:10, 13 April 2025 Bkell talk contribs m 32,919 bytes +277 →Examples: WP:MATH, MOS:INDENT undo

curprev 17:3017:30, 9 April 2025 David Eppstein talk contribs 32,642 bytes −43 Undid revision 1284736451 by Chalst (talk) out-of-context phrasing: what classical variant? Do you expect readers to have any idea what that is supposed to mean? undo Tag: Undo
curprev 11:5611:56, 9 April 2025 Chalst talk contribs 32,685 bytes +43 Lead gives the impression that SOL only covers classical logic undo Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source

curprev 05:2405:24, 16 December 2024 Citation bot talk contribs 32,642 bytes +115 Altered url. URLs might have been anonymized. Add: archive-date, archive-url. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 922/1913 undo

curprev 01:0801:08, 12 December 2024 Tule-hog talk contribs 32,527 bytes −48 format refs undo
curprev 00:2900:29, 12 December 2024 Tule-hog talk contribs m 32,575 bytes +36 →Semantics: WP:PAREN undo
curprev 00:2600:26, 12 December 2024 Tule-hog talk contribs m 32,539 bytes −32 WP:PAREN undo

curprev 09:0009:00, 7 October 2024 Haehtid talk contribs m 32,571 bytes +26 fix formatting of a formulae undo Tag: Visual edit: Switched

curprev 12:1112:11, 1 July 2024 C7XWiki talk contribs 32,545 bytes +269 "Axiomatize mathematics using V" may sound misleading, as if V is an axiom system like ZFC and not a model of set theory. This earlier part may explain the comparison →Semantics undo
curprev 11:2511:25, 1 July 2024 C7XWiki talk contribs 32,276 bytes +43 Archive URL undo
curprev 11:0811:08, 1 July 2024 C7XWiki talk contribs 32,233 bytes +210 Add terminology+characterization which may be clarifying →Semantics undo

curprev 19:0019:00, 24 June 2024 TridentWolf talk contribs 32,023 bytes +3 No edit summary undo

curprev 14:0814:08, 24 May 2024 Oneequalsequalsone talk contribs m 32,020 bytes +4 →Examples: should probably link to this since its not defined anywhere undo Tag: Visual edit

curprev 11:4011:40, 19 February 2024 Jochen Burghardt talk contribs 32,016 bytes +164 Undid revision 1208875466 by Belbury (talk): this is the least inappropriate image I could find to illustrate the article; I have no objection if it is replaced by a more appropriate image, but it shouldn't be removed without a substitute undo Tag: Undo
curprev 08:5608:56, 19 February 2024 Belbury talk contribs 31,852 bytes −164 →Examples: remove image of obscure graffiti undo Tag: Reverted

curprev 14:0714:07, 12 December 2023 GoRapidum talk contribs m 32,016 bytes −266 this link is broken (PDF file not exist), so it should removed, I believe - https://philpapers.org/archive/ASONSO.pdf undo
curprev 14:0014:00, 12 December 2023 Cjse23 talk contribs m 32,282 bytes +265 Reverted edits by 2A01:4B00:AB1B:6800:1513:BFED:BAF5:5B3C (talk): unexplained content removal (HG) (3.4.12) undo Tags: Huggle Rollback
curprev 13:5913:59, 12 December 2023 2a01:4b00:ab1b:6800:1513:bfed:baf5:5b3c talk 32,017 bytes −265 No edit summary undo Tag: Reverted

curprev 22:4322:43, 22 November 2023 Iljhgtn talk contribs m 32,282 bytes +2 Spelling/grammar/punctuation/typographical correction undo Tag: Visual edit

curprev 21:3921:39, 17 November 2023 Jochen Burghardt talk contribs 32,280 bytes −32 →Relation to computational complexity: descriptive complexity is hardly the main article, so it's sufficient that it is linked in the 1st sentence undo
curprev 21:3721:37, 17 November 2023 Jochen Burghardt talk contribs 32,312 bytes +7 Undid revision 1185606034 by David Eppstein (talk): meanwhile SO (complexity) redirects to this very section undo Tag: Undo
curprev 21:2021:20, 17 November 2023 David Eppstein talk contribs 32,305 bytes −7 Undid revision 1185597049 by A3nm (talk) do not "fix" redirected links to the redirected article; see WP:NOTBROKEN. In this case your fix made things worse because the redirect went to a section, not to the whole article. undo Tags: Undo Reverted
curprev 20:0720:07, 17 November 2023 A3nm talk contribs 32,312 bytes +7 →Relation to computational complexity: fix link undo Tags: Reverted 2017 wikitext editor

curprev 16:0416:04, 8 October 2023 Jochen Burghardt talk contribs 32,305 bytes 0 →Expressive power: change 3rd color away from default link color undo
curprev 11:1811:18, 8 October 2023 Dexxor talk contribs m 32,305 bytes 0 →Expressive power: indent second line undo

curprev 16:1616:16, 15 September 2023 Arjayay talk contribs m 32,305 bytes −5 duplication removed undo

curprev 19:5619:56, 22 August 2023 Nahabedere talk contribs m 32,310 bytes +2 →Examples: oral forms replaced undo

curprev 09:3109:31, 14 July 2023 Achmad Rachmani talk contribs 32,308 bytes +4 →Further reading: URL undo
curprev 09:1609:16, 14 July 2023 195.77.128.145 talk 32,304 bytes −2 No edit summary undo
curprev 09:1309:13, 14 July 2023 195.77.128.145 talk 32,306 bytes +264 Add biblio undo

curprev 16:4316:43, 28 May 2023 Hellacioussatyr talk contribs m 32,042 bytes −1 No edit summary undo Tag: 2017 wikitext editor

curprev 21:2921:29, 12 May 2023 Caleb Stanford talk contribs 32,043 bytes +2 Undid revision 1154469562 by 81.99.240.232 (talk) -- not a typo undo Tag: Undo
curprev 18:2418:24, 12 May 2023 81.99.240.232 talk 32,041 bytes −2 →Syntax and fragments: Typo undo Tags: Reverted Mobile edit Mobile web edit

curprev 19:0419:04, 19 April 2023 Caleb Stanford talk contribs 32,043 bytes −3 →Relation to computational complexity: nit undo Tag: 2017 wikitext editor

curprev 14:2114:21, 18 April 2023 Freelance Intellectual talk contribs 32,046 bytes +38 →Relation to computational complexity: wikilink undo

curprev 06:0606:06, 16 March 2023 Citation bot talk contribs 32,008 bytes −6 Add: s2cid, encyclopedia. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 10:2710:27, 16 January 2023 FatalSubjectivities talk contribs 32,014 bytes +36 →Further reading: Category:Charles Sanders Peirce undo

curprev 06:2306:23, 13 December 2022 Beland talk contribs m 31,978 bytes +19 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 22:3022:30, 29 November 2022 143.229.234.140 talk 31,959 bytes +4 →Examples: Slight change of parentheses to 1) clarify the bounds of predicate quantifiers and 2) make these examples more consistent. undo

curprev 01:0701:07, 15 November 2022 Dmytro talk contribs 31,955 bytes +247 →Syntax and fragments: added MSO decidability undo

curprev 23:5023:50, 6 July 2022 Caleb Stanford talk contribs 31,708 bytes +18 →Syntax and fragments: redirects undo Tag: 2017 wikitext editor
curprev 23:4923:49, 6 July 2022 Caleb Stanford talk contribs 31,690 bytes −13 →Examples: wording tweak undo Tag: 2017 wikitext editor
curprev 23:4323:43, 6 July 2022 Caleb Stanford talk contribs 31,703 bytes +10 redirects undo Tag: 2017 wikitext editor
curprev 23:0723:07, 6 July 2022 Paolo Lipparini talk contribs 31,693 bytes −15 fix undo

curprev 03:0003:00, 18 March 2022 WikiCleanerBot talk contribs m 31,621 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

13 April 2025

9 April 2025

16 December 2024

12 December 2024

7 October 2024

1 July 2024

24 June 2024

24 May 2024

19 February 2024

12 December 2023

22 November 2023

17 November 2023

8 October 2023

15 September 2023

22 August 2023

14 July 2023

28 May 2023

12 May 2023

19 April 2023

18 April 2023

16 March 2023

16 January 2023

13 December 2022

29 November 2022

15 November 2022

6 July 2022

3 May 2022

18 March 2022