in the sequel

To conclude, we list a number of special cases needed in the sequel.

В заключение мы рассмотрим несколько нужных нам в дальнейшем специальных случаев.

Cartan, Henri,Eilenberg, Samuel / Homological AlgebraКартан, А.,Эйленберг, С. / Гомологическая алгебра

Гомологическая алгебра

Картан, А.,Эйленберг, С.

Homological Algebra

Cartan, Henri,Eilenberg, Samuel

This fact will be of decisive significance in the sequel.

В дальнейшем это обстоятельство будет использовано решающим образом.

Хирцебрух, Фридрих / Топологические методы в алгебраической геометрииHirzebruch, Friedrich / Topological Methods in Algebraic Geometry

Topological Methods in Algebraic Geometry

Hirzebruch, Friedrich

© by Springer-Verlag Berlin Heidelberg 1956,1962,1966 and 1978

Топологические методы в алгебраической геометрии

Хирцебрух, Фридрих

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

Lemm lived with him seven years in the capacity of orchestra conductor, and left him empty-handed. The nobleman was ruined, he intended to give him a promissory note, but in the sequel refused him even that - in short, did not pay him a farthing.

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

Turgenev, I.S. / A House of GentlefolkТургенев, И.С. / Дворянское гнездо

Дворянское гнездо

Тургенев, И.С.

© Издательство "Художественная литература", 1983

A House of Gentlefolk

Turgenev, I.S.

© 2006 BiblioBazaar

The following theorem will play an important role in the sequel.

Существенную роль в дальнейшем изложении будет играть следующая теорема.

Sanin, A. / Constructive real numbers and constructive function spacesШанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society

This section will not be used in the sequel and is included only for the convenience of the reader in reading some other literature, e.g. concerning elliptic functions and L-series.

Этот параграф нигде не будет использован в дальнейшем и включен в книгу лишь для удобства читателя при чтении других источников, касающихся эллиптических функций и L-рядов.

Lang, Serge / Elliptic FunctionsЛенг, Серж / Эллиптические функции

Эллиптические функции

Ленг, Серж

© 1973 by Addison- Wesley Publishing Company, Inc.

© Перевод на русский язык. Издательство «Наука» Главная редакция физико-математической литературы, 1984

Elliptic Functions

Lang, Serge

© 1987 by Springer-Verlag New York Inc.

All the propositions here being auxiliary in nature, we shall limit ourselves to stating only the cases needed in the sequel.

Естественно, что число таких предложений можно было бы пополнить, но мы ограничимся лишь теми случаями, которые нам понадобятся в дальнейшем.

Cartan, Henri,Eilenberg, Samuel / Homological AlgebraКартан, А.,Эйленберг, С. / Гомологическая алгебра

Гомологическая алгебра

Картан, А.,Эйленберг, С.

Homological Algebra

Cartan, Henri,Eilenberg, Samuel

In the sequel there will be occasion for introducing modifications which will make possible situations not considered in the foregoing.

В последующем кое-где будут сделаны видоизменения, благодаря которым появятся случаи, не рассматривавшиеся ранее.

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.

In the sequel, purely formal calculations such as the preceding ones will sometimes be omitted.

В дальнейшем чисто формальные выкладки типа только что проведенных будут иногда опускаться.

Rudin, Walter / Functional analysisРудин, У. / Функциональный анализ

Функциональный анализ

Рудин, У.

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

Functional analysis

Rudin, Walter

© 1973 by McGraw-Hill, Inc.

In the sequel, when speaking about the intuitionistic calculus of natural deduction, we shall have in mind just this variant of the calculus.

В дальнейшем изложении, говоря об интуиционистском исчислении натуральных выводов, мы будем иметь в виду именно этот вариант исчисления.

Sanin, A. / Constructive real numbers and constructive function spacesШанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society

In the sequel, the continued fraction is always assumed to be so normalized.

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

Lang, Serge / Introduction to Modular FormsЛенг, Серж / Введение в теорию модулярных форм

Введение в теорию модулярных форм

Ленг, Серж

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

© by Springer-Verlag Berlin Heidelberg 1976

Introduction to Modular Forms

Lang, Serge

© by Springer-Verlag Berlin Heidelberg 1976

In the sequel the letter a will denote a fixed rational number satisfying the condition.

В дальнейшем изложении буква а будет обозначать фиксированное рациональное число, удовлетворяющее условию.

Sanin, A. / Constructive real numbers and constructive function spacesШанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society