User:Alemagno12/Translation maps for SSS: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

13 November 2023

6 October 2023

  • curprev 17:2217:22, 6 October 2023‎ Alemagno12 talk contribs‎ m 988 bytes 0‎ Formatting undo
  • curprev 17:2117:21, 6 October 2023‎ Alemagno12 talk contribs‎ 988 bytes +988‎ Created page with "Here are some (conjectured) translation maps between SSS and BM2.3. Term(PrSS), Term(PSS), Term(TSS), Term(SSS) are the sets of all PrSS, PSS, TSS and SSS expressions respectively. ES is the empty string/matrix, + is string/matrix concatenation, and > is lexicographic comaparison. == Up to \(\varepsilon_0\) == Define a function Prune : Term(SSS) -> Term(SSS) inductively as follows: - Prune(ES) = ES - Prune((A,0)) = (Prune(A),0) - Prune((A,0,B,1)) = (Prune(A),0,B), whe..." Tag: Visual edit: Switched
Retrieved from "https://apeirology.com/wiki/User:Alemagno12/Translation_maps_for_SSS"