33 found
Order:
Disambiguations
Carol R. Karp [22]Carol Karp [19]Carol Ruth Karp [1]
  1.  13
    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   25 citations  
  2.  15
    Finite Quantifier Equivalence.Carol Karp - 1965 - In J. W. Addison (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 407--412.
  3.  29
    H. Jerome Keisler. Finite Approximations of Infinitely Long Formulas. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 158–169. - H. Jerome Keisler. Some Applications of Infinitely Long Formulas. The Journal of Symbolic Logic, Vol. 30 , Pp. 339–349. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    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.
  5.  15
    Akiko Kino. On Definability of Ordinals in Logic with Infinitely Long Expressions. The Journal of Symbolic Logic, Vol. 31 , Pp. 365–375. - Akiko Kino. Correction to a Paper on Definability of Ordinals in Infinite Logic. The Journal of Symbolic Logic, Vol. 32 , Pp. 343–344.Carol Karp - 1970 - Journal of Symbolic Logic 35 (2):341.
  6.  13
    Takeuti Gaisi. A Formalization of the Theory of Ordinal Numbers. Proceedings of the Symposium on the Foundations of Mathematics, Held at Katada, Japan, 1962, Sponsored Jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, Pp. 65–97.Takeuti Gaisi. A Formalization of the Theory of Ordinal Numbers. [REVIEW]Carol Karp - 1972 - Journal of Symbolic Logic 37 (1):192-193.
  7.  11
    S. Feferman and R. L. Vaught. The First Order Properties of Products of Algebraic Systems. Fundamenta Mathematicae, Vol, 47 , Pp. 57–103. [REVIEW]Carol Karp - 1967 - Journal of Symbolic Logic 32 (2):276.
  8.  7
    Erwin Engeler. A Reduction-Principle for Infinite Formulas. Mathematische Annalen, Vol. 151 , Pp. 296–301.Carol Karp - 1968 - Journal of Symbolic Logic 33 (1):123.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    An Algebraic Proof of the Barwise Compactness Theorem.Carol Karp & Jon Barwise - 1974 - Journal of Symbolic Logic 39 (2):335-335.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  22
    Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.Carol R. Karp - 1963 - Journal of Symbolic Logic 28 (4):297-308.
  11.  16
    Review: H. Jerome Keisler, J. W. Addison, Leon Henkin, Alfred Tarski, Finite Approximations of Infinitely Long Formulas; H. Jerome Keisler, Some Applications of Infinitely Long Formulas. [REVIEW]Carol Karp - 1969 - Journal of Symbolic Logic 34 (1):129-130.
  12.  11
    Felscher Walter. Zur Algebra unendlich longer Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 5–16. [REVIEW]Carol Karp - 1971 - Journal of Symbolic Logic 36 (1):157-157.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  9
    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  
  14.  22
    Nonaxiomatizability Results for Infinitary Systems.Carol Karp - 1967 - Journal of Symbolic Logic 32 (3):367-384.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    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  
  16.  7
    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  
  17.  7
    Keisler H. J.. A Complete First-Order Logic with Infinitary Predicates. Fundamenta Mathematicae, Vol. 52 , Pp. 177–203.Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    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.
  19.  8
    Review: R. S. Pierce, A Generalization of Atomic Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
  20.  6
    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  
  21.  8
    Review: Walter Felscher, Zur Algebra Unendlich Langer Zeichenreihen. [REVIEW]Carol Karp - 1971 - Journal of Symbolic Logic 36 (1):157-157.
  22.  6
    Review: Donald Monk, On the Representation Theory for Cylindric Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  23.  6
    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  
  24.  5
    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  
  25.  7
    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.
  26.  6
    Review: Akiko Kino, On Definability of Ordinals in Logic with Infinitely Long Expressions; Akiko Kino, Correction to a Paper on Definability of Ordinals in Infinite Logic. [REVIEW]Carol Karp - 1970 - Journal of Symbolic Logic 35 (2):341-341.
  27.  5
    Review: Erwin Engeler, A Reduction-Principle for Infinite Formulas. [REVIEW]Carol Karp - 1968 - Journal of Symbolic Logic 33 (1):123-123.
  28. 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.
  29.  5
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. 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.
  31.  4
    Review: S. Feferman, R. L. Vaught, The First Order Properties of Products of Algebraic Systems. [REVIEW]Carol Karp - 1967 - Journal of Symbolic Logic 32 (2):276-276.
  32. Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates. [REVIEW]Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
  33. Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.