Arithmetical hierarchy: 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.

20 February 2025

  • curprev 20:1820:18, 20 February 2025 imported>Trovatore 25,685 bytes +25,685 Undid revision 1276554796 by Chrisahn (talk) I actually don't think that's a good change; this is more consonant with the typical conventions in the field. "Bounded quantifier" is linked earlier but it's a long way back, so fair enough on linking it here
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Arithmetical_hierarchy"