Volume 51; Issue 3

Main
Journal of Symbolic Logic
Volume 51; Issue 3

Journal of Symbolic Logic

Volume 51; Issue 3

1

Completeness Theorem for Biprobability Models

Miodrag D. Rašković

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 140 KB

english, 1986

2

A Saturation Property of Ideals and Weakly Compact Cardinals

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 292 KB

english, 1986

3

On Ideals of Subsets of the Plane and on Cohen Reals

Jacek Cichoń and Janusz Pawlikowski

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 258 KB

english, 1986

4

Mathematical Logicby Yu. L. Ershov; E. A. Palyutin

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 82 KB

english, 1986

5

Wittgenstein on Rules and Private Language. An Elementary Expositionby Saul A. Kripke

Review by: Harry Deutsch

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 143 KB

english, 1986

6

Notices

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 265 KB

english, 1986

7

Linsky Leonard. Oblique contexts. The University of Chicago Press, Chicago and London 1983, xxxvii + 175 pp.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 343 KB

english, 1986

8

The degrees below a 1-generic degree < 0′

Haught, Christine Ann

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 671 KB

english, 1986

9

The Independence Relation in Separably Closed Fields

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 781 KB

english, 1986

10

A Course in Mathematical Logicby Yu. I. Manin

Review by: George Boolos

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 338 KB

english, 1986

11

Distributive ideals and partition relations

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 681 KB

english, 1986

12

Some elementary degree-theoretic reasons why structures need similarity types

McLaughlin, T. G.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.16 MB

english, 1986

13

On Precipitousness of the Nonstationary Ideal Over a Supercompact

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 980 KB

english, 1986

14

Attention à la marche!

Journal:

Journal of Symbolic Logic

Year:

1986

File:

PDF, 1.13 MB

1986

15

Taking out LK parts from a proof in Peano arithmetic

Yukami, Tsuyoshi

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.03 MB

english, 1986

16

Éršov Ú. L. and É. Palútin A.. Matématičéskaá logika (Mathematical logic). “Nauka,” Moscow 1979, 320 pp.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 415 KB

english, 1986

17

A Simple Solution to Friedman's Fourth Problem

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 471 KB

english, 1986

18

On the proof theory of the intermediate logic MH

Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 910 KB

english, 1986

19

Keisler H. Jerome. An infinitesimal approach to stochastic analysis. Memoirs of the American Mathematical Society, no. 297. American Mathematical Society, Providence 1984, x + 184 pp.

Fenstad, Jens Erik

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 403 KB

english, 1986

20

Bencivenga Ermanno. Il primo libro di logica. Introduzione ai metodi delta logica contemporanea. Serie di logica matematica. Boringhieri, Turin 1984, 228 pp.

Previale, Flavio

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 243 KB

english, 1986

21

JSL volume 51 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 7.68 MB

english, 1986

22

Some properties of epistemic set theory with collection

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 504 KB

english, 1986

23

van Dalen Dirk. Logic and structure. Universitext. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, ix + 172 pp.van Dalen Dirk. Logic and structure. Second edition of the preceding. Universitext. Springer-Verlag, Berlin etc. 1983, x + 207 pp.

Fitting, Melvin

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 328 KB

english, 1986

24

Gabbay Dov M.. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 241 KB

english, 1986

25

Large cardinal structures below ℵ ω

Apter, Arthur W., Henle, James M.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 959 KB

english, 1986

26

Pκλ combinatorics II: The RK ordering beneath a supercompact measure

Zwicker, William S.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 955 KB

english, 1986

27

JSL volume 51 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 7.22 MB

english, 1986

28

Small decidable sheaves

Blass, Andreas, Scedrov, Andre

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 415 KB

english, 1986

29

Small filter forcing

Canjar, R. Michael

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.43 MB

english, 1986

30

Supercompact cardinals, trees of normal ultrafilters, and the partition property

Barbanel, Julius B.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 622 KB

english, 1986

31

Stability theory for topological logic, with applications to topological modules

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.01 MB

english, 1986

32

Meeting of the Association for Symbolic Logic, Stanford, California, 1985

Barwise, Jon, Feferman, Solomon, Israel, David

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 2.41 MB

english, 1986

33

Inverse topological systems and compactness in abstract model theory

Mundici, Daniele

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 770 KB

english, 1986

34

Bruss Anna R. and Meyer Albert R.. On time-space classes and their relation to the theory of real addition. Theoretical computer science, vol. 11 (1980), pp. 59–69.Berman Leonard. The complexity of logical theories. Theoretical computer science, pp. 71–77.Volger Hugo. Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories. Theoretical computer science, vol. 23 (1983), pp. 333–337.

Rackoff, Charles

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 318 KB

english, 1986

35

Between strong and superstrong

Baldwin, Stewart

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 928 KB

english, 1986

36

The truth is never simple

Burgess, John P.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.09 MB

english, 1986

37

Hughes G. E. and Cresswell M. J.. A companion to modal logic. Methuen, London 1984 and New York 1985, xvii + 203 pp.

van Benthem, Johan

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 417 KB

english, 1986

38

Stolyar Abram Aronovich. Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku. The MIT Press, Cambridge, Mass., and London, © 1970, pub. 1971, and Dover Publications, New York 1983, vii + 209 pp.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 272 KB

english, 1986

39

Notices

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 119 KB

english, 1986

40

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 116 KB

english, 1986

41

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 127 KB

english, 1986

42

À L'Ouest D'Éden

Journal:

Journal of Symbolic Logic

Year:

1986

File:

PDF, 587 KB

1986