Logic in Tehran
Published on 9. April 2020
978-1-108-67000-5 (ISBN)
Description
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-sixth publication in the Lecture Notes in Logic series, contains the proceedings of the 'Workshop and Conference on Logic, Algebra and Arithmetic' held at the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Tehran, Iran in October, 2003. These papers are mostly revised and expanded versions of those that were originally presented at the meeting and address all areas of mathematical logic. The book also includes a short history of mathematical logic in Iran.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Illustrations
Worked examples or Exercises; 2 Halftones, black and white
File size
0,00 MB
ISBN-13
978-1-108-67000-5 (9781108670005)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Ali Enayat earned his Ph.D. from the University of Wisconsin, Madison in 1984. He is currently a Professor of Mathematics at American University, Washington DC. Iraj Kalantari earned his Ph.D. from Cornell University, New York in 1976 and is currently Chair of the Department of Mathematics at Western Illinois University. Mojtaba Moniri earned his Ph.D. from the University of Minnesota, Minneapolis in 1994. He is currently Vice Head of the School of Mathematics at the Institute for Studies in Theoretical Physics and Mathematics in Tehran, Iran.
Content
Preface; Workshop and conference on logic, algebra and arithmetic: Tehran. October 18-22, 2003; Foreword; 1. Mathematical logic in Iran: a perspective Mohammad-Javad A. Larijani; 2. Real closed fields and IP-sensitivity Seyed Masih Iyat and Mojtaba Moniri; 3. Categoricity and quantifier elimination for intuitionistic theories Seyed Mohammad Bagheri; 4. Primes and irreducibles in truncation integer parts of real closed fields Darko Biljakovic, Mikhail Kochetov and Salma Kuhlmann; 5. On explicit definability in arithmetic Lou van den Dries; 6. From bounded arithmetic to second order arithmetic via automorphisms Ali Enayat; 7. Local-global principles and approximation theorems Yuri L. Ershov; 8. Beatty sequences and the arithmetical hierarchy Mehdi Ghasemi and Mojtaba Moniri; 9. Specker's theorem, cluster points, and computable quantum functions Iraj Kalantari and Larry Welch; 10. Additive polynomials and their role in the model theory of valued fields Franz-Viktor Kuhlmann; 11. Dense subfields of henselian fields, and integer parts Franz-Viktor Kuhlmann; 12. A recursive nonstandard model for open induction with GCD property and cofinal primes Shahram Mohsenipour; 13. Model theory of bounded arithmetic with applications to independence results Morteza Moniri; 14. Ibn-Sina's anticipation of the formulas of Buridan and Barcan Zia Movahed; 15. Remarks on algebraic D-varieties and the model theory of differential fields Anand Pillay; 16. A simple positive Robinson theory with LSPT =/= SPT Massoud Pourmahdian and Frank Wagner; 17. Categories of theories and interpretations Albert Visser.
