Volume 57; Issue 1

Main
Journal of Symbolic Logic
Volume 57; Issue 1

Journal of Symbolic Logic

Volume 57; Issue 1

1

On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic

Andrew M. Pitts

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 1.26 MB

english, 1992

2

Superstable Differential Fields

A. Pillay and Ž. Sokolović

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

3

Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability

Victor Harnik and Michael Makkai

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 2.49 MB

english, 1992

4

The Role of Graphs in the Theory of Ordered Sets and Its Applicationsby Ivan Rival

Review by: R. Downey

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 426 KB

english, 1992

5

Ad and the Uniqueness of the Supercompact Measures on Pω1(λ)by W. Hugh Woodin; A. S. Kechris; D. A. Martin; Y. N. Moschavokis;Some Consistency Results in ZFC using ADby W. Hugh Woodin;Subsets of ℵ1Constructible from a Realby Alexander S. Kechris; D. A. Martin; J. R. Steel

Review by: Andreas Blass

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 430 KB

english, 1992

6

Mathematical Methods in Linguisticsby Barbara H. Partee; Alice ter Meulen; Robert E. Wall

Review by: Lawrence S. Moss

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 348 KB

english, 1992

7

An Inside View of Exp; or, The Closed Fragment of the Provability Logic of IΔ0+ Ω1with a Propositional Constant for$\operatorname{Exp}$

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 2.51 MB

english, 1992

8

Lusin-Sierpiński Index for the Internal Sets

Boško Živaljević

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 615 KB

english, 1992

9

The Stable Model Semantics for Logic Programmingby Michael Gelfond; Vladimir Lifschitz; Robert A. Kowalski; Kenneth A. Bowen;The Justification of Negation as Failureby Kit Fine; Jens Erik Fenstad; Ivan T. Frolov; Risto Hilpinen

Review by: Melvin Fitting

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 579 KB

english, 1992

10

Les automorphismes d'un ensemble fortement minimal

Journal:

Journal of Symbolic Logic

Year:

1992

File:

PDF, 934 KB

1992

11

Steel John R.. Scales on sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by Kechris A. S., Martin D. A., and Moschovakis Y. N., Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. pp. 72–76.Moschovakis Yiannis N.. Scales on coinductive sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by Kechris A. S., Martin D. A., and Moschovakis Y. N., Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 77–85.Martin Donald A. and Steel John R.. The extent of scales in L(ℝ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by Kechris A. S., Martin D. A., and Moschovakis Y. N., Lecture notes in mathematics, vol. 1019, Spr

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 334 KB

english, 1992

12

Weiner Joan. Frege in perspective. Cornell University Press, Ithaca and London 1990, xvii + 307 pp.

Dummett, Michael

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 519 KB

english, 1992

13

Corrections: To the Logic Colloquium '90 (Helsinki) Abstracts

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 209 KB

english, 1992

14

Non-standard logics for automated reasoning, edited by Smets Philippe, Mamdani Abe, Dubois Didier, and Prade Henri, Academic Press, London etc. 1988, x + 334 pp.

Morgan, Charles G.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 513 KB

english, 1992

15

Etchemendy John. The concept of logical consequence. Harvard University Press, Cambridge, Mass., and London, 1990, vii + 174 pp.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 342 KB

english, 1992

16

An Intuitionistic Proof of Tychonoff's Theorem

Thierry Coquand

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 437 KB

english, 1992

17

Eighth Latin American Symposium on Mathematical Logic, João Pessoa

Postma, Erik, van Noordwijk, Arie J.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 906 KB

english, 1992

18

A recursion principle for linear orderings

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 1.11 MB

english, 1992

19

Nordström Bengt, Petersson Kent, and Smith Jan M.. Programming in Martin-Löf's type theory. An introduction. The international series of monographs on computer science, no. 7. Clarendon Press, Oxford University Press, Oxford and New York 1990, x + 221 pp.

Mitchell, John C.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 425 KB

english, 1992

20

Functions and functional on finite systems

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 829 KB

english, 1992

21

Automorphism properties of stationary logic

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 527 KB

english, 1992

22

Undecidability of the identity problem for finite semigroups

Albert, Douglas, Baldinger, Robert, Rhodes, John

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 945 KB

english, 1992

23

The Largest Countable this, that, and the otherby Donald A. Martin; A. S. Kechris; D. A. Martin; Y. N. Moschovakis;Introduction to Q-Theoryby Alexander S. Kechris; Donald A. Martin; Robert M. Solovay;AD and the Projective Ordinalsby Steve Jackson; A. S. Kechris; D. A. Martin; J. R. Steel

Review by: Sy D. Friedman

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 416 KB

english, 1992

24

Louveau A.. Some results in the Wadge hierarchy of Borel sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by Kechris A. S., Martin D. A., and Moschovakis Y. N., Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 28–55.Louveau A. and Raymond J. Saint. Borel classes and closed games: Wadge-type and Hurewicz-type results. Transactions of the American Mathematical Society, vol. 304 (1987), pp. 431–467.Louveau Alain and Raymond Jean Saint. The strength of Borel Wadge determinacy. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by Kechris A. S., Martin D. A., and Steel J. R., Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 1

Lubarsky, Robert S.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 424 KB

english, 1992

25

JSL volume 57 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 6.86 MB

english, 1992

26

McKenzie Ralph N., McNulty George F., and Taylor Walter F.. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 429 KB

english, 1992

27

Barwise Jon and Etchemendy John. The liar. An essay on truth and circularity. Oxford University Press, New York and Oxford 1987, xii + 185 pp.

Martin, Donald A.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 404 KB

english, 1992

28

European Summer Meeting of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 4.81 MB

english, 1992

29

Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

30

Modules with regular generic types part iv

Herzog, Ivo, Rothmaler, Philipp

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 558 KB

english, 1992

31

Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991

Maddy, Penelope

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 572 KB

english, 1992

32

Arithmetic definability by formulas with two quantifiers

Tung, Shih Ping

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 658 KB

english, 1992

33

Additive reducts of real closed fields

Marker, David, Peterzil, Ya'acov, Pillay, Anand

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 628 KB

english, 1992

34

Notices

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 312 KB

english, 1992

35

JSL volume 57 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 4.11 MB

english, 1992

36

On a topological construction of Juhasz and Shelah

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 487 KB

english, 1992

37

Baldwin John T.. Fundamentals of stability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, xiii + 447 pp.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 333 KB

english, 1992

38

Local behaviour of the Chebyshev theorem in models of I⊿0

Paola D'Aquino,

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 975 KB

english, 1992

39

Learning via queries in [+,

Gasarch, William I., Pleszkoch, Mark G., Solovay, Robert

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 2.26 MB

english, 1992

40

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 243 KB

english, 1992

41

Notices

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 366 KB

english, 1992

42

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 245 KB

english, 1992