M. O. Rabin. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.

Journal of Symbolic Logic ◽

10.2307/2270825 ◽

1967 ◽

Vol 32 (3) ◽

pp. 412-413

Author(s):

B. H. Mayoh

Keyword(s):

General Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Algebraic Systems ◽

Cornell University ◽

Research Division

Download Full-text

Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 139–140.

Journal of Symbolic Logic ◽

10.2307/2269725 ◽

1966 ◽

Vol 31 (4) ◽

pp. 659-660

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division

Download Full-text

E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 (1959), pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 (1959), pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 (1959), pp. 287–299.

Journal of Symbolic Logic ◽

10.2307/2270217 ◽

1968 ◽

Vol 32 (4) ◽

pp. 533-534

Author(s):

Thomas Frayne

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Subdirect Products ◽

Algebraic Constructions

Download Full-text

J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 (1960), pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 (1958), pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 (1958), pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 (1958), pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 (1960). pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200.

Journal of Symbolic Logic ◽

10.2307/2963565 ◽

1960 ◽

Vol 25 (4) ◽

pp. 356-359

Author(s):

Donald L. Kreider

Keyword(s):

American Mathematical Society ◽

University Of California ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Factorial Function

Download Full-text

C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 (1959), pp. 74–80.

Journal of Symbolic Logic ◽

10.2307/2271548 ◽

1971 ◽

Vol 36 (1) ◽

pp. 159-160

Author(s):

Alfred Horn

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Algebraic Analysis ◽

Research Division

Download Full-text

Simon Kochen. Completeness of algebraic systems in higher order calculi. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 370–376.

Journal of Symbolic Logic ◽

10.2307/2963713 ◽

1962 ◽

Vol 27 (1) ◽

pp. 97-97

Author(s):

R. L. Vaught

Keyword(s):

Higher Order ◽

Symbolic Logic ◽

Summer Institute ◽

Algebraic Systems ◽

Cornell University ◽

Research Division

Download Full-text

Hao Wang. Symbolic representations of calculating machines. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 181–188.

Journal of Symbolic Logic ◽

10.2307/2963725 ◽

1962 ◽

Vol 27 (1) ◽

pp. 103-103

Author(s):

C. C. Elgot

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Symbolic Representations ◽

Research Division

Download Full-text

R. L. Vaught. Sentences true in all constructive models. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 39–53.

Journal of Symbolic Logic ◽

10.2307/2270666 ◽

1966 ◽

Vol 31 (1) ◽

pp. 132-132

Author(s):

S. Feferman

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Constructive Models

Download Full-text

P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 309–312.

Journal of Symbolic Logic ◽

10.2307/2272453 ◽

1972 ◽

Vol 37 (4) ◽

pp. 766-767

Author(s):

Bede Rundle

Keyword(s):

Predicate Calculus ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Download Full-text

R. M. Friedberg. The fine structure of degrees of unsolvability of recursively enumerable sets. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 404–406.

Journal of Symbolic Logic ◽

10.2307/2271602 ◽

1963 ◽

Vol 28 (2) ◽

pp. 166-166 ◽

Author(s):

Gerald E. Sacks

Keyword(s):

Fine Structure ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Recursively Enumerable ◽

Recursively Enumerable Sets ◽

Degrees Of Unsolvability

Download Full-text

G. Kreisel. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133. - G. Kreisel. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302. - Georg Kreisel. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 101–128.

Journal of Symbolic Logic ◽

10.2307/2271570 ◽

1971 ◽

Vol 36 (1) ◽

pp. 169-171

Author(s):

D. van Dalen

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

Summer Institute ◽

North Holland Publishing Company ◽

Cornell University ◽

Research Division ◽

North Holland Publishing

Download Full-text