13629 results in The Journal of Symbolic Logic
T-convexity and tame extensions II
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 14-34
- Print publication:
- March 1997
-
- Article
- Export citation
Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-319
- Print publication:
- March 1997
-
- Article
- Export citation
Paul Horwich. Truth. Basil Blackwell, Oxford and Cambridge, Mass., 1990, xiii + 136 pp. - Marian David. Correspondence and disquotation. An essay on the nature of truth. Oxford University Press, New York and Oxford1994, x + 206 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-328
- Print publication:
- March 1997
-
- Article
- Export citation
Tomek Bartoszyński and Haim Judah. Set theory. On the structure of the real line. A K Peters, Wellesley, Mass., 1995, xi + 546 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-323
- Print publication:
- March 1997
-
- Article
- Export citation
Heikki Mannila and Kari-Jouko Räihä. The design of relational databases. Addison-Wesley Publishing Company, Wokingham, England, and Reading, Mass., etc., 1992, vii + 318 pp. - Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of databases. Addison-Wesley Publishing Company, Reading, Mass., etc., 1995, xviii + 685 pp. - Paris C. Kanellakis. Elements of relational database theory. Handbook of theoretical computer science, Volume B, Formal models and semantics, edited by Jan van Leeuwen, Elsevier, Amsterdam, etc., and The MIT Press, Cambridge, Mass., 1990, pp. 1073–1156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-326
- Print publication:
- March 1997
-
- Article
- Export citation
Une correspondance entre anneaux partiels et groupes
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-78
- Print publication:
- March 1997
-
- Article
- Export citation
Cardinal functions on ultra products of Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-59
- Print publication:
- March 1997
-
- Article
- Export citation
Small forcings and Cohen reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-284
- Print publication:
- March 1997
-
- Article
- Export citation
Modality, morality, and belief, Essays in honor of Ruth Barcan Marcus, edited by Walter Sinnott-Armstrong, Diana Raffman, and Nicholas Asher, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiii + 270 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-330
- Print publication:
- March 1997
-
- Article
- Export citation
Completeness and decidability of tense logics closely related to logics above K4
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-158
- Print publication:
- March 1997
-
- Article
- Export citation
Ideals and combinatorial principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-122
- Print publication:
- March 1997
-
- Article
- Export citation
Bruno Poizat. Les petits cailloux. Une approche modèle-théorique de Valgoritkmie. Nur al-Mantiq wal-Ma'rifah, no. 3. Aléas, Lyon1995, 217 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-324
- Print publication:
- March 1997
-
- Article
- Export citation
The combinatorics of the splitting theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-224
- Print publication:
- March 1997
-
- Article
- Export citation
Analytic cell decomposition and the closure of p-adic semianalytic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-303
- Print publication:
- March 1997
-
- Article
- Export citation
Arnold W. Miller. Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. Lecture notes in logic, no. 4. Springer, Berlin, Heidelberg, New York, etc., 1995, ii + 130 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
- Print publication:
- March 1997
-
- Article
- Export citation
A very weak square principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-196
- Print publication:
- March 1997
-
- Article
- Export citation
Probability and conditionals, Belief revision and rational decision, edited by Ellery Eells and Brian Skyrms, Cambridge studies in probability, induction, and decision theory, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, viii + 207 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-335
- Print publication:
- March 1997
-
- Article
- Export citation
The theory of integer multiplication with order restricted to primes is decidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-130
- Print publication:
- March 1997
-
- Article
- Export citation
Undecidability in diagonalizable algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-116
- Print publication:
- March 1997
-
- Article
- Export citation
Step by step – Building representations in algebraic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 1 / March 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-279
- Print publication:
- March 1997
-
- Article
- Export citation