13629 results in The Journal of Symbolic Logic
Selection in abstract recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-158
- Print publication:
- March 1976
-
- Article
- Export citation
The truth about some Post numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-244
- Print publication:
- March 1976
-
- Article
- Export citation
A Boolean ultrapower which is not an ultrapower
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-249
- Print publication:
- March 1976
-
- Article
- Export citation
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 18-24
- Print publication:
- March 1976
-
- Article
- Export citation
JSL volume 41 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1976
-
- Article
-
- You have access
- Export citation
Probabilities on finite models1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-58
- Print publication:
- March 1976
-
- Article
- Export citation
Approximation theorems and model theoretic forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-72
- Print publication:
- March 1976
-
- Article
- Export citation
A reduction class containing formulas with one monadic predicate and one binary function symbol
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-49
- Print publication:
- March 1976
-
- Article
- Export citation
The ⊰-order on submodels
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-221
- Print publication:
- March 1976
-
- Article
- Export citation
An intuitiomstic completeness theorem for intuitionistic predicate logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-166
- Print publication:
- March 1976
-
- Article
- Export citation
Infinitary compactness without strong inaccessibility1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-38
- Print publication:
- March 1976
-
- Article
- Export citation
Two variable implicational calculi of prescribed many-one degrees of unsolvability
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-44
- Print publication:
- March 1976
-
- Article
- Export citation
On Σ1 well-orderings of the universe
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-170
- Print publication:
- March 1976
-
- Article
- Export citation
H. A. Nielsen. Antinomy. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 621-623.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 595
- Print publication:
- December 1975
-
- Article
- Export citation
Richard M. Karp. Reducibility among combinatorial problems. Complexity of computer computations, Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Center, Yorktown Heights, New York, edited by Raymond E. Miller and James W. Thatcher, Plenum Press, New York and London 1972, pp. 85–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
- Print publication:
- December 1975
-
- Article
- Export citation
H. B. Enderton. The unique existential quantifier. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 52–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- December 1975
-
- Article
- Export citation
I. Thomas. Logic, history of. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 958–962.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 596-597
- Print publication:
- December 1975
-
- Article
- Export citation
Michael Morley. Countable models of ℵ1-categorical theories. Israel journal of mathematics, vol. 5 (1967), pp. 65–72. - J. T. Baldwin and A. H. Lachlan. On strongly minimal sets. The journal of symbolic logic, vol. 36 (1971),pp. 79–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-637
- Print publication:
- December 1975
-
- Article
- Export citation
Frieder Schwenkel. Rekursive Wortfunktionen über unendlichen Alphabeten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 133–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-622
- Print publication:
- December 1975
-
- Article
- Export citation
K. Kuratowski and A. Mostowski. Set theory. English translation of XL 649(4) by M. Maczynski. PWN—Polish Scientific Publishers, Warsaw, and North-Holland Publishing Company, Amsterdam, 1968, xi + 417 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 629-630
- Print publication:
- December 1975
-
- Article
- Export citation