Enayat / Kalantari / Moniri Logic in Tehran

Erscheinungsjahr 2020
ISBN: 978-1-108-67000-5
Verlag: Cambridge University Press
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, Band 26, 0 Seiten

Reihe: Lecture Notes in Logic

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.

Autoren/Hrsg.

Enayat, Ali

Kalantari, Iraj

Moniri, Mojtaba

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Geschichte der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Algebra Zahlentheorie

Inhaltsverzeichnis

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.

Über Autor(innen)

Kalantari, Iraj
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.

Enayat, Ali
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.

Moniri, Mojtaba
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.