13629 results in The Journal of Symbolic Logic
A hierarchy of maps between compacta
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1628-1644
- Print publication:
- December 1999
-
- Article
- Export citation
Fahiem Bacchus. Representing and reasoning with probabilistic knowledge. A logical approach to probabilities. The MIT Press, Cambridge, Mass., and London, 1991 (©1990), xvii + 233 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 1837
- Print publication:
- December 1999
-
- Article
- Export citation
Pseudo-finite homogeneity and saturation
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1689-1699
- Print publication:
- December 1999
-
- Article
- Export citation
The Complexity of the Collection of Countable Linear Orders of the form I + I
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1519-1526
- Print publication:
- December 1999
-
- Article
- Export citation
Notions of locality and their logical characterizations over finite models
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1751-1773
- Print publication:
- December 1999
-
- Article
- Export citation
Jacek Paśniczek. The logic of intentional objects. A Meinongian version of classical logic. Synthese library, vol. 269. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, vii + 212 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1847-1849
- Print publication:
- December 1999
-
- Article
- Export citation
The complexity of decision procedures in relevance logic II
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1774-1802
- Print publication:
- December 1999
-
- Article
- Export citation
Stable models and reflexive banach spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1595-1600
- Print publication:
- December 1999
-
- Article
- Export citation
Shaughan Lavine. Understanding the infinite. Harvard University Press, Cambridge, Mass., and London, 1994, ix + 372 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1843-1845
- Print publication:
- December 1999
-
- Article
- Export citation
On the Restraining Power of Guards
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1719-1742
- Print publication:
- December 1999
-
- Article
- Export citation
Mikhail G. Peretyat'Kin. Finitely axiomatizable theories. English translation of Konechno aksiomatiziruemye teorii. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1977, xiv + 294 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1828-1830
- Print publication:
- December 1999
-
- Article
- Export citation
A minimal counterexample to universal baireness
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1601-1627
- Print publication:
- December 1999
-
- Article
- Export citation
Jean-Pierre Ginisti. La logique combinatoire. Qui sais-je? no. 3205. Presses Universitaires de France, Paris1997, 127 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1833-1834
- Print publication:
- December 1999
-
- Article
- Export citation
Mikhail G. Peretyat'Kin. Konechno aksiomatiziruemye teorii. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1997, 322 + xiv pp. - F. R. Drake and D. Singh. Intermediate set theory. John Wiley & Sons, Chichester, New York, etc., 1996, x + 234 pp. - Winfried Just and Martin Weese. Discovering modern set theory. II. Set-theoretic tools for every mathematician. Graduate studies in mathematics, vol. 18. American Mathematical Society, Providence1997, xiii + 224 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1830-1832
- Print publication:
- December 1999
-
- Article
- Export citation
A Note on a-Prime Models
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1557-1562
- Print publication:
- December 1999
-
- Article
- Export citation
Bradd Hart and Matthew Valeriote. A structure theorem for strongly abelian varieties with few models. The journal of symbolic logic, vol. 56 (1991), pp. 832–852. - Bradd Hart and Sergei Starchenko. Addendum to “A structure theorem for strongly abelian varieties.”The journal of symbolic logic., vol. 58 (1993), pp. 1419–1425. - Bradd Hart, Sergei Starchenko, and Matthew Valeriote. Vaught's conjecture for varieties. Transactions of the American Mathematical Society, vol. 342 (1994), pp. 173–196. - B. Hart and S. Starchenko. Superstable quasi-varieties. Annals of pure and applied logic, vol. 69 (1994), pp. 53–71. - B. Hart, A. Pillay, and S. Starchenko. Triviality, NDOP and stable varieties. Annals of pure and applied logic., vol. 62 (1993), pp. 119–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1820-1821
- Print publication:
- December 1999
-
- Article
- Export citation
Olav K. Wiegand. Interpretationen der Modallogik. Ein Beitrag zur phänomenologischen Wissenschaftstheorie. Phaenomenologica, no. 145. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, x + 217 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1849-1853
- Print publication:
- December 1999
-
- Article
- Export citation
Decidability of cylindric set algebras of dimension two and first-order logic with two variables
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1563-1572
- Print publication:
- December 1999
-
- Article
- Export citation
Some results on combinators in the system TRC
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1811-1819
- Print publication:
- December 1999
-
- Article
- Export citation
Ordre fondamental d'une théorie 1-basée
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1426-1438
- Print publication:
- December 1999
-
- Article
- Export citation