Volume 48; Issue 4

Journal of Symbolic Logic

Volume 48; Issue 4
1

Errata: Intensional Logic in Extensional Language

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 76 KB
english, 1983
2

Forcing and Reducibilities. III. Forcing in Fragments of Set Theory

Piergiorgio Odifreddi
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 618 KB
english, 1983
3

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 100 KB
english, 1983
4

Notices

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 103 KB
english, 1983
5

Some Model Theory of Modules. II. On Stability and Categoricity of Flat Modules

Philipp Rothmaler
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 409 KB
english, 1983
6

Indecomposable ultrafilters over small large cardinals

Sheard, Michael
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 247 KB
english, 1983
8

Model-Complete Theories of e-Free AX Fields

Moshe Jarden and William H. Wheeler
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 199 KB
english, 1983
10

Modal analysis of generalized rosser sentences

Švejdar, Vítězslav
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 967 KB
english, 1983
11

Obras completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza universidad. Alianza Editorial, Madrid 1981, 430 pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Mosterín Jesús of 4182.Gödel Kurt. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by M

Chuaqui, Rolando
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 409 KB
english, 1983
12

Association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 2.11 MB
english, 1983
13

A Tableau System of Proof for Predicate-Functor Logic with Identity

Teo Grünberg
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 424 KB
english, 1983
14

The Correspondence Between Cut-Elimination and Normalizationby J. Zucker

Review by: Flavio Previale
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 428 KB
english, 1983
15

Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium)

Stern, J.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 1.59 MB
english, 1983
16

JSL volume 48 issue 4 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 1.59 MB
english, 1983
18

On a generalization of Jensen's □ κ , and strategic closure of partial orders

Velleman, Dan
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 575 KB
english, 1983
19

Wtt-degrees and T-degrees of r.e. sets

Stob, Michael
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 712 KB
english, 1983
20

State-Strategies for Games in$F_{\sigma\delta} \bigcap G_{\delta\sigma}$

J. Richard Büchi
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 1.62 MB
english, 1983
21

Characterizing the continuous functionals

Normann, Dag
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 208 KB
english, 1983
22

The noncommutativity of random and generic extensions

Truss, J.K.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 422 KB
english, 1983
23

Rabin's uniformization problem

Gurevich, Yuri, Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 991 KB
english, 1983
25

Algebraic semantics for quasi-classical modal logics

Blok, W.J., Köhler, P.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 1.51 MB
english, 1983
26

Index of Reviews

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 823 KB
english, 1983
27

Notices

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 275 KB
english, 1983
28

A Baire-type theorem for cardinals

Wolfsdorf, Kurt
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 532 KB
english, 1983
29

Meeting of the Association for Symbolic Logic, Madison, 1982

Keisler, H. Jerome
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 621 KB
english, 1983
30

Blunt and topless end extensions of models of set theory

Kaufmann, Matt
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 1.48 MB
english, 1983
31

Downward transfer of satisfiability for sentences of L 1,1

Malitz, Jerome
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 438 KB
english, 1983
32

Degrees of types and independent sequences

Knight, Julia F.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 667 KB
english, 1983
33

Addendum to “Logic of reduced power structures”

Nelson, G. C.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 187 KB
english, 1983
34

Random models and the Gödel case of the decision problem

Gurevich, Yuri, Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 421 KB
english, 1983
36

Model-complete theories of formally real fields and formally p-adic fields

Wheeler, William H.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 822 KB
english, 1983
37

On the Ramsey property for sets of reals

Kastanas, Ilias G.
Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 710 KB
english, 1983
38

JSL volume 48 issue 4 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 1.59 MB
english, 1983
41

Volume Information

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 181 KB
english, 1983
42

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 107 KB
english, 1983
43

Index of Reviews: Volumes 47, 48

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 370 KB
english, 1983
44

Association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1983
Language:
english
File:
PDF, 886 KB
english, 1983
45

Une Théorie de Galois Imaginaire

Bruno Poizat
Journal:
Journal of Symbolic Logic
Year:
1983
File:
PDF, 645 KB
1983