人物生平

德國(guó)納粹占領(lǐng)期間，他曾在工廠工作.1942-1944年，為地下華沙大學(xué)授課;1945年，在克拉科夫任教.1946年，回華沙大學(xué)任教，1947年任副教授，1951年起任教授.1956年，被選為波蘭科學(xué)院通訊院士，1963年成為院士.1973年，還被選為芬蘭科學(xué)院院士.

莫斯托夫斯基主要研究數(shù)理邏輯、基礎(chǔ)數(shù)學(xué)等.1939年，他在排列模型方面得到了重要結(jié)果.經(jīng)他和斯派克的工作把排列模型改進(jìn)成了FMS方法，與外模型法結(jié)合，可構(gòu)成對(duì)稱(chēng)模型法.第二次世界大戰(zhàn)期間，他獨(dú)立于克林(Kleene , S. C.)導(dǎo)出了算術(shù)分層概念(工作到1947年才得以發(fā)表). 1948年，他給出了量詞的代數(shù)解釋;1949年，給出的收縮引理是集合論中基本的元數(shù)學(xué)結(jié)果之一1956年，他與人合作創(chuàng)造了構(gòu)造模型的方法，該方法在模型論與基礎(chǔ)數(shù)學(xué)的其他部分都有很多應(yīng)用.他還與其他幾位數(shù)學(xué)家一起開(kāi)始了對(duì)算術(shù)的。模型的研究，為二階算術(shù)的R模型的研究做出了基礎(chǔ)性貢獻(xiàn).他曾于1953年和1966年兩次獲國(guó)家獎(jiǎng)，1972年還獲得朱濟(jì)柯夫斯基基礎(chǔ)獎(jiǎng).著作有《形式化算術(shù)中語(yǔ)句不可判定》(1952).《可構(gòu)成集及應(yīng)用》(1969)等.