Volume 41; Issue 3

Journal of Symbolic Logic

Volume 41; Issue 3
1

On Definable Subsets of p-Adic Fields

Angus MacIntyre
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 160 KB
english, 1976
2

Model Theory.by C. C. Chang; H. J. Keisler

Review by: Gebhard Fuhrken
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 123 KB
english, 1976
3

Essays in Analysis by Bertrand Russellby Douglas Lackey; Bertrand Russell

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 114 KB
english, 1976
4

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 99 KB
english, 1976
5

On the Complexity of the Theories of Weak Direct Powers

Charles Rackoff
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 760 KB
english, 1976
6

The Theory of the Gödel Functionals

Nicolas D. Goodman
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 215 KB
english, 1976
7

Hanf Numbers for Omitting Types Over Particular Theories

Julia F. Knight
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 178 KB
english, 1976
8

Undecidable Properties of Finite Sets of Equations

George F. McNulty
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 325 KB
english, 1976
9

Co-Hypersimple Structures

J. B. Remmel
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 349 KB
english, 1976
10

Noncomplex Sequences: Characterizations and Examples

Robert P. Daley
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 284 KB
english, 1976
11

Categoricity Regained

Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 581 KB
english, 1976
12

Another Intuitionistic Completeness Proof

H. de Swart
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 357 KB
english, 1976
13

Higher Souslin Trees and the Generalized Continuum Hypothesis

John Gregory
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 209 KB
english, 1976
14

A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models

Robert E. Woodrow
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 224 KB
english, 1976
15

Types of Simple α-Recursively Enumerable Sets

Anne Leggett and Richard A. Shore
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 325 KB
english, 1976
16

Degrees of Classes of RE Sets

J. R. Shoenfield
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 96 KB
english, 1976
17

A Bridge to Advanced Mathematics.by Dennis Sentilles

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 99 KB
english, 1976
19

Notices

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 85 KB
english, 1976
20

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 66 KB
english, 1976
21

Higher Souslin trees and the generalized continuum hypothesis

Gregory, John
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 656 KB
english, 1976
22

The theory of the Gödel functionals

Goodman, Nicolas D.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 564 KB
english, 1976
23

Another intuitionistic completeness proof

De Swart, H.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 863 KB
english, 1976
24

A note on countable complete theories having three isomorphism types of countable models

Woodrow, Robert E.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 627 KB
english, 1976
25

Hanf numbers for omitting types over particular theories

Knight, Julia F.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 521 KB
english, 1976
27

Co-hypersimple structures

Remmel, J. B.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1.03 MB
english, 1976
28

Undecidable properties of finite sets of equations

McNulty, George F.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 985 KB
english, 1976
29

On definable subsets of p-adic fields

MacIntyre, Angus
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 485 KB
english, 1976
30

On the complexity of the theories of weak direct powers

Rackoff, Charles
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 879 KB
english, 1976
31

Categoricity regained

Ellentuck, Erik
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 394 KB
english, 1976
33

Australasian Association for Logic

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 239 KB
english, 1976
34

JSL volume 41 issue 3 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 6.73 MB
english, 1976
35

JSL volume 41 issue 3 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 3.22 MB
english, 1976
36

Types of simple α-recursively enumerable sets

Leggett, Anne, Shore, Richard A.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 925 KB
english, 1976
37

Noncomplex sequences: characterizations and examples

Daley, Robert P.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 859 KB
english, 1976
38

Special Notice

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 207 KB
english, 1976
39

Degrees of classes of RE sets

Shoenfield, J. R.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 252 KB
english, 1976