13629 results in The Journal of Symbolic Logic
Model completeness of the new strongly minimal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 946-962
- Print publication:
- September 1999
-
- Article
- Export citation
On recursive enumerability with finite repetitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 927-945
- Print publication:
- September 1999
-
- Article
- Export citation
On non-wellfounded iterations of the perfect set forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-574
- Print publication:
- June 1999
-
- Article
- Export citation
Anand Pillay, The geometry of forking and groups of finite Morley rank, The journal of symbolic logic, vol. 60 (1995), pp. 1251–1259.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 906
- Print publication:
- June 1999
-
- Article
- Export citation
The largest countable inductive set is a mouse set
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-459
- Print publication:
- June 1999
-
- Article
- Export citation
Existentially closed models of the theory of artinian local rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 825-845
- Print publication:
- June 1999
-
- Article
- Export citation
Prime e.c. commutative rings in characteristic n ≥ 2
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-633
- Print publication:
- June 1999
-
- Article
- Export citation
Anti-admissible sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-435
- Print publication:
- June 1999
-
- Article
- Export citation
Michael D. Resnik, Mathematics as a science of patterns, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1997, xiii + 285 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 922-923
- Print publication:
- June 1999
-
- Article
- Export citation
A decidable variety that is finitely undecidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-677
- Print publication:
- June 1999
-
- Article
- Export citation
Stabilité polynômiale des corps différentiels
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-816
- Print publication:
- June 1999
-
- Article
- Export citation
Common knowledge logic and game logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-700
- Print publication:
- June 1999
-
- Article
- Export citation
Jon Barwise and John Etchemendy, The language of first-order logic, including the IBM-compatible Windows version of Tarski's world 4.0. Third edition of LVIII 362. CSLI lecture notes.no. 34. Center for the Study of Language and Information, Stanford 1992. also distributed by Cambridge University Press, New York, xiv + 319 pp. + disk.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 916-918
- Print publication:
- June 1999
-
- Article
- Export citation
Stewart Shapiro. Philosophy of mathematics. Structure and ontology. Oxford University Press, New York and Oxford 1997, x + 279 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-926
- Print publication:
- June 1999
-
- Article
- Export citation
Explicit mathematics with the monotone fixed point principle. II: Models
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-550
- Print publication:
- June 1999
-
- Article
- Export citation
Generic expansions of ω-categorical structures and semantics of generalized quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-789
- Print publication:
- June 1999
-
- Article
- Export citation
Interpolation and preservation for pebble logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 846-858
- Print publication:
- June 1999
-
- Article
- Export citation
Some remarks on the partition calculus of ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 436-442
- Print publication:
- June 1999
-
- Article
- Export citation
On a class of m.a.d. families
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 737-746
- Print publication:
- June 1999
-
- Article
- Export citation
Unification in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 859-880
- Print publication:
- June 1999
-
- Article
- Export citation