Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113.

Ann M. Singleterry

doi:10.2307/2270832

Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113.

Journal of Symbolic Logic ◽

10.2307/2270832 ◽

1967 ◽

Vol 32 (3) ◽

pp. 415-416

Author(s):

Ann M. Singleterry

Keyword(s):

Lattice Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Cylindric Algebras ◽

Alfred Tarski ◽

Pure Mathematics

Chen Chung Chang and Anne C. Morel. Some cancellation theorems for ordinal products of relations. Duke mathematical journal, vol. 27 (1960), pp. 171–181. - Chen Chung Chang. Cardinal and ordinal multiplication of relation types. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 123–128. - C. C. Chang. Ordinal factorization of finite relations. Transactions of the American Mathematical Society, vol. 101 (1961), pp. 259–293.

Journal of Symbolic Logic ◽

10.2307/2270662 ◽

1966 ◽

Vol 31 (1) ◽

pp. 129-130

Author(s):

Ann M. Singleterry

Keyword(s):

Lattice Theory ◽

American Mathematical Society ◽

Mathematical Journal ◽

Mathematical Society ◽

Duke Mathematical Journal ◽

Pure Mathematics

Saharon Shelah. Categoricity of uncountable theories. Proceedings of the Tarski Symposium, An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday, edited by Leon Henkin et al., Proceedings of symposia in pure mathematics, vol. 25, American Mathematical Society, Providence, R.I., 1974, pp. 187–203.

Journal of Symbolic Logic ◽

10.2307/2273235 ◽

1981 ◽

Vol 46 (4) ◽

pp. 866-867

Author(s):

Daniel Lascar

Keyword(s):

International Symposium ◽

American Mathematical Society ◽

Mathematical Society ◽

Seventieth Birthday ◽

Alfred Tarski ◽

Pure Mathematics

Gerald E. Sacks. Forcing with perfect closed sets. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 331–355.

Journal of Symbolic Logic ◽

10.2307/2272651 ◽

1974 ◽

Vol 39 (2) ◽

pp. 330-330

Author(s):

J. R. Shoenfield

Keyword(s):

Rhode Island ◽

Set Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Closed Sets ◽

Sacks Forcing ◽

Pure Mathematics ◽

Axiomatic Set Theory

J. C. E. Dekker. Infinite series of isols. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 77–96.

Journal of Symbolic Logic ◽

10.2307/2269710 ◽

1966 ◽

Vol 31 (4) ◽

pp. 652-652

Author(s):

Kenneth Appel

Keyword(s):

Infinite Series ◽

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics

Griffith Conrad Evans, Ph. D. Professor of pure Mathematics the Rice Institute. The Logarithmic Potential Discontinuous Dirichlet and Neumann Problems. American Mathematical Society Colloquium Publications. Volume VI. American Mathematical Society, New York 1927. VIII + 150 S. Preis 2 $

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19280080119 ◽

1928 ◽

Vol 8 (1) ◽

pp. 79-80

Author(s):

G. Szegö

Keyword(s):

New York ◽

American Mathematical Society ◽

Logarithmic Potential ◽

Mathematical Society ◽

Neumann Problems ◽

Pure Mathematics

John Myhill. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104.

Journal of Symbolic Logic ◽

10.2307/2271401 ◽

1969 ◽

Vol 33 (4) ◽

pp. 619-620

Author(s):

Erik Ellentuck

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics

J. R. Shoenfield. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 131–134.

Journal of Symbolic Logic ◽

10.2307/2270076 ◽

1968 ◽

Vol 33 (1) ◽

pp. 116-116

Author(s):

Ann M. Singleterry

Keyword(s):

Recursive Function ◽

Function Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics

Richard A. Shore. Determining automorphisms of the recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 65 (1977), pp. 318– 325. - Richard A. Shore. The homogeneity conjecture. Proceedings of the National Academy of Sciences of the United States of America, vol. 76 (1979), pp. 4218– 4219. - Richard A. Shore. On homogeneity and definability in the first-order theory of the Turing degrees. The journal of symbolic logic, vol. 47 (1982), pp. 8– 16. - Richard A. Shore. The arithmetic and Turing degrees are not elementarily equivalent. Archiv für mathematische Logik und Grundlagenforschung, vol. 24 (1984), pp. 137– 139. - Richard A. Shore. The structure of the degrees of unsolvabitity. Recursion theory, edited by Anil Nerode and Richard A. Shore, Proceedings of symposia in pure mathematics, vol. 42, American Mathematical Society, Providence1985, pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing degrees. Illinois journal of mathematics, vol. 30 (1986), pp. 320– 334.

Journal of Symbolic Logic ◽

10.2307/2274995 ◽

1990 ◽

Vol 55 (1) ◽

pp. 358-360

Author(s):

Carl Jockusch

Keyword(s):

American Mathematical Society ◽

The United States ◽

Recursion Theory ◽

Order Theory ◽

Mathematical Society ◽

Turing Degrees ◽

National Academy Of Sciences ◽

First Order Theory ◽

Pure Mathematics ◽

Academy Of Sciences

Kenneth Kunen. Indescribability and the continuum. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 199–203.

Journal of Symbolic Logic ◽

10.2307/2271852 ◽

1975 ◽

Vol 40 (4) ◽

pp. 632-632

Author(s):

Stephen J. Garland

Keyword(s):

Rhode Island ◽

Set Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Pure Mathematics ◽

Axiomatic Set Theory ◽

The Continuum

Abraham Robinson. On the application of symbolic logic to algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 686–694. - Alfred Tarski. Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence1952, Vol. I, pp. 705–720.

Journal of Symbolic Logic ◽

10.2307/2268962 ◽

1953 ◽

Vol 18 (2) ◽

pp. 182-182 ◽

Cited By ~ 1

Author(s):

H. E. Vaughan

Keyword(s):

American Mathematical Society ◽

International Congress ◽

Mathematical Society ◽

Symbolic Logic ◽

Alfred Tarski