13629 results in The Journal of Symbolic Logic
A sharp version of the bounded Matijasevich conjecture and the end-extension problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-616
- Print publication:
- June 1992
-
- Article
- Export citation
Gerald E. Sacks. Higher recursion theory. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1990, xv + 344 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-762
- Print publication:
- June 1992
-
- Article
- Export citation
On expandability of models of Peano arithmetic to models of the alternative set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-460
- Print publication:
- June 1992
-
- Article
- Export citation
The Beth-closure of ℒ(Qα) is not finitely generated
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-448
- Print publication:
- June 1992
-
- Article
- Export citation
Provably total functions of intuitionistic bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-477
- Print publication:
- June 1992
-
- Article
- Export citation
ℵ0-categorical tree-decomposable structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-514
- Print publication:
- June 1992
-
- Article
- Export citation
Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 (1989), pp. 259–271. - Andreas Blass and Saharon Shelah. There may be simple - and -points and the Rudin–Keisler ordering may be downward directed. Annals of pure and applied logic, vol. 33 (1987), pp. 213–243. - Andreas Blass. Near coherence of filters. II: Applications to operator ideals, the Stone–Čech remainder of a half-line, order ideals of sequences, and the slenderness of groups. Transactions of the American Mathematical Society, vol. 300 (1987), pp. 557–581. - Andreas Blass and Saharon Shelah. Near coherence of filters III: a simplified consistency proof. Notre Dame journal of formal logic, vol. 30 (1989), pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency results about filters and the number of inequivalent growth types. The journal of symbolic logic, vol. 54 (1989), pp. 50–56. - Andreas Blass. Applications of superperfect forcing and its relatives. Set theory and its applications. Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21, 1987, edited by J. Steprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 18–40. - Andreas Blass and Saharon Shelah. Ultrafilters with small generating sets. Israel journal of mathematics, vol. 65 (1989), pp. 259–271.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-766
- Print publication:
- June 1992
-
- Article
- Export citation
Combinatorics on large cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-643
- Print publication:
- June 1992
-
- Article
- Export citation
Continuity properties in constructive mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-565
- Print publication:
- June 1992
-
- Article
- Export citation
Cuts in hyperfinite time lines
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-527
- Print publication:
- June 1992
-
- Article
- Export citation
Theories of modules closed under direct products
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-521
- Print publication:
- June 1992
-
- Article
- Export citation
JSL volume 57 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1992
-
- Article
-
- You have access
- Export citation
Imaginary modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 698-723
- Print publication:
- June 1992
-
- Article
- Export citation
A proof of Beigel's cardinality conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 677-681
- Print publication:
- June 1992
-
- Article
- Export citation
Adding dominating reals with ωω of bounding posets
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 540-547
- Print publication:
- June 1992
-
- Article
- Export citation
A note on a result of Kunen and Pelletier
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 461-465
- Print publication:
- June 1992
-
- Article
- Export citation
The density of the meet-inaccessible r. e. degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 585-596
- Print publication:
- June 1992
-
- Article
- Export citation
On sets ∀-definable from Pfaffian functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-697
- Print publication:
- June 1992
-
- Article
- Export citation
A Spector-Gandy theorem for cPCd(
) classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-500
- Print publication:
- June 1992
-
- Article
- Export citation
JSL volume 57 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1992
-
- Article
-
- You have access
- Export citation