Volume 51; Issue 2

Journal of Symbolic Logic

Volume 51; Issue 2
1

The Logic of Deliberate Actionby Krister Segerberg

Review by: Brian F. Chellas
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 108 KB
english, 1986
2

Maximal Chains in the Fundamental Order

Steven Buechler
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 135 KB
english, 1986
3

Meeting of the Association for Symbolic Logic: Chicago, 1985

Andreas Blass, Louise Hay and Peter G. Hinman
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 148 KB
english, 1986
5

ω 1 -Like Recursively Saturated Models of Presburger's Arithmetic

Harnik, Victor
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 250 KB
english, 1986
7

Replacement and collection: a correction

Goodman, Nicolas D.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 193 KB
english, 1986
8

On the strength of nonstandard analysis

Henson, C. Ward, Keisler, H. Jerome
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 753 KB
english, 1986
10

Meeting of the Association for Symbolic Logic, Sydney, 1984

Staines, Phillip J.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 381 KB
english, 1986
11

Maximal chains in the fundamental order

Buechler, Steven
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 356 KB
english, 1986
12

ω 1-like recursively saturated models of Presburger's arithmetic

Harnik, Victor
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 717 KB
english, 1986
13

Theories with finitely many models

Thomas, Simon
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 319 KB
english, 1986
14

Dyson Verena H., Jones James P., and Shepherdson John C.. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 51–60.Jones James P.. Universal diophantine equation. The journal of symbolic logic, vol. 47 (1982), pp. 549–571.Jones J. P. and Matijasevič Ju. V.. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by Stern J., Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177.Jones J. P. and M

Davis, Martin
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 407 KB
english, 1986
15

Flagg realizability in arithmetic

Goodman, Nicolas D.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 416 KB
english, 1986
16

Notices

Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 288 KB
english, 1986
19

On the relation between choice and comprehension principles in second order arithmetic

Cantini, Andrea
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 861 KB
english, 1986
20

JSL volume 51 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 8.53 MB
english, 1986
21

A generalization of the limit lemma and clopen games

Clote, Peter
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 1.07 MB
english, 1986
24

Meeting of the Association for Symbolic Logic, Chicago, 1985

Blass, Andreas, Hay, Louise, Hinman, Peter G.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 414 KB
english, 1986
27

Finest partitions for ultrafilters

Kanamori, Akihiro
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 521 KB
english, 1986
28

The inclusion-exclusion principle for finitely many isolated sets

Dekker, J. C. E.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 798 KB
english, 1986
30

Natural deduction based set theories: a new resolution of the old paradoxes

Gilmore, Paul C.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 1.21 MB
english, 1986
31

Prime models and almost decidability

Millar, Terrence
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 613 KB
english, 1986
33

Lattice embeddings into the recursively enumerable degrees

Ambos-Spies, K., Lerman, M.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 1.02 MB
english, 1986
34

An interpolation theorem in many-valued logic

Hanazawa, Masazumi, Takano, Mitio
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 402 KB
english, 1986
35

Σ 1 definitions with parameters

Slaman, T. A.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 696 KB
english, 1986
36

JSL volume 51 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 8.59 MB
english, 1986
37

Recursive categoricity and persistence

Millar, Terrence
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 419 KB
english, 1986
39

On the Kleene degrees of Π 1 1 sets

Slaman, Theodore A.
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 614 KB
english, 1986
41

Replacement and Collection: A Correction

Nicolas D. Goodman
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 90 KB
english, 1986
42

Notices

Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 114 KB
english, 1986
44

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 124 KB
english, 1986
45

On the Strength of Nonstandard Analysis

C. Ward Henson and H. Jerome Keisler
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 281 KB
english, 1986
46

An Introduction to Stability Theoryby Anand Pillay

Review by: Michael Makkai
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 154 KB
english, 1986
47

Prime Models and Almost Decidability

Terrence Millar
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 259 KB
english, 1986
48

Meeting of the Association for Symbolic Logic: Sydney, 1984

Phillip J. Staines
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 150 KB
english, 1986
49

Flagg Realizability in Arithmetic

Nicolas D. Goodman
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 188 KB
english, 1986
50

Finest Partitions for Ultrafilters

Akihiro Kanamori
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 212 KB
english, 1986
51

∑1Definitions with Parameters

T. A. Slaman
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 275 KB
english, 1986
52

Lattice Embeddings into the Recursively Enumerable Degrees

K. Ambos-Spies and M. Lerman
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 402 KB
english, 1986
53

An Interpolation Theorem in Many-Valued Logic

Masazumi Hanazawa and Mitio Takano
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 182 KB
english, 1986
54

The Development of Logicby William Kneale; Martha Kneale

Review by: Benson Mates
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 105 KB
english, 1986
55

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 107 KB
english, 1986
56

Recursive Categoricity and Persistence

Terrence Millar
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 176 KB
english, 1986
59

On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic

Andrea Cantini
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 367 KB
english, 1986
60

Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes

Paul C. Gilmore
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 433 KB
english, 1986
61

On the Kleene Degrees of Π11Sets

Theodore A. Slaman
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 246 KB
english, 1986
62

Set Theory. An Introduction to Independence Proofsby Kenneth Kunen

Review by: James E. Baumgartner
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 153 KB
english, 1986
64

The Inclusion-Exclusion Principle for Finitely Many Isolated Sets

J. C. E. Dekker
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 353 KB
english, 1986
65

A Generalization of the Limit Lemma and Clopen Games

Peter Clote
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 517 KB
english, 1986
68

Situations and Attitudesby Jon Barwise; John Perry

Review by: Nino B. Cocchiarella
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 209 KB
english, 1986
70

Theories with Finitely Many Models

Simon Thomas
Journal:
Journal of Symbolic Logic
Year:
1986
Language:
english
File:
PDF, 196 KB
english, 1986