13629 results in The Journal of Symbolic Logic
A hierarchy of families of recursively enumerable degrees12
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1160-1170
- Print publication:
- December 1984
-
- Article
- Export citation
On Σ11 equivalence relations with Borel classes of bounded rank1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1283
- Print publication:
- December 1984
-
- Article
- Export citation
Linear reasoning in modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1363-1378
- Print publication:
- December 1984
-
- Article
- Export citation
JSL volume 49 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1984
-
- Article
-
- You have access
- Export citation
Richard Jeffrey. Introduction. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 1–6. - Rudolf Carnap. A basic system of inductive logic, Part II. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 7–155. - Jaakko Hintikka and Ilkka Niiniluoto. An axiomatic foundation for the logic of inductive generalization. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 157–181. (Reprinted with added postscript from Formal methods in the methodology of empirical sciences, Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974, edited by Marian Przełęcki, Klemens Szaniawski, and Ryszard Wójcicki, Synthese library, vol. 103, D. Reidel Publishing Company, Dordrecht and Boston, and Ossolineum Publishing Company, Wroclaw, 1976, pp. 57–81.) - Theo A. F. Kuipers. A survey of inductive systems. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 183–192. - Jens Erik Fenstad. The structure of probabilities defined on first-order languages. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 251–262. - David Lewis. A subjectivist's guide to objective chance. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 263–293. - Douglas N. Hoover. A note on regularity. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 295–297.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1409-1410
- Print publication:
- December 1984
-
- Article
- Export citation
Petr Vopěnka and Petr Hájek. The theory of semisets. Studies in logic and the foundations of mathematics, vol. 70. North-Holland Publishing Company, Amsterdam and London, and Academia, Publishing House of the Czechoslovak Academy of Sciences, Prague, 1972, 332 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1422-1423
- Print publication:
- December 1984
-
- Article
- Export citation
Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1114
- Print publication:
- December 1984
-
- Article
- Export citation
Diamonds, uniformization
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1033
- Print publication:
- December 1984
-
- Article
- Export citation
Closed sets and chain conditions in stable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1350-1362
- Print publication:
- December 1984
-
- Article
- Export citation
Finite level Borel games and a problem concerning the jump hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1301-1318
- Print publication:
- December 1984
-
- Article
- Export citation
C.c.c. forcing without combinatorics
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 830-832
- Print publication:
- September 1984
-
- Article
- Export citation
Regular types in nonmultidimensional ω-stable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-891
- Print publication:
- September 1984
-
- Article
- Export citation
An undecidable problem in finite combinatorics
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 842-850
- Print publication:
- September 1984
-
- Article
- Export citation
An interpretation of Martin-Löf's type theory in a type-free theory of propositions
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 730-753
- Print publication:
- September 1984
-
- Article
- Export citation
Monotone reducibility and the family of infinite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 774-782
- Print publication:
- September 1984
-
- Article
- Export citation
Oliver Aberth. Computable analysis. Advanced book program. McGraw-Hill International Book Company, New York etc. 1980, xi + 187 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 988-989
- Print publication:
- September 1984
-
- Article
- Export citation
On choice sequences determined by spreads
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 908-916
- Print publication:
- September 1984
-
- Article
- Export citation
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 975-980
- Print publication:
- September 1984
-
- Article
- Export citation
Charles Chihara. The semantic paradoxes: a diagnostic investigation. The philosophical review, vol. 88 (1979), pp. 590–618. - Tyler Burge. Semantical paradox. The journal of philosophy, vol. 76 (1979), pp. 169–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 995-996
- Print publication:
- September 1984
-
- Article
- Export citation
JSL volume 49 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1984
-
- Article
-
- You have access
- Export citation