罗斯定理的现实意义
2019-12-21 16:41阅读：
罗斯定理的现实意义
波兰数学家罗斯（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:
