Volume 46; Issue 1

Journal of Symbolic Logic

Volume 46; Issue 1
1

La Logique des Topos

André Boileau and André Joyal
Journal:
Journal of Symbolic Logic
Year:
1981
File:
PDF, 247 KB
1981
2

On P-Points Over a Measurable Cardinal

A. Kanamori
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 220 KB
english, 1981
4

The κ-Closed Unbounded Filter and Supercompact Cardinals

Mitchell Spector
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 282 KB
english, 1981
5

Phenomenology and Logicby Robert S. Tragesser

Review by: David Woodruff Smith
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 107 KB
english, 1981
7

Modal Semantics without Possible Worlds

John T. Kearns
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 228 KB
english, 1981
8

Determinateness and the Separation Property

John R. Steel
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 142 KB
english, 1981
10

Sous-groupes définissables d'un groupe stable

Poizat, Bruno
Journal:
Journal of Symbolic Logic
Year:
1981
File:
PDF, 803 KB
1981
11

Ordinal analysis of simple cases of bar recursion

Howard, W. A.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 1.02 MB
english, 1981
12

Changing cofinalities and infinite exponents

Apter, Arthur W.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 589 KB
english, 1981
13

JSL volume 46 issue 1 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 8.92 MB
english, 1981
14

Rings Which Admit Elimination of Quantifiers

Chantal Berline
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 312 KB
english, 1981
15

Hyper-Torre Isols

Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 486 KB
english, 1981
17

On the interpolation theorem for the logic of constant domains

López-Escobar, E. G. K.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 220 KB
english, 1981
19

Some Initial Segments of the Rudin-Keisler Ordering

Andreas Blass
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 862 KB
english, 1981
20

Subjunctive Reasoningby John L. Pollock

Review by: Timothy McCarthy
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 508 KB
english, 1981
22

A proof of the associated sheaf theorem by means of categorical logic

Veit, Barbara
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 637 KB
english, 1981
28

The consistency of system Q

Fitch, Frederic B.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 750 KB
english, 1981
29

Meeting of the Association for Symbolic Logic, Hamilton, New Zealand, 1979

Malcolm, W.G., Cresswell, M.J.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 329 KB
english, 1981
30

Meeting of the Association for Symbolic Logic, San Diego, 1979

Manaster, Alfred B., Payne, Thomas H., Harrah, David
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 490 KB
english, 1981
31

Locally countable models of Σ 1-separation

Abramson, Fred G.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 437 KB
english, 1981
32

JSL volume 46 issue 1 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 4.81 MB
english, 1981
33

Lawvere F. William. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14.Keane Orville. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50.Volger Hugo. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by Lawvere F. W., Maurer C., and Wraith G. C., Lecture notes in mathematic

Szabo, M. E.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 501 KB
english, 1981
34

Notices

Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 183 KB
english, 1981
36

The continuum hypothesis in intuitionism

Gielen, W., de Swart, H., Veldman, W.
Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 1.05 MB
english, 1981
37

Notices

Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 93 KB
english, 1981
38

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 106 KB
english, 1981
39

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1981
Language:
english
File:
PDF, 123 KB
english, 1981