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
- References
A simple positive Robinson theory with LSTP ≠ STP
Published online by Cambridge University Press: 30 March 2017
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
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic in Tehran , pp. 270 - 283Publisher: Cambridge University PressPrint publication year: 2006
References
[BS] and , Stable generic structures,Annals of Pure and Applied Logic, vol. 79 (1996), no. 1, pp. 1–35.Google Scholar
[BY1] , Positive model theory and compact abstract theories,Journal of Mathematical Logic, vol. 3 (2003), no. 1, pp. 85–118.Google Scholar
[BY2] , Simplicity in compact abstract theories,Journal of Mathematical Logic, vol. 3 (2003), no. 2, pp. 163–191.Google Scholar
[BY3] , Compactness and independence in non first order frameworks,The Bulletin of Symbolic Logic, vol. 11 (2005), no. 1, pp. 28–50.Google Scholar
[BL] and , Simple homogeneous models,Journal of the American Mathematical Society, vol. 16 (2003), no. 1, pp. 91–121.Google Scholar
[Hr1] , Anew strongly minimal set,Annals of Pure andApplied Logic, vol. 46 (1990), pp. 235–264.Google Scholar
[Hr2] , Simplicity and the Lascar group, Preprint, 1997.
[Pi] , Forking in the category of existentially closed structures,Connections Between Model Theory and Algebraic and Analytic Geometry (, editor), Quaderni di Matematica, vol. 6, Seconda Univ. Napoli, Caserta, 2000, pp. 23–42.
[Po] , Simple generic structures, Ph.D. thesis, Oxford University, 2000.
[Sh] , The lazy model-theoretician's guide to stability,Logique et Analyse. Nouvelle Série, vol. 18 (1975), no. 71-72, pp. 241–308.Google Scholar
[VY] and , CM-triviality and relational structures,Annals of Pure and Applied Logic, vol. 122 (2003), no. 1-3, pp. 175–194.Google Scholar
[Wa] , Relational structures and dimensions, Automorphisms of First-Order Structures, Oxford Sci. Publ., Oxford Univ. Press, New York, 1994, pp. 153–180.