17 found
Order:
Disambiguations
Carol R. Karp [20]Carol Ruth Karp [1]
  1.  48
    Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  2.  21
    Independence proofs in predicate logic with infinitely long expressions.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):171-188.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Pierce R. S.. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 , pp. 175–182.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  27
    Twenty-eighth annual meeting of the association for symbolic logic.Carol R. Karp - 1963 - Journal of Symbolic Logic 28 (4):297-308.
  5.  21
    Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56.
  6.  21
    Bernays Paul. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 1–14. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Chang C. C.. On the representation of α-complete Boolean algebras. Transactions of the American Mathematical Society, vol. 85 , pp. 208–218. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  9
    Monk Donald. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 , pp. 1447–1457. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  9.  12
    Pierce R. S.. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 , pp. 42–50. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Review: Abraham Robinson, Introduction to Model Theory and the Metamathematics of Algebra. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56-56.
  11. Review: C. C. Chang, On the Representation of $alpha$-Complete Boolean Algebras. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.
  12.  8
    Review: Donald Monk, On the Representation Theory for Cylindric Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  13. Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  14.  11
    Review: Paul Bernays, Uber eine Naturliche Erweiterung des Relationenkalkuls. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  11
    Review: R. S. Pierce, Representation Theorems for Certain Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  13
    Review: R. S. Pierce, A Generalization of Atomic Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
  17.  18
    Słomiński J.. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.