8 results
2011–2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6–7, 2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 223-235
- Print publication:
- June 2013
-
- Article
- Export citation
Nonnegative solvability of linear equations in ordered Abelian groups
-
-
- Book:
- Model Theory with Applications to Algebra and Analysis
- Published online:
- 04 August 2010
- Print publication:
- 22 May 2008, pp 273-314
-
- Chapter
- Export citation
More on imaginaries in p-adic fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-13
- Print publication:
- March 1997
-
- Article
- Export citation
Daniel Lascar. Stabilité en théorie des modèles. French original of the preceding. Monographies de mathèmatique, no. 2. Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain, Louvain-la-Neuve1986, 231 pp. - Ray Mines, Fred Richman, and Wim Ruitenburg. A course in constructive algebra. Universitext. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1988, xi + 344 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 883-886
- Print publication:
- June 1990
-
- Article
- Export citation
On the structure of semialgebraic sets over p-adic fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1138-1164
- Print publication:
- December 1988
-
- Article
- Export citation
A note on definable Skolem functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 905-911
- Print publication:
- September 1988
-
- Article
- Export citation
More on definable sets of p-adic numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 912-920
- Print publication:
- September 1988
-
- Article
- Export citation
Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 103 / Issue 2 / March 1988
- Published online by Cambridge University Press:
- 24 October 2008, pp. 257-268
- Print publication:
- March 1988
-
- Article
- Export citation