Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, met
Dieter Rödding (24 August 1937 in Hattingen (Ruhr) – 4 June 1984 in Münster) was a German mathematician who main research interest was mathematical logic. Dieter Rödding was born on 24 August 1937 in
Chen Chung Chang
Chen Chung Chang (Chinese: 张晨钟) was a mathematician who worked in model theory. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski.
Anatoly Ivanovich Maltsev (also: Malcev, Mal'cev; Russian: Анато́лий Ива́нович Ма́льцев; 27 November N.S./14 November O.S. 1909, Moscow Governorate – 7 June 1967, Novosibirsk) was born in Misheronsky,
James Burton Ax (10 January 1937 – 11 June 2006) was an American mathematician who made groundbreaking contributions in algebra and number theory using model theory. He shared, with Simon B. Kochen, t
Abraham Robinson (born Robinsohn; October 6, 1918 – April 11, 1974) was a mathematician who is most widely known for development of nonstandard analysis, a mathematically rigorous system whereby infin
Robert Lawson Vaught
Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician and one of the founders of model theory.
Roland Fraïssé (French: [ʁɔlɑ̃ fʁajse]; 12 March 1920 – 30 March 2008) was a French mathematical logician. Fraïssé received his doctoral degree from the University of Paris in 1953. In his thesis, Fra
Willard Van Orman Quine
Willard Van Orman Quine (/kwaɪn/; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most i
Czesław Ryll-Nardzewski (Polish: [ˈt͡ʂɛswav ˈrɨl narˈd͡zɛfskʲi]; 7 October 1926 – 18 September 2015) was a Polish mathematician. Born in Wilno, Second Polish Republic (now Vilnius, Lithuania), he was
Peter Roquette (born 8 October 1927) is a German mathematician working in algebraic geometry, algebra, and number theory. He was born in Königsberg. Roquette studied in Erlangen, Berlin, and Hamburg.
Thoralf Albert Skolem (Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory.
Michael D. Morley
Michael Darwin Morley (September 29, 1930 – October 11, 2020) was an American mathematician. At his death in 2020, Morley was professor emeritus at Cornell University. His research was in mathematical