Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
15 August 2025
14 August 2025
|
|
20:04 | Monoid 8 changes history +6,328 [Corbin (8×)] | |||
|
|
20:04 (cur | prev) +676 Corbin talk contribs (→Rank: Generalize to let X be big, not covered in Neraud 1992. Clean up corollaries.) | ||||
|
|
18:08 (cur | prev) +1,843 Corbin talk contribs (Add a section on presentations. Define simple translations.) | ||||
|
|
13:42 (cur | prev) +56 Corbin talk contribs (→Rank: Add a corollary which seems like it might apply in some cases.) | ||||
|
|
06:52 (cur | prev) +600 Corbin talk contribs (→Rank: Facts about rank.) | ||||
|
|
06:09 (cur | prev) +877 Corbin talk contribs (Mention commutative monoids. We'll want the lemma: r(X, A*) = 1 iff A* is commutative. For example, this implies that BF's rank is at least 2.) | ||||
|
|
05:15 (cur | prev) +1,288 Corbin talk contribs (The rank-simplification game we've been playing is NP-complete.) | ||||
|
|
04:47 (cur | prev) +753 Corbin talk contribs (→Free monoids: Fix up grammar. Add notation. This is *not* the standard definition; it's simpler!) | ||||
|
|
04:15 (cur | prev) +235 Corbin talk contribs (→Introduction: Work an example.) | ||||
9 August 2025
|
|
23:33 | Computable 3 changes history +4,918 [Corbin (3×)] | |||
|
|
23:33 (cur | prev) +37 Corbin talk contribs (→Via category theory: Fix up bad phrasing and overly-broad statement.) | ||||
|
|
23:15 (cur | prev) +1,431 Corbin talk contribs (→Via category theory: And cap off with two versions of Rice's theorem. Very exciting.) | ||||
|
|
22:11 (cur | prev) +3,450 Corbin talk contribs (→Formalism: Split. The existing section is basically topos theory. The new section is Yanofsky's approach!) | ||||