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
Primes and irreducibles in truncation integer parts of real closed fields
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. 42 - 64Publisher: Cambridge University PressPrint publication year: 2006
References
[B] , Factorization in generalized power series,Transactions of the American Mathematical Society, vol. 352 (2000), no. 2, pp. 553–577.Google Scholar
[B-O] and , A recursive nonstandard model of normal open induction,The Journal of Symbolic Logic, vol. 61 (1996), no. 4, pp. 1228–1241.Google Scholar
[Bi] , Recursive Models of Open Induction With Infinite Primes, preprint, 1996.
[Bo] , Résultats optimaux sur l'existence d'une partie entière dans les corps ordonnés,The Journal of Symbolic Logic, vol. 58 (1993), no. 1, pp. 326ndash;333.Google Scholar
[Bo2], Trois théorèmes sur l'induction pour les formules ouvertes munies de l'exponentielle,The Journal of Symbolic Logic, vol. 65 (2000), no. 1, pp. 111–154.Google Scholar
[Br] , Valued vector spaces of countable dimension,Publicationes Mathematicae Debrecen, vol. 18 (1971), pp. 149–151.Google Scholar
[F] , Embedding Henselian fields into power series, submitted (2005) http:// www.dm.unipi.it/~fornasiero/ressayre.pdf.
[G] , An Introduction to The Theory of Surreal Numbers, Cambridge University Press, Cambridge, 1986.
[KF] , Dense Subfields of Henselian Fields, and Integer Parts, this volume.
[K] , Ordered Exponential Fields, Fields Institute Monographs, vol. 12, American Mathematical Society, Providence, RI, 2000.
[M] , Recursive models of open induction of prescribed finite transcendence degree > 1 with cofinal twin primes, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, vol. 319 (1994), no. 9, pp. 903–908.Google Scholar
[M-R] and , Every real closed field has an integer part,The Journal of Symbolic Logic, vol. 58 (1993), no. 2, pp. 641–647.Google Scholar
[P] , Existence of prime elements in rings of generalized power series,The Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1206–1216.Google Scholar
[PC] , Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 98, Springer-Verlag, Berlin, 1983.
[R] , Integer parts of real closed exponential fields (extended abstract), Arithmetic, Proof Theory, and Computational Complexity (Prague, 1991) ( and , editors), Oxford Logic Guides, vol. 23, Oxford Univ. Press, New York, 1993, pp. 278–288.
[Ri] , Théorie des Valuations, vol. 1964, Les Presses de l'Université deMontréal, Montreal, Que., 1968.
[S] , A non-standard model for a free variable fragment of number theory,Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. XII (1964), pp. 79–86.Google Scholar
- 1
- Cited by