Decidable sublanguages of set 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 08:5908:59, 25 July 2025 Benedikt Schöps talk contribs m 1,580 bytes −19 No edit summary undo
curprev 07:4707:47, 25 July 2025 Benedikt Schöps talk contribs 1,599 bytes +159 Allowed set operations and syllogistics undo

curprev 16:2616:26, 21 January 2024 BD2412 talk contribs m 1,440 bytes −1 →top: clean up spacing around commas and other punctuation fixes, replaced: , → , undo Tag: AWB

curprev 19:5919:59, 18 January 2022 PrimeBOT talk contribs m 1,441 bytes −70 →top: Task 24: remove a maintenance template following a TFD undo Tag: AWB

curprev 02:2402:24, 16 May 2021 JoelleJay talk contribs 1,511 bytes +51 Added {{Notability}} tag: content does not seem to warrant a standalone article or even a list... undo Tag: Twinkle

curprev 07:3907:39, 21 July 2019 InternetArchiveBot talk contribs 1,443 bytes +72 Rescuing 0 sources and tagging 1 as dead. #IABot (v2.0beta15) undo

curprev 08:3708:37, 13 September 2008 Andreas Kaufmann talk contribs m 1,340 bytes −19 Removed category "Logic" (using HotCat) undo
curprev 08:3708:37, 13 September 2008 Andreas Kaufmann talk contribs m 1,359 bytes −30 Removed category "Computer science" (using HotCat) undo

curprev 23:0423:04, 4 August 2008 Erxnmedia talk contribs 1,389 bytes +39 add cat undo
curprev 02:5002:50, 4 August 2008 Michael Hardy talk contribs 1,350 bytes −13 No edit summary undo
curprev 02:4902:49, 4 August 2008 Michael Hardy talk contribs 1,363 bytes +27 This is not about linguistics; it's about mathematical logic. You can't assume the lay reader is familiar enough with the subject matter that they don't need to have that pointed out. undo

curprev 22:5622:56, 2 August 2008 Dtrebbien talk contribs m 1,336 bytes +13 +{{context}} undo
curprev 19:0519:05, 2 August 2008 Erxnmedia talk contribs 1,323 bytes +75 addcats undo
curprev 19:0319:03, 2 August 2008 Erxnmedia talk contribs 1,248 bytes +1,248 Introducing decidable sublanguages of set theory