Bases,spanning sets,and the axiom of choice

Two theorems are proved: First that the statement “there exists a field F such that for every vector space over F, every generating set contains a basis” implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ?₂ has a basis implies that every well‐ordered collection of two‐element sets has a choice function. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Regularization procedures of mixed finite element approximations of the stokes problem

We propose a theoretical framework for the study of regularization of the Stokes problem. This enables us to perform a general error analysis and to apply it to known schemes as well as to a new one pertaining to the use of the P1-P1 element. Finally we show that in the P1-case the theory can also be used to get convergence results for elements obtained by addition of bubble functions, without using the usual mixed finite element machinery.     

Performance and analysis of saddle point preconditioners for the discrete steady-state Navier-Stokes equations

Summary. We examine the convergence characteristics of iterative methods based on a new preconditioning operator for solving the linear systems arising from discretization and linearization of the steady-state Navier-Stokes equations. With a combination of analytic and empirical results, we study the effects of fundamental parameters on convergence. We demonstrate that the preconditioned problem has an eigenvalue distribution consisting of a tightly clustered set together with a small number of outliers. The structure of these distributions is independent of the discretization mesh size, but the cardinality of the set of outliers increases slowly as the viscosity becomes smaller. These characteristics are directly correlated with the convergence properties of iterative solvers. Received August 5, 2000 / Published online June 20, 2001     

Spectroscopic studies of new model compounds for poly[N,N′-bis(phenoxyphenyl)pyromellitimide]

New model compounds for poly[N,N′-bis(phenoxyphenyl)pyromellitimide] have been synthesized in order to investigate the formation of imine bonds which are proposed to form during the curing process and lead to crosslinking in the bulk polymer. Raman studies show that terminal amines can react with imide carbonyls during curing to form C?N bonds. The Raman band due to C?N appears at 1656 cm^?1 and the band due to C?O closest to the imine bond is observed at 1742 cm^?1. These results are in agreement with previously published results on vapor deposited polyimide films.     

Synthesis of enantiomeric-pure cyclohexenyl nucleoside building blocks for oligonucleotide synthesis

Lipases were used for the resolution of (±) (4aR, 7R, 8aS)-2-phenyl-4a,7,8,8a-tetrahydro-4H-1,3-benzodioxine. This separation was carried out on preparative scale and used for the synthesis of eight phosphoramidites of cyclohexenyl nucleosides (d- and l-series).