Volume 54; Issue 2

Main
Journal of Symbolic Logic
Volume 54; Issue 2

Journal of Symbolic Logic

Volume 54; Issue 2

1

On Recursion Theory in I∑1

Petr Hájek and Antonín Kučera

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 334 KB

english, 1989

2

Regressive Partitions and Borel Diagonalization

Akihiro Kanamori

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 359 KB

english, 1989

3

Trees, Subtrees and Order Typesby Stevo Todorčević;Aronszajn Trees and Partitionsby Stevo Todorcevic

Review by: Dan Velleman

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 116 KB

english, 1989

4

Logical Foundations for Belief Representationby William J. Rapaport

Review by: David Israel

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 106 KB

english, 1989

5

Can You Take Solovay's Inaccessible Away?by Saharon Shelah;A Mathematical Proof of S. Shelah's Theorem on the Measure Problem and Related Resultsby Jean Raisonnier

Review by: Arnold W. Miller

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 132 KB

english, 1989

6

Unavoidabilityby Stig Kanger

Review by: Juha Oikkonen

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 99 KB

english, 1989

7

Schüler Wolfgang. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg 1983, xv + 190 pp.

Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 258 KB

english, 1989

8

Mendelson Elliott, Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, ix + 341 pp.

Corcoran, John, Park, Woosuk

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 346 KB

english, 1989

9

Sacks forcing sometimes needs help to produce a minimal upper bound

Lubarsky, Robert S.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 670 KB

english, 1989

10

Hurd Albert E. and Loeb Peter A.. An introduction to nonstandard real analysis, Pure and applied mathematics, no. 118. Academic Press, Orlando etc. 1985, xii + 232 pp.Stroyan K. D. in collaboration with Luxemburg W. A. J., Introduction to the theory of infinitesimals, Pure and applied mathematics, no. 72. Academic Press, New York, San Francisco, and London, 1976, xv + 326 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 419 KB

english, 1989

11

European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987

Ebbinghaus, H.-D., Fernández-Prida, J., Garrido, M., Lascar, D., Artalejo, M. Rodriguez

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.84 MB

english, 1989

12

On adding (ξ) to weak equality in combinatory logic

Bunder, Martin W., Hindley, J. Roger, Seldin, Jonathan P.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 400 KB

english, 1989

13

Algorithmic Information Theoryby Gregory J. Chaitin

Review by: Peter Gacs

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 514 KB

english, 1989

14

MacHale Desmond. George Boole. His life and work. Profiles of genius series, vol. 2. Boole Press, Dublin 1985, xv + 304 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 338 KB

english, 1989

15

1988 annual meeting of the Australasian Association for Logic, Perth, 1988

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 785 KB

english, 1989

16

Velleman Daniel J., Morasses, diamond, and forcing, Annals of mathematical logic, vol. 23 (1982), pp. 199–281.Velleman Dan. On a generalization of Jensen's □κ, and strategic closure of partial orders, The journal of symbolic logic, vol. 48, no. 4 (for 1983, pub. 1984), pp. 1046–1052.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 885 KB

english, 1989

17

Slow growing versus fast growing

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 446 KB

english, 1989

18

Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules

Robinson, Anthony

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 567 KB

english, 1989

19

Partially ordered sets and the independence property

Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 449 KB

english, 1989

20

The undecidability of the DA-unification problem

Siekmann, J., Szabó, P.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 848 KB

english, 1989

21

An expansion of F̃ p

Chatzidakis, Zoé

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 714 KB

english, 1989

22

The third Asian conference in mathematical logic, Beijing, 1987

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 187 KB

english, 1989

23

Recursively enumerable m- and tt-degrees. I: The quantity of m-degrees

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.04 MB

english, 1989

24

Undecidable complexity statements in -arithmetic

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 763 KB

english, 1989

25

On ideals and stationary reflection

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 559 KB

english, 1989

26

JSL volume 54 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 10.57 MB

english, 1989

27

A limit on relative genericity in the recursively enumerable sets

Lempp, Steffen, Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.23 MB

english, 1989

28

Definability via enumerations

Soskov, Ivan N.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 814 KB

english, 1989

29

Random models and the Maslov class

Goldfarb, Warren

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 552 KB

english, 1989

30

Sells Peter, Lectures on contemporary syntactic theories: an introduction to government-binding theory, generalized phrase structure grammar, and lexical-functional grammar, CSLI lecture notes, no. 3. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, Chicago, viii + 214 pp.Thomas Wasow. Postscript, Therein, pp. 193–205.

Jacobson, Pauline

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 417 KB

english, 1989

31

The strong anticupping property for recursively enumerable degrees

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 788 KB

english, 1989

32

Jacobs Barry E., Applied database logic I: fundamental database issues, Prentice-Hall, Englewood Cliffs, N.J., 1985, xviii + 334 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 333 KB

english, 1989

33

Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988

Blass, Andreas, Plotkin, Jacob

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 404 KB

english, 1989

34

Higher order reflection principles

Marshall R., M. Victoria

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 891 KB

english, 1989

35

Uniformization principles

Mekler, Alan H., Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.27 MB

english, 1989

36

On the strength of the interpretation method

Gurevich, Yuri, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.25 MB

english, 1989

37

Two recursion theoretic characterizations of proof speed-ups

Royer, James S.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 406 KB

english, 1989

38

Wagner K. and Wechsung G., Computational complexity, Mathematics and its applications. VEB Deutscher Verlag der Wissenschaften, Berlin, and D. Reidel Publishing Company, Dordrecht etc., 1986, 551 pp.

Boas, Peter van Emde

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 419 KB

english, 1989

39

An ideal characterization of Mahlo cardinals

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 546 KB

english, 1989

40

The structure of algebraically and existentially closed Stone and double Stone algebras

Clark, David M.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 914 KB

english, 1989

41

Notices

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 289 KB

english, 1989

42

JSL volume 54 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 10.56 MB

english, 1989

43

Boolos George. To be is to be a value of a variable (or to be some values of some variables). The journal of philosophy, vol. 81 (1984), pp. 430–449.Boolos George. Nominalist Platonism, The philosophical review, vol. 94 (1985), pp. 327–344.

Burgess, John P.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 334 KB

english, 1989

44

Algebraic logic conference, Budapest, 1988

Andréka, H., Ferenczi, M., Németi, I., Serény, Gy.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 189 KB

english, 1989

45

A jump class of noncappable degrees

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 604 KB

english, 1989

46

Inclusions et produits de groupes abéliens ordonnés étudiés au premier ordre

Françoise, Delon, François, Lucas

Journal:

Journal of Symbolic Logic

Year:

1989

File:

PDF, 337 KB

1989

47

Dunn J. Michael. Relevant predication I: the formal theory, Journal of philosophical logic, vol. 16 (1987), pp. 347–381.

Urquhart, Alasdair

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 312 KB

english, 1989

48

Detlefsen Michael, Hilbert's program. An essay on mathematical instrumentalism. Synthese library, vol. 182, D. Reidel Publishing Company, Dordrecht etc. 1986, xiv + 186 pp.

Auerbach, David D.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 411 KB

english, 1989

49

Bennet Christian. On a problem by D. Guaspari, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Furberg Mats, Wetterström Thomas, and Åberg Claes, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg 1986, pp. 61–69.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 328 KB

english, 1989

50

Todorčević Stevo, Forcing positive partition relations, Transactions of the American Mathematical Society, vol. 280 (1983), pp. 703–720.Todorčević Stevo, Directed sets and cofinal types, Transactions of the American Mathematical Society, vol. 290 (1985), pp. 711–723.Todorčević Stevo, Reals and positive partition relations, Logic, methodology and philosophy of science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, edited by Marcus Ruth Barcan, Dorn Georg J. W., and Weingartner Paul, Studies in logic and the foundations of mathematics, vol. 114, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1986, pp. 159–169.Todorčević Stevo, Remarks on chain conditions in produ

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 186 KB

english, 1989

51

A Hierarchy Theorem for Lindström Quantifiers.by Jouko Väänänen

Review by: Juha Oikkonen

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 99 KB

english, 1989

52

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 123 KB

english, 1989

53

Some Paradoxes of Prediction, Identity and Quantificationby Herbert Hochberg

Review by: Juha Oikkonen

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 107 KB

english, 1989

54

Algebraic Logic Conference

H. Andréka, M. Ferenczi, I. Németi and Gy. Serény

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 99 KB

english, 1989

55

Notices

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 150 KB

english, 1989

56

A Logic of Terms with an Existence Operatorby Jan Berg

Review by: Juha Oikkonen

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 132 KB

english, 1989

57

On the Order Between Quantifiersby Dag Westerståhl

Review by: Juha Oikkonen

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 107 KB

english, 1989

58

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 113 KB

english, 1989