13629 results in The Journal of Symbolic Logic
Failure of Cartesian closedness in NF
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-556
- Print publication:
- June 1992
-
- Article
- Export citation
U-Lusin sets 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. 528-533
- Print publication:
- June 1992
-
- Article
- Export citation
Dirk van Dalen. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 225–339. - Walter Felscher. Dialogues as a foundation for intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 341–372.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-756
- Print publication:
- June 1992
-
- Article
- Export citation
Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-371
- Print publication:
- March 1992
-
- Article
- Export citation
Superstable differential fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-108
- Print publication:
- March 1992
-
- Article
- Export citation
W. Hugh Woodin. AD and the uniqueness of the supercompact measures on Pω1 (λ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschavokis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 67–71. - W. Hugh Woodin. Some consistency results in ZFC using AD. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschavokis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 172–198. - Alexander S. Kechris. Subsets of ℵ1 constructihle from areal. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 110–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-261
- Print publication:
- March 1992
-
- Article
- Export citation
Local behaviour of the Chebyshev theorem in models of I⊿0
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 12-27
- Print publication:
- March 1992
-
- Article
- Export citation
On a topological construction of Juhasz and Shelah
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-171
- Print publication:
- March 1992
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-351
- Print publication:
- March 1992
-
- Article
- Export citation
Graphs and order. The role of graphs in the theory of ordered sets and its applications, edited by Ivan Rival, NATO ASI series C, vol. 147, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1985, xix + 796 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-271
- Print publication:
- March 1992
-
- Article
- Export citation
Functions and functional on finite systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-130
- Print publication:
- March 1992
-
- Article
- Export citation
Jon Barwise and John Etchemendy. The liar. An essay on truth and circularity. Oxford University Press, New York and Oxford1987, xii + 185 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-254
- Print publication:
- March 1992
-
- Article
- Export citation
A. Louveau. Some results in the Wadge hierarchy of Borel sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 28–55. - A. Louveau and J. Saint Raymond. Borel classes and closed games: Wadge-type and Hurewicz-type results. Transactions of the American Mathematical Society, vol. 304 (1987), pp. 431–467. - Alain Louveau and Jean Saint Raymond. The strength of Borel Wadge determinacy. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 1–30.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-266
- Print publication:
- March 1992
-
- Article
- Export citation
Modules with regular generic types part iv
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-199
- Print publication:
- March 1992
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-365
- Print publication:
- March 1992
-
- Article
- Export citation
Arithmetic definability by formulas with two quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-11
- Print publication:
- March 1992
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- March 1992
-
- Article
- Export citation
On an interpretation of second order quantification in first order intuitionistic propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-52
- Print publication:
- March 1992
-
- Article
- Export citation
A recursion principle for linear orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-96
- Print publication:
- March 1992
-
- Article
- Export citation
John R. Steel. Scales on sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. pp. 72–76. - Yiannis N. Moschovakis. Scales on coinductive sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 77–85. - Donald A. Martin and John R. Steel. The extent of scales in L(ℝ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 86–96. - John R. Steel. Scales in L(ℝ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 107–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
- Print publication:
- March 1992
-
- Article
- Export citation