Book contents
- Frontmatter
- 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
Foreword
Published online by Cambridge University Press: 30 March 2017
- Frontmatter
- 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
Summary
Since the day of inception of the Institute for Studies in Theoretical Physics and Mathematics (IPM) in 1989, Mathematical Logic has been one of the main domains of activity at its School of Mathematics.
Briefly, through inviting a select number of prominent logicians from the republics of the former Soviet Union, activities in logic were initiated and the candle of interestwas lit. This startwas relatively successful in kindling interest in the subject in Iran. Furthermore, in those early days, an international congress and a summer school, both in logic, were organized and hosted by IPM, adding to the presence of the subject in Iran. Later, by establishing a Ph.D. program in Mathematical Logic at IPM, the cause was advanced with help from Iranian logicians educated abroad and the program in logic was consolidated. For more details, I refer you to the article in this volume by Professor Larijani, the Director of IPM.
Some three years ago, I proposed to our logic researchers at IPM the possibility of organizing another international workshop. This time our plan was focused on involving the Iranian logicians living abroad and getting help from them. We carried out this plan and it has been a complete success. Support from such logicians was a significant factor in the success of the workshop. I do not intend to add anything further about the workshop since I believe the list of its invited speakers and the list of its presentations provide sufficient manifestation of the success of the workshop.
But I would like to express, with great pleasure, my sincere gratitude to my friends, and IPM's fans, Iraj Kalantari and Ali Enayat. From distant places, they took time to participate in the planning and management of the workshop. Later, they continued in the same way and worked extensively with all, closing the distances through internet and email as if they were virtual officemates at IPM, to arrange for this volume to appear. I also wish to express my thanks to Mojtaba Moniri and Morteza Moniri who led the team of the local organizers.
- Type
- Chapter
- Information
- Logic in Tehran , pp. xi - xiiPublisher: Cambridge University PressPrint publication year: 2006