Volume 46; Issue 4

Main
Journal of Symbolic Logic
Volume 46; Issue 4

Journal of Symbolic Logic

Volume 46; Issue 4

1

Stability of nilpotent groups of class 2 and prime exponent

Mekler, Alan H.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 227 KB

english, 1981

2

Ad and the Supercompactness of ℵ1

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 490 KB

english, 1981

3

Discrete Mathematics: Applied Algebra for Computer and information Scienceby Leonard S. Bobrow; Michael A. Arbib

Review by: Calvin C. Elgot

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 112 KB

english, 1981

4

Degrees of Structures

Linda Jean Richter

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 250 KB

english, 1981

5

JSL volume 46 issue 4 Cover and Back matter and Errata

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 4.28 MB

english, 1981

6

Translations from the philosophical writings of Gottlob Frege. Edited by Geach Peter and Black Max. Third edition, with an index by Klemke E. D.. Basil Blackwell, Oxford, and Rowman & Littlefield, Totowa, N.J., 1980, x + 228 pp.

Parsons, Charles

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 333 KB

english, 1981

7

Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy

Hodes, Harold T.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 253 KB

english, 1981

8

The Model of Set Theory Generated by Countably Many Generic Reals

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 1.46 MB

english, 1981

9

The equivalence of a generalized Martin's axiom to a combinatorial principle

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 422 KB

english, 1981

10

Jech Thomas. Set theory. Pure and applied mathematics. Academic Press, New York, San Francisco, and London, 1978, xi + 621 pp.

Devlin, Keith J.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 339 KB

english, 1981

11

Machtey Michael and Young Paul. An introduction to the general theory of algorithms. The computer science library, Theory of computation series. North-Holland, New York, Oxford, and Shannon, 1978, vii + 264 pp.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 329 KB

english, 1981

12

Leivant D. M. R.. Absoluteness of intuitionistic logic. Mathematical Centre tracts, no. 73. Mathematisch Centrum, Amsterdam 1979, ix + 137 pp.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 327 KB

english, 1981

13

JSL volume 46 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 7.62 MB

english, 1981

14

Notices

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 213 KB

english, 1981

15

Boolos George. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 415 KB

english, 1981

16

Partial orderings of fixed finite dimension: Model companions and density

Manaster, Alfred B., Remmel, Jeffrey B.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 991 KB

english, 1981

17

Silver Jack. On the singular cardinals problem. Proceedings of the International Congress of Mathematicians, Vancouver 1974, vol. 1, Canadian Mathematical Congress, Montreal 1975, pp. 265–268.Galvin Fred and Hajnal András. Inequalities for cardinal powers. Annals of mathematics, ser. 2 vol. 101 (1975), pp. 491–498.Devlin Keith J. and Jensen R. B.. Marginalia to a theorem of Silver. ISILC logic conference, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by Müller G. H., Obsrschelp A., and Potthoff K., Lecture notes in mathematics, vol. 499, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 115–142.Maoidor Menachem. On the singular cardinals problem I. Israel journal of mathematics, vol. 28

Kanamori, Akihiro

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 403 KB

english, 1981

18

Forcing with Δ perfect trees and minimal Δ-degrees

Kechris, Alexander S.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 895 KB

english, 1981

19

Barwise Jon, Kaufmann Matt, and Makkai Michael. Stationary logic. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 171–224.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 330 KB

english, 1981

20

Effective aspects of profinite groups

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 907 KB

english, 1981

21

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 2.14 MB

english, 1981

22

The upper semilattice of degrees ≤ 0′ is complemented

Posner, David B.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 725 KB

english, 1981

23

Undecidable Lt theories of topological abelian groups

Cherlin, Gregory L., Schmitt, Peter H.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 722 KB

english, 1981

24

Myhill John. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382.Friedman Harvey. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 404 KB

english, 1981

25

Shelah Saharon. Categoricity of uncountable theories. Proceedings of the Tarski Symposium, An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday, edited by Henkin Leon et al., Proceedings of symposia in pure mathematics, vol. 25, American Mathematical Society, Providence, R.I., 1974, pp. 187–203.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 332 KB

english, 1981

26

Moschovakis Yiannis N.. Descriptive set theory. Studies in logic and the foundations of mathematics, vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xii + 637 pp.

Mansfield, Richard

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 411 KB

english, 1981

27

Equivalence between semantics for intuitionism. I

López-Escobar, E. G. K.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 623 KB

english, 1981

28

The model-theoretic significance of complemented existential formulas

Weispfenning, Volker

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 611 KB

english, 1981

29

Index of reviews

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 438 KB

english, 1981

30

Notices

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 94 KB

english, 1981

31

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 122 KB

english, 1981

32

Index of Reviews: Volumes 45, 46

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 183 KB

english, 1981

33

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 839 KB

english, 1981

34

Degrees Joining to 0'

David B. Posner and Robert W. Robinson

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 280 KB

english, 1981

35

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 108 KB

english, 1981

36

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 238 KB

english, 1981

37

Errata

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 149 KB

english, 1981