Joseph Becker and Leonard Lipshitz. Remarks on the elementary theories of formal and convergent power series. Fundament a mathematicae, vol. 105 , pp. 229–239. - Françoise Delon. Indécidabilité de la théorie des anneaux de séries formelles à plusiers indéterminées. Fundament a mathematicae, vol. 112 , pp. 215–229. - J. Becker, J. Denef, and L. Lipshitz. Further remarks on the elementary theory of formal power series rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 1–9. - Françoise Delon. Hensel fields in equal characteristic p > 0. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by [Book Review]

Journal of Symbolic Logic 50 (3):853-854 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274339

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

J. B. Paris. A hierarchy of cuts in models of arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 312–337. - George Mills. A tree analysis of unprovable combinatorial statements. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, pp. 248–311. - Jussi Ketonen and Robert Solovay. Rapidly growing Ramsey functions. Annals of mathematics, ser. 2 vol. 113 , pp. 267–314. [REVIEW]A. J. Wilkie - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.
Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 , pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 , pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. Model theory of algebra and arithmetic, Proceedings of the conference on applications of logic to algebra and arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 , pp. 219–230. , pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 , pp. 396-412. , pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 , pp. 559-571. , pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 , pp. 149-151. , pp. 1039-1041.) - B. I. Zil′ber The struc. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
Valued fields with a total residue map.Konstantinos Kartas - forthcoming - Journal of Mathematical Logic.
Dana Scott. Identity and existence in intuitionistic logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21,1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 660–696. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Fourman M. P. and Scott D. S.. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by Fourman M. P., Mulvey C. J., and Scott D. S., Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401. [REVIEW]Dirk van Dalen - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Dodd A. and Jensen R.. The core model. Annals of mathematical logic, vol. 20 , pp. 43–75.Dodd Tony and Jensen Ronald. The covering lemma for K. Annals of mathematical logic, vol. 22 , pp. 1–30.Dodd A. J. and Jensen R. B.. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135.Donder D., Jensen R. B. and Koppelberg B. J.. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by Jensen R. B. and Prestel A., Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97.Dodd A.. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp. [REVIEW]William Mitchell - 1984 - Journal of Symbolic Logic 49 (2):660-662.
Murray G. Bell. Spaces of ideals of partial functions. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 1–4. - Alan Dow. Compact spaces of countable tightness in the Cohen model. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 55–67. - Peter J. Nyikos. Classes of compact sequential spaces. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 135–159. - Franklin D. Tall. Topological problems for set-theorists. Set theory and its appl. [REVIEW]Judith Roitman - 1991 - Journal of Symbolic Logic 56 (2):753-755.

Analytics

Added to PP
2016-06-30

Downloads
30 (#520,056)

6 months
6 (#701,126)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references