sequence order

By an ordered sequence we mean "ordered, with repetitions"

Набором, как обычно, называем упорядоченную последовательность, в которой допускаются повторения.

Aigner, Martin / Combinatorial TheoryАйгнер, Мартин / Комбинаторная теория

Комбинаторная теория

Айгнер, Мартин

© 1979 by Springer-Verlag New York Inc.

© Перевод на русский язык, «Мир», 1982

Combinatorial Theory

Aigner, Martin

© Springer-Verlag Berlin Heidelberg 1997

The elementary statements are then precisely all those statements which assert that a basic predicate holds of an ordered sequence of formal objects in number equal to its degree.

Элементарные высказывания — это как раз те высказывания, в которых утверждается, что такой-то базисный предикат удовлетворяется для некоторой упорядоченной последовательности формальных объектов, число членов которой равно степени этого предиката.

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.