Volume 41; Issue 1

Journal of Symbolic Logic

Volume 41; Issue 1
1

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 98 KB
english, 1976
2

Uniform Inductive Definability and Infinitary Languages

Anders M. Nyberg
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 286 KB
english, 1976
3

On Σ1Well-Orderings of the Universe

Leo Harrington and Thomas Jech
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 133 KB
english, 1976
4

Applications of Vaught Sentences and the Covering Theorem

Victor Harnik and Michael Makkai
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 397 KB
english, 1976
5

Diversity of Speed-Ups and Embeddability in Computational Complexity

Donald A. Alton
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 364 KB
english, 1976
6

A Boolean Ultrapower which is not an Ultrapower

Bernd Koppelberg and Sabine Koppelberg
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 149 KB
english, 1976
8

Omitting Types in Set Theory and Arithmetic

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

Infinitary Compactness without Strong Inaccessibility

William Boos
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 181 KB
english, 1976
10

Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability

Charles E. Hughes
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 161 KB
english, 1976
12

Probabilities on Finite Models

Ronald Fagin
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 235 KB
english, 1976
13

Approximation Theorems and Model Theoretic Forcing

Victor Harnik
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 324 KB
english, 1976
14

One More Aspect of Forcing and Omitting Types

Zofia Adamowicz
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 171 KB
english, 1976
15

Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models

Dov M. Gabbay
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 312 KB
english, 1976
16

Negative-Existentially Complete Structures and Definability in Free Extensions

Volker Weispfenning
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 344 KB
english, 1976
17

Semantics of the Infinitistic Rules of Proof

Krzysztof Rafal Apt
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 368 KB
english, 1976
18

Elementary Extensions of Countable Models of Set Theory

John E. Hutchinson
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 188 KB
english, 1976
19

ED-Regressive Sets of Order n

Seth Catlin
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 190 KB
english, 1976
20

Selection in Abstract Recursion Theory

L. A. Harrington and D. B. MacQueen
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 174 KB
english, 1976
21

An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic

Wim Veldman
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 221 KB
english, 1976
22

Monotone Inductive Definitions over the Continuum

Douglas Cenzer
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 272 KB
english, 1976
23

The$\prec$-Order on Submodels

Leo Marcus
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 186 KB
english, 1976
24

An Abstraction Algorithm for Combinatory Logic

S. Kamal Abdali
Journal:
Journal of Symbolic Logic
Year:
1976
File:
PDF, 129 KB
1976
25

A Combinatorial Property of pκλ

Telis K. Menas
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 263 KB
english, 1976
26

Boolean Combinations of R.E. Open Sets

Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 139 KB
english, 1976
27

The Truth about Some Post Numbers

Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 164 KB
english, 1976
30

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 80 KB
english, 1976
32

An intuitiomstic completeness theorem for intuitionistic predicate logic

Veldman, Wim
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 635 KB
english, 1976
33

JSL volume 41 issue 1 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 4.16 MB
english, 1976
34

Boolean combinations of r.e. open sets

Hay, Louise
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 382 KB
english, 1976
35

Semantics of the infinitistic rules of proof

Apt, Krzysztof Rafal
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1.11 MB
english, 1976
36

Minimal upper bounds for ascending sequences of α-recursively enumerable degrees

Chong, C. T.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 925 KB
english, 1976
37

Diversity of speed-ups and embeddability in computational complexity

Alton, Donald A.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1.07 MB
english, 1976
38

One more aspect of forcing and omitting types

Adamowicz, Zofia
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 519 KB
english, 1976
39

An α-finite injury method of the unbounded type

Chong, C. T.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1.12 MB
english, 1976
40

Elementary extensions of countable models of set theory

Hutchinson, John E.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 539 KB
english, 1976
41

Ed-regressive sets of order n

Catlin, Seth
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 562 KB
english, 1976
42

Meeting of the Association for Symbolic Logic, Washington, D.C. 1975

Owinos, James, Putnam, Hilary, Sacks, Gerald
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 845 KB
english, 1976
43

Negative-existentially complete structures and definability in free extensions

Weispfenning, Volker
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1016 KB
english, 1976
44

The truth about some Post numbers

Segerberg, Krister
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 451 KB
english, 1976
45

JSL volume 41 issue 1 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 7.67 MB
english, 1976
46

Completeness properties of heyting's predicate calculus with respect to re models

Gabbay, Dov M.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 923 KB
english, 1976
47

Monotone inductive definitions over the continuum

Cenzer, Douglas
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 772 KB
english, 1976
49

Probabilities on finite models

Fagin, Ronald
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 679 KB
english, 1976
50

A Boolean ultrapower which is not an ultrapower

Koppelberg, Bernd, Koppelberg, Sabine
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 400 KB
english, 1976
51

The ⊰-order on submodels

Marcus, Leo
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 556 KB
english, 1976
52

Omitting types in set theory and arithmetic

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

Selection in abstract recursion theory

Harrington, L. A., Macqueen, D. B.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 501 KB
english, 1976
54

Infinitary compactness without strong inaccessibility

Boos, William
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 508 KB
english, 1976
55

European meeting of the Association for Symbolic Logic, Kiel, 1974

Müller, G. H., Oberschelp, A., Potthoff, K.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1.32 MB
english, 1976
56

Uniform inductive definability and infinitary languages

Nyberg, Anders M.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 882 KB
english, 1976
57

A combinatorial property of p κλ

Menas, Telis K.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 772 KB
english, 1976
58

Applications of vaught sentences and the covering theorem

Harnik, Victor, Makkai, Michael
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 1.11 MB
english, 1976
59

An abstraction algorithm for combinatory logic

Abdali, S. Kamal
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 294 KB
english, 1976
60

Two variable implicational calculi of prescribed many-one degrees of unsolvability

Hughes, Charles E.
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 486 KB
english, 1976
61

On Σ1 well-orderings of the universe

Harrington, Leo, Jech, Thomas
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 383 KB
english, 1976
62

Approximation theorems and model theoretic forcing

Harnik, Victor
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 966 KB
english, 1976
63

Minimal Upper Bounds for Ascending Sequences of α-Recursively Enumerable Degrees

C. T. Chong
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 314 KB
english, 1976
64

An α-Finite Injury Method of the Unbounded Type

C. T. Chong
Journal:
Journal of Symbolic Logic
Year:
1976
Language:
english
File:
PDF, 429 KB
english, 1976