13629 results in The Journal of Symbolic Logic
Raymond Turner. Logics for artificial intelligence. Ellis Horwood series in artificial intelligence. Ellis Horwood, Chichester 1984, also distributed by Halsted Press, New York, 121 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- March 1991
-
- Article
- Export citation
Meager sets on the hyperfinite time line
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-102
- Print publication:
- March 1991
-
- Article
- Export citation
Reflecting on incompleteness1
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-49
- Print publication:
- March 1991
-
- Article
- Export citation
Abelian groups with modular generic
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-259
- Print publication:
- March 1991
-
- Article
- Export citation
Reducts of the random graph
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-181
- Print publication:
- March 1991
-
- Article
- Export citation
The Arthur Prior memorial conference, Christchurch, 1989
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-382
- Print publication:
- March 1991
-
- Article
- Export citation
Embedding the diamond in the Σ2 enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-212
- Print publication:
- March 1991
-
- Article
- Export citation
The structure of graphs all of whose Y-sections are internal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-66
- Print publication:
- March 1991
-
- Article
- Export citation
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. (English translation by B. M. Schein of Arifmeticheski polnye modal'nye teorii, Semiotika i informatika (Moscow), vol. 14 (for 1979, pub. 1980), pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 (for 1986, pub. 1987), pp. 401–429. (English translation by E. Mendelson of O modal'nykh logikakh, aksiomatiziruyushchikh dokazuemost', Izvestiya Akademii Nauk SSSR, Seriya matematicheskaya, vol. 49 (1985), pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 (for 1985, pub. 1986), pp. 403–405. (English translation by E. Mendelson of Nearifmetichnost' istinnostnykh predikatnykh logik dokazuemosti, Doklady Academii Nauk SSSR, vol. 284 (1985), pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 (for 1986, pub. 1987), pp. 569–572. (English translation by E. Mendelson of Arifmeticheskaya slozhnost' predikatnykh logik dokazuemosti i ikh fragmentov, Doklady Akademii Nauk SSSR, vol. 288 (1986), pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 (1987), pp. 384–387. (English translation by E. Mendelson of Numericheski korrektnye logiki dokazuemosti, Doklady Akademii Nauk SSSR, vol. 290 (1986), pp. 1289–1292.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-332
- Print publication:
- March 1991
-
- Article
- Export citation
Moti Gitik. The negation of the singular cardinal hypothesis from O(K) = K++. Annals of pure and applied logic, vol. 43 (1989), pp. 209–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- March 1991
-
- Article
- Export citation
David Pearce. Roads to commensurability. Synthese library, vol. 187. D. Reidel Publishing Company, Dordrecht etc. 1987, xi + 253 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-356
- Print publication:
- March 1991
-
- Article
- Export citation
Realism, mathematics and modality, by Hartry Field, Basil Blackwell, Oxford and New York1989, viii + 290 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-351
- Print publication:
- March 1991
-
- Article
- Export citation
Wilfried Buchholz and Kurt Schütte. Proof theory of impredicative subsystems of analysis. Studies in proof theory. Bibliopolis, Naples1988, 122 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- March 1991
-
- Article
- Export citation
Ramsey cardinals, α-Erdös cardinals, and the core model
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-114
- Print publication:
- March 1991
-
- Article
- Export citation
Stratification and cut-elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-226
- Print publication:
- March 1991
-
- Article
- Export citation
Michael Canjar. Countable ultraproducts without CH. Annals of pure and applied logic, vol. 37 (1988), pp. 1–79. - R. Michael Canjar. Small filter forcing. The journal of symbolic logic, vol. 51 (1986), pp. 526–546.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
- Print publication:
- March 1991
-
- Article
- Export citation
Where do sets come from?
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-175
- Print publication:
- March 1991
-
- Article
- Export citation
Alexander S. Kechris and Alain Louveau. Descriptive set theory and the structure of sets of uniqueness. London Mathematical Society lecture note series, no. 128. Cambridge University Press, Cambridge etc. 1987, vii + 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
- Print publication:
- March 1991
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- March 1991
-
- Article
- Export citation
George Boolos and Vann McGee. The degree of the set of sentences of predicate provability logic that are true under every interpretation. The journal of symbolic logic, vol. 52 (1987), pp. 165–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- March 1991
-
- Article
- Export citation