13629 results in The Journal of Symbolic Logic
Relative consistency of an extension of Ackermann's set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-466
- Print publication:
- June 1976
-
- Article
- Export citation
Ed-regressive sets of order n
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-152
- Print publication:
- March 1976
-
- Article
- Export citation
European meeting of the Association for Symbolic Logic, Kiel, 1974
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-278
- Print publication:
- March 1976
-
- Article
- Export citation
Elementary extensions of countable models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-145
- Print publication:
- March 1976
-
- Article
- Export citation
Uniform inductive definability and infinitary languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-120
- Print publication:
- March 1976
-
- Article
- Export citation
Completeness properties of heyting's predicate calculus with respect to re models
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-94
- Print publication:
- March 1976
-
- Article
- Export citation
Minimal upper bounds for ascending sequences of α-recursively enumerable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-260
- Print publication:
- March 1976
-
- Article
- Export citation
Semantics of the infinitistic rules of proof
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-138
- Print publication:
- March 1976
-
- Article
- Export citation
Monotone inductive definitions over the continuum
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-198
- Print publication:
- March 1976
-
- Article
- Export citation
JSL volume 41 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1976
-
- Article
-
- You have access
- Export citation
An α-finite injury method of the unbounded type1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-17
- Print publication:
- March 1976
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Washington, D.C. 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-288
- Print publication:
- March 1976
-
- Article
- Export citation
Boolean combinations of r.e. open sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-238
- Print publication:
- March 1976
-
- Article
- Export citation
An abstraction algorithm for combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
- Print publication:
- March 1976
-
- Article
- Export citation
Omitting types in set theory and arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 25-32
- Print publication:
- March 1976
-
- Article
- Export citation
Applications of vaught sentences and the covering theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-187
- Print publication:
- March 1976
-
- Article
- Export citation
One more aspect of forcing and omitting types
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-80
- Print publication:
- March 1976
-
- Article
- Export citation
Diversity of speed-ups and embeddability in computational complexity1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-214
- Print publication:
- March 1976
-
- Article
- Export citation
A combinatorial property of p κλ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-234
- Print publication:
- March 1976
-
- Article
- Export citation
Negative-existentially complete structures and definability in free extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-108
- Print publication:
- March 1976
-
- Article
- Export citation