Fernández, MarisaMuñoz, Vicente2023-06-202023-06-2020050025-587410.1007/s00209-004-0747-8https://hdl.handle.net/20.500.14352/50590We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n − 1), is formal if and only if M is (n − 1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson submanifolds of symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic submanifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem.engjournal articlehttp://link.springer.com/content/pdf/10.1007%2Fs00209-004-0747-8.pdfhttp://link.springer.com/restricted access51Matemáticas (Matemáticas)12 Matemáticas