Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
Anatoly Ivanovich Maltsev was born in Misheronsky, near Moscow, and died in Novosibirsk, USSR. He was a mathematician noted for his work on the decidability of various algebraic groups. Malcev algebras, as well as Malcev Lie algebras are named after him.
Mathematical Reviews is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also publishes an associated online bibliographic database called MathSciNet, which contains an electronic version of Mathematical Reviews and additionally contains citation information for over 3.5 million items as of 2018.
Fundamenta Mathematicae is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems.
Yury LeonidovichYershov is a Soviet and Russian mathematician.
Proceedings of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages.
The Journal of Philosophical Logic is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff, Reinhard Muskens, and Kai Wehmeier.
Journal of Algebraic Combinatorics is a peer-reviewed scientific journal covering algebraic combinatorics. It was established in 1992 and is published by Springer Science+Business Media. The editor-in-chief is Ilias S. Kotsireas.
The International Journal of Foundations of Computer Science is a computer science journal published by World Scientific. It was founded in 1990, covering the field of theoretical computer science, from algebraic theory and algorithms, to quantum computing and wireless networks. Since 1997, the Editor-in-Chief has been Oscar Ibarra of the Department of Computer Science, University of California.
Algebra Colloquium is a journal founded in 1994. It was initially published by Springer-Verlag Hong Kong Ltd. In 2005, from volume 12 onwards, publishing rights were taken over by World Scientific. The company now publishes the journal quarterly.
The International Journal of Algebra and Computation is published by World Scientific, and contains articles on general mathematics, as well as:
The Journal of Algebra and Its Applications covers both theoretical and applied algebra, with a focus on practical applications. It is published by World Scientific.
The Journal of Differential Geometry is a peer-reviewed scientific journal of mathematics published by International Press on behalf of Lehigh University in 3 volumes of 3 issues each per year. The journal publishes an annual supplement in book form called Surveys in Differential Geometry. It covers differential geometry and related subjects such as differential equations, mathematical physics, algebraic geometry, and geometric topology. The editor-in-chief is Shing-Tung Yau of Harvard University.
Mathematical Programming is a peer-reviewed scientific journal that was established in 1971 and is published by Springer Science+Business Media. It is the official journal of the Mathematical Optimization Society and consists of two series: A and B. The "A" series contains general publications, the "B" series focuses on topical mathematical programming areas. The editor-in-chief of Series A is Jon Lee ; for Series B this is Sven Leyffer (Argonne).
The Notre Dame Journal of Formal Logic is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is published by Duke University Press on behalf of the University of Notre Dame. The editors-in-chief are Curtis Franks and Anand Pillay.
Linear Algebra and its Applications is a biweekly peer-reviewed mathematics journal published by Elsevier and covering matrix theory and finite-dimensional linear algebra.
The Journal of Pure and Applied Algebra is a monthly peer-reviewed scientific journal covering that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications.
The Annali di Matematica Pura ed Applicata is a bimonthly peer-reviewed scientific journal covering all aspects of pure and applied mathematics. The journal was established in 1850 under the title of Annali di scienze matematiche e fisiche, and changed to its current title in 1858: it was the first Italian periodical devoted to mathematics and written in Italian. The founding editors-in-chief were Barnaba Tortolini and Francesco Brioschi. It is currently published by Springer Science+Business Media and the editor-in-chief is Graziano Gentili.
Communications in Algebra is a monthly peer-reviewed scientific journal covering algebra, including commutative algebra, ring theory, module theory, non-associative algebra, group theory, and algebraic geometry. It was established in 1974 and is published by Taylor & Francis. The editor-in-chief is Scott Chapman. Earl J. Taft was the founding editor.
