The phrase "a revision sequence" is correct and usable in written English.
It can be used in contexts related to editing, updating, or improving a document, process, or project over time.
Example: "The team followed a revision sequence to ensure that all feedback was incorporated into the final report."
Alternatives: "a review process" or "an editing sequence".
The main formal notions of the RTT are the notion of a revision rule (Definition 3.2), i.e., a rule for revising hypotheses; and a revision sequence (Definition 3.7), a sequence of hypotheses generated in accordance with the appropriate revision rule.
The resulting sequence, is a revision sequence for \(\delta\).
So h0 generates a revision sequence (see Definition 3.7, below).
These first two ways of amending the RTT both, in effect, restrict the notion of a revision sequence, by putting constraints on which of our revision sequences really count as acceptable revision sequences.
And no revision sequence is determined by the nonsemantical facts, i.e., by the ground model, alone: a revision sequence is determined, at best, by a ground model and an initial hypothesis.[9] We have given only the barest exposition of the three-valued semantics, in our discussion of the supervenience of the signification of truth, above.
So we will consider revision sequences that are very long: not only will a revision sequence have a nth stage for each finite number n, but a ηth stage for every ordinal number η. (The next paragraph is to help the reader unfamiliar with ordinal numbers).
The status of Aristotle is not stable in any revision sequence.
The limit stages in a transfinite revision sequence can be treated in a variety of ways.
Using these notions, we can, given a ground model, specify when a sentence is stably, or nearly stably, true or false in a particular revision sequence.
But Yaqūb seems committed to the claim that the signification of T — i.e., that which determines the truth status of each sentence — is given by a particular revision sequence itself.
The notion of a sentence stably true in all revision sequences will be a central notion for the RTT.
