Volume 48; Issue 2

Main
Journal of Symbolic Logic
Volume 48; Issue 2

Journal of Symbolic Logic

Volume 48; Issue 2

1

Large Families of Incomparable A-Isols

William S. Heck

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 112 KB

english, 1983

2

An Application of Ultrapowers to Changing Cofinality

Patrick Dehornoy

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 324 KB

english, 1983

3

Kennedy Hubert C.. Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xii + 230 pp.

Odifreddi, Piergiorgio

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 293 KB

english, 1983

4

Kirby L. A. S. and Paris J. B.. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by Lachlan A., Srebrny M., and Zarach A., Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226.Paris J. B.. Some independence results for Peano arithmetic. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 725–731.

Simpson, Stephen G.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 325 KB

english, 1983

5

The monadic theory of ω 2

Gurevich, Yuri, Magidor, Menachem, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 925 KB

english, 1983

6

Fine Kit. Failures of the interpolation lemma in quantified modal logic. The journal of symbolic logic, vol. 44, (1979), pp. 201–206.

Kripke, Saul A.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 425 KB

english, 1983

7

Notices

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 242 KB

english, 1983

8

On Cofinal Extensions of Models of Arithmetic

Henryk Kotlarski

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 620 KB

english, 1983

9

ΠGarey Michael R. and Johnson David S.. Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman and Company, San Francisco 1979, x + 338 pp.

Lewis, Harry R.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 437 KB

english, 1983

10

A certain class of models of Peano arithmetic

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 694 KB

english, 1983

11

R. e. presented linear orders

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 597 KB

english, 1983

12

Dowty David R.. Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol. 7. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, xvii + 415 pp.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 344 KB

english, 1983

13

Some useful preservation theorems

Compton, Kevin J.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 949 KB

english, 1983

14

Further consistency and independence results in NF obtained by the permutation method

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 312 KB

english, 1983

15

Cherlin G. L.. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556.Lipshitz L. and Saracino D.. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387.Macintyre Angus. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.

Comer, Stephen D.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 240 KB

english, 1983

16

Gaifman Haim. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9(1976), pp. 223–306.Knight Julia F.. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 (1976), pp. 25–32.Knight Julia F.. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 (1976), pp. 583–588.Abramson Fred G. and Harrington Leo A.. Models without indiscernibles. The journal of symbolic logic, vol. 41 (1976), vol. 43 (1978), pp. 572–600.

Ressayre, J. P.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 327 KB

english, 1983

17

Countable models of multidimensional ℵ0-stable theories

Bouscaren, Elisabeth

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 539 KB

english, 1983

18

The countably based functionals

Hartley, John P.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 981 KB

english, 1983

19

Groupes stables, avec types génériques réguliers

Journal:

Journal of Symbolic Logic

Year:

1983

File:

PDF, 1.26 MB

1983

20

Gupta Anil. The logic of common nouns. An investigation in quantified modal logic. Yale University Press, New Haven and London 1980, xi + 142 pp.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 332 KB

english, 1983

21

Set theory with a filter quantifier

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.35 MB

english, 1983

22

Hinman Peter G.. Recursion-theoretic hierarchies. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1978, XII + 480 pp.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 332 KB

english, 1983

23

Keisler H. Jerome. The stability function of a theory. The journal of symbolic logic, vol. 43 (1978), pp. 481–486.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 320 KB

english, 1983

24

Meeting of the Association for Symbolic Logic, Wellington, New Zealand, 1981

Malcolm, W. G., Cresswell, M. J.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 680 KB

english, 1983

25

Thomason S. K.. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720.Fine Kit. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29.Thomason S. K.. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34.Gerson Martin. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148.Gerson Martin Sebastian. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342.Gerson Martin. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundl

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 861 KB

english, 1983

26

On a combinatorial property of menas related to the partition property for measures on supercompact cardinals

Kunen, Kenneth, Pelletier, Donald H.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 550 KB

english, 1983

27

Paires de structures stables

Journal:

Journal of Symbolic Logic

Year:

1983

File:

PDF, 881 KB

1983

28

JSL volume 48 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.43 MB

english, 1983

29

Meeting of the Association for Symbolic Logic, Milwaukee, 1981

Barwise, Jon, Soare, Robert, Millar, Terrence

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 439 KB

english, 1983

30

Burge Tyler. Frege and the hierarchy. Synthese, vol. 40 (1979), pp. 265–281.Parsons Terence D.. Frege's hierarchies of indirect senses and the paradox of analysis. The foundations of analytic philosophy, edited by French Peter A., Uehling Theodore E. Jr., and Wettstein Howard K., Midwest studies in philosophy, vol. 6, University of Minnesota Press, Minneapolis 1981, pp. 37–57.

Cresswell, M. J.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 324 KB

english, 1983

31

McAloon K.. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 1–2.Kirby L. A. S.. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, pp. 5–18.Lascar Daniel. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by McAloon K., Asterisque, no. 73, Société Mathématique de France, Paris 1980, 19–30.McAloon Kenneth. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultat

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 325 KB

english, 1983

32

Shelah Saharon. On uniqueness of prime models. The journal of symbolic logic, vol. 44 (1979), pp. 215–220.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 242 KB

english, 1983

33

High and low Kleene degrees of coanalytic sets

Simpson, Stephen G., Weitkamp, Galen

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 994 KB

english, 1983

34

Forcing and reducibilities

Odifreddi, Piergiorgio

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.52 MB

english, 1983

35

JSL volume 48 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 989 KB

english, 1983

36

Boolean sentence algebras: Isomorphism constructions

Hanf, William P., Myers, Dale

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 753 KB

english, 1983

37

Halldén Sören. The foundations of decision logic. Library of theoria, no. 14. CWK Gleerup, Lund 1980, 99 pp.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 332 KB

english, 1983

38

A characterization of 2-square Ultrafilters

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 461 KB

english, 1983

39

A complete theory with arbitrarily large minimality ranks

Woodrow, Robert E., Knight, Julia F.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 645 KB

english, 1983

40

The slow-growing and the Graegorczyk hierarchies

Cichon, E.A., Wainer, S.S.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 621 KB

english, 1983

41

Completeness in the theory of properties, relations, and propositions

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 844 KB

english, 1983

42

Compactness of a supervaluational language

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 344 KB

english, 1983

43

More about uniform upper bounds on ideals of turing degrees

Hodes, Harold T.

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.09 MB

english, 1983

44

Meeting of the Association for Symbolic Logic, San Francisco, 1981

Barwise, Jon, Vaught, Robert, Moschovakis, Yiannis

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 745 KB

english, 1983

45

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 128 KB

english, 1983