13629 results in The Journal of Symbolic Logic
The Baire category theorem in weak subsystems of second-order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-578
- Print publication:
- June 1993
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-766
- Print publication:
- June 1993
-
- Article
- Export citation
Lisa Reidhaar-Olson. A new proof of the fixed-point theorem of provability logic. Notre Dame journal of formal logic, vol. 31 (1990), pp. 37–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-715
- Print publication:
- June 1993
-
- Article
- Export citation
The Cichoń diagram
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-423
- Print publication:
- June 1993
-
- Article
- Export citation
On the Cantor-Bendixon rank of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-640
- Print publication:
- June 1993
-
- Article
- Export citation
JSL volume 58 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1993
-
- Article
-
- You have access
- Export citation
Tony Dodd. Prolog. A logical approach. Oxford University Press, Oxford, New York, and Tokyo, 1990, xii + 556 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 719
- Print publication:
- June 1993
-
- Article
- Export citation
Quadratic forms in normal open induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-476
- Print publication:
- June 1993
-
- Article
- Export citation
Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 229–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-717
- Print publication:
- June 1993
-
- Article
- Export citation
M. J. Cresswell. Entities and indices. Studies in linguistics and philosophy, vol. 41. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xi + 274 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 723-725
- Print publication:
- June 1993
-
- Article
- Export citation
Extending the first-order theory of combinators with self-referential truth
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-513
- Print publication:
- June 1993
-
- Article
- Export citation
Scott analysis of pseudotypes
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-663
- Print publication:
- June 1993
-
- Article
- Export citation
On solvable centerless groups of Morley rank 3
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 546-556
- Print publication:
- June 1993
-
- Article
- Export citation
Sous-groupes periodiques d'un groupe stable
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-400
- Print publication:
- June 1993
-
- Article
- Export citation
Frans Voorbraak. A simplification of the completeness proofs for Guaspari and Solovay's R. Notre Dame journal of formal logic, vol. 31 (1990), pp. 44–63.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-719
- Print publication:
- June 1993
-
- Article
- Export citation
Zachary Gleit and Warren Goldfarb. Characters and fixed points in provability logic. Notre Dame journal of formal logic., pp. 26–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 715
- Print publication:
- June 1993
-
- Article
- Export citation
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Oxford logic guides, no. 20. Clarendon Press, Oxford University Press, Oxford and New York1992, viii + 152 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 725-728
- Print publication:
- June 1993
-
- Article
- Export citation
Every real closed field has an integer part
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-647
- Print publication:
- June 1993
-
- Article
- Export citation
Kripke models for linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-545
- Print publication:
- June 1993
-
- Article
- Export citation
Bounds for the closure ordinals of essentially monotonic increasing functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-671
- Print publication:
- June 1993
-
- Article
- Export citation