Logic in Tehran

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. Contents Preface Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003 Foreword Mathematical logic in Iran: A perspective Real closed fields and IP-sensitivity Categoricity and quantifier elimination for intuitionistic theories Primes and irreducibles in truncation integer parts of real closed fields On explicit definability in arithmetic From bounded arithmetic to second order arithmetic via automorphisms Local-global principles and approximation theorems Beatty sequences and the arithmetical hierarchy Specker’s theorem, cluster points, and computable quantum functions Additive polynomials and their role in the model theory of valued fields Dense subfields of henselian fields, and integer parts A recursive nonstandard model for open induction with GCD property and cofinal primes Model theory of bounded arithmetic with applications to independence results Ibn-Sina’s anticipation of the formulas of Buridan and Barcan Remarks on algebraic D-varieties and the model theory of differential fields A simple positive Robinson theory with LSTP ≠ STP Categories of theories and interpretations