This paper is a greatly expanded version of [37, Section 9.11]. A series of definitions and results illustrating the thesis in the title (where quasi-formality means vanishing of a certain kind of Massey multiplications in the cohomology) is presented. In particular, we include a categorical interpretation of the “Koszulity implies K(π,1)” claim, discuss the differences between two versions of Massey operations, and apply the derived nonhomogeneous Koszul duality theory in order to deduce the main theorem. In the end we demonstrate a counterexample providing a negative answer to a question of Hopkins and Wickelgren about formality of the cochain DG-algebras of absolute Galois groups, thus showing that quasi-formality cannot be strengthened to formality in the title assertion.
В последнее время у специалистов по всему миру, занимающихся научной деятельностью, все больше возрастает необходимость публиковать результаты своих исследований. Во многих случаях эти публикации осуществляются на английском языке, который считается доминирующим не только в области межнационального общения, но и в сфере науки. Соответственно возникают вопросы, касающиеся стандартов английского языка как средства научной публикации. Ученые, для которых этот язык не является родным, неизбежно испытывают трудности при написании статей и других научных трудов и их публикации в англоязычных научных журналах, которые выставляют определенные требования к качеству языка. Это могут быть проблемы в области лексического подбора при переводе, выбора правильных грамматических конструкций, употреблении лексико-грамматических единиц, присущих именно академическому стилю письменной речи. В данной статье рассматриваются наиболее специфические лексические, морфологические и синтаксические черты академической прозы английского языка, какие формы употребляются наиболее часто и на которые стоит обратить особое внимание.
This paper sketches two approaches to the color exclusion problem provided by model-theoretical and game-theoretical semantics. The case study, modeling the experimentally confirmed perception of “forbidden” (e.g., reddish green and bluish yellow) colors, is presented as neuropsychological evidence for game-theoretical semantics.