13629 results in The Journal of Symbolic Logic
Effective presentability of Boolean algebras of Cantor-Bendixson rank 1
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-52
- Print publication:
- March 1999
-
- Article
- Export citation
Dominating and unbounded free sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-80
- Print publication:
- March 1999
-
- Article
- Export citation
Separation and Weak König's Lemma
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-278
- Print publication:
- March 1999
-
- Article
- Export citation
Upper bounds for standardizations and an application
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-303
- Print publication:
- March 1999
-
- Article
- Export citation
Non-distributive upper semilattice of Kleene degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-158
- Print publication:
- March 1999
-
- Article
- Export citation
On closed unbounded sets consisting of former regulars
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-12
- Print publication:
- March 1999
-
- Article
- Export citation
Infinitary properties of valued and ordered vector spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-226
- Print publication:
- March 1999
-
- Article
- Export citation
How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1348-1370
- Print publication:
- December 1998
-
- Article
- Export citation
Preserving σ-ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1437-1441
- Print publication:
- December 1998
-
- Article
- Export citation
Quantifier elimination for neocompact sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1442-1472
- Print publication:
- December 1998
-
- Article
- Export citation
The complexity of the core model
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1393-1398
- Print publication:
- December 1998
-
- Article
- Export citation
The determinacy of Blackwell games
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1565-1581
- Print publication:
- December 1998
-
- Article
- Export citation
Howard Becker and Alexander S. Kechris. The descriptive set theory of Polish group actions. London Mathematical Society lecture note series, no. 232. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 136 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1604-1605
- Print publication:
- December 1998
-
- Article
- Export citation
Philippe Besnard. An introduction to default logic. Symbolic computation, artificial intelligence series. Springer-Verlag, Berlin etc. 1989, xi + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1608-1610
- Print publication:
- December 1998
-
- Article
- Export citation
The interpretation of unsolvable λ-terms in models of untyped λ-calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1529-1548
- Print publication:
- December 1998
-
- Article
- Export citation
Large cardinals and large dilators
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1496-1510
- Print publication:
- December 1998
-
- Article
- Export citation
Discretely ordered modules as a first-order extension of the cutting planes proof system
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1582-1596
- Print publication:
- December 1998
-
- Article
- Export citation
Christopher Gauker. Universal instantiation: a study of the role of context in logic. Erkenntnis, vol. 46 (1997), pp. 185–214.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1610-1611
- Print publication:
- December 1998
-
- Article
- Export citation
Termination and confluence in infinitary term rewriting
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1286-1296
- Print publication:
- December 1998
-
- Article
- Export citation
Jaakko Hintikka. The principles of mathematics revisited. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xii + 288 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1615-1623
- Print publication:
- December 1998
-
- Article
- Export citation