罗斯定理的现实意义

  波兰数学家罗斯（Jerzy o，1920-98）

对模型理论具有很大的历史贡献。比如，无穷小微积分的转移定理（1955年发表）。

  实际上，无穷小微积分进入我国普通高校的首要理论根据就是罗斯定理。

  请见本文附件。

袁萌  陈启清  12月21日

附件：

Jerzy o c.1955

Born

22 March 1920

Lwów, Poland

Died

1 June 1998 (aged 78)

Warsaw, Poland

Residence

Poland

Nationality

Polish

Known for

o's theorem

Scientific career

Fields

Mathematics

Jerzy o (born March 22, 1920 in Lwów, Poland (now Lviv, Ukraine) – June 1, 1998 in Warsaw) (Polish pronunciation: [j w]) was a Polish mathematician, logician, economist, and philosopher. He is especially known for his work in model theory, in particular for "o's theorem", which states that any first-order formula is true in an ultraproduct if and only if it is true in "most" factors (see ultraproduct for details). In model theory he also proved many preservation theorems, but he gave significant contributions, as well, to foundations of mathematics, Abelian group theory and universal algebra. In the 60's he turned his attention to mathematical economics, focusing mainly on production processes and dynamic decision processes.

He was faculty at academies in Wrocaw, Toru, and Warsaw.

In 1996 o suffered from a severe brain stroke. He was thenceforward ill until his death in 1998.

Selected publications

o, Jerzy (1955) Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems, pp. 98--113. North-Holland Publishing Co., Amsterdam.

See also

o–Vaught test

Transfer principle

o's theorem

External links

Jerzy o's biography

Authority control

BIBSYS: 90366312BNF: cb16007839x (data)GND: