Mathematician:Andrzej Mostowski

Polish mathematician

Nationality
Polish

History

 * Born: 1 November 1913, Lwów, in what was then Austria-Hungary
 * Died: 22 August 1975, Vancouver, Canada

Theorems and Inventions

 * Ehrenfeucht-Mostowski Theorem
 * Fraenkel-Mostowski Permutation Method (with Abraham Fraenkel)
 * Kleene-Mostowski hierarchy (with Stephen Kleene)

Books and Papers

 * 1939: On the Independence of Finitenesss Definitions in a System of Logic (Ph.D. thesis)
 * 1946: On undecidable propositions in formalized systems of mathematics (Polish)
 * 1948: Mathematical Logic
 * 1952: Theory of sets (with Kuratowski).
 * 1953: Undecidable theories (with Alfred Tarski and Raphael Robinson)
 * 1953: Elements of higher algebra (with Marceli Stark)
 * 1964: Widerspruchsfreiheit und Unabhängigkeit der Kontinuumhypothese