Logic in Tehran
Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26
1st Edition
Published on 22. May 2006
Book
Hardback
362 pages
978-1-56881-295-3 (ISBN)
Description
This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories of arithmetic. Other papers address interpretability theory, computable analysis, modal logic, and the history of mathematical logic in Iran. The conference was held in Tehran, Iran, in October 2003, with the expressed purpose of bringing together researchers with connections to Iranian logicians and promoting further research in mathematical logic in Iran.
More details
Language
English
Place of publication
Natick
United States
Publishing group
Taylor & Francis Inc
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 24 mm
Weight
678 gr
ISBN-13
978-1-56881-295-3 (9781568812953)
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
Other editions
Additional editions
Ali Enayat | Iraj Kalantari | Mojtaba Moniri
Logic in Tehran
Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26
Book
05/2006
1st Edition
A K Peters
€48.90
Shipment within 3-4 weeks
Persons
Ali Enayat , Department of Mathematics and Statistics, American University, Washington, D.C. Iraj Kalantari , Department of Mathematics, Western Illinois University, Macomb. Mojtaba Moniri, Department of Mathematics, Tarbiat Modarres University, Tehran.
Content
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 Field, 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 of STP, Categories of theories and interpretations.