Volume 50; Issue 3

Journal of Symbolic Logic

Volume 50; Issue 3
1

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 83 KB
english, 1985
2

Lezioni di Logicaby George Goe

Review by: Annalisa Marcja
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 80 KB
english, 1985
3

A Probabilistic Interpolation Theorem

Douglas N. Hoover
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 151 KB
english, 1985
5

Generalisation of first-order logic to nonatomic domains

Roeper, P.
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 1.36 MB
english, 1985
6

JSL volume 50 issue 3 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 4.23 MB
english, 1985
10

Extension of Relatively |sigma-Additive Probabilities on Boolean Algebras of Logic

Mohamed A. Amer
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 644 KB
english, 1985
12

On the T-degrees of partial functions

Casalegno, Paolo
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 677 KB
english, 1985
13

The Decision Problem for Branching Time Logic

Yuri Gurevich and Saharon Shelah
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 998 KB
english, 1985
14

Two weak consequences of 0#

Gitik, M., Magidor, M., Woodin, H.
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 493 KB
english, 1985
15

On Cantor-Bendixson spectra containing (1,1). II

Marcja, Annalisa, Toffalori, Carlo
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 523 KB
english, 1985
16

Determinateness of Certain Almost-Borel Games

Robert S. Wolf
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 855 KB
english, 1985
17

Decision problems concerning S-arithmetic groups

Grunewald, Fritz, Segal, Daniel
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 1.70 MB
english, 1985
18

Functional interpretation of the β-rule

Koletsos, George
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 945 KB
english, 1985
19

Second-order languages and mathematical practice

Shapiro, Stewart
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 2.06 MB
english, 1985
20

Model theory under the axiom of determinateness

Spector, Mitchell
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 666 KB
english, 1985
21

Cylindric-relativised set algebras have strong amalgamation

Németi, I.
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 796 KB
english, 1985
22

Finitely generic models of T UH, for certain model companionable theories T

Point, Francoise
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 542 KB
english, 1985
23

Priority arguments in the continuous r.e. degrees

Thompson, Simon
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 522 KB
english, 1985
24

Notices

Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 222 KB
english, 1985
25

Church-Rosser theorem for typed functional systems

Koletsos, George
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 625 KB
english, 1985
26

JSL volume 50 issue 3 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 7.41 MB
english, 1985
28

On theories having a finite number of nonisomorphic countable models

Tsuboi, Akito
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 297 KB
english, 1985
29

The status of the axiom of choice in set theory with a universal set

Forster, T. E.
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 567 KB
english, 1985
30

Jumps of quasi-minimal enumeration degrees

McEvoy, Kevin
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 712 KB
english, 1985
31

Logics containing K4. Part II

Fine, Kit
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 2.00 MB
english, 1985
33

Becker Joseph and Lipshitz Leonard. Remarks on the elementary theories of formal and convergent power series. Fundament a mathematicae, vol. 105 (1980), pp. 229–239.Delon Françoise. Indécidabilité de la théorie des anneaux de séries formelles à plusiers indéterminées. Fundament a mathematicae, vol. 112 (1981), pp. 215–229.Becker J., Denef J., and Lipshitz L.. Further remarks on the elementary theory of formal power series rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by Pacholski L., Wierzejewski J., and Wilkie A. J., Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York,

Basarab, S.
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 337 KB
english, 1985
35

On the number of independent partitions

Tsuboi, Akito
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 501 KB
english, 1985
38

Syntactic translations and provably recursive functions

Leivant, Daniel
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 537 KB
english, 1985
39

Notices

Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 104 KB
english, 1985
40

Acknowledgement of Priority

Andreas Blass
Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 148 KB
english, 1985
41

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1985
Language:
english
File:
PDF, 180 KB
english, 1985