Alfred Tarski
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
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 Maltsev
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 Ax
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
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é
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
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
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 Skolem
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