34 found
Order:
Disambiguations
Carol Karp [20]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.  27
    Finite quantifier equivalence.Carol Karp - 1965 - Journal of Symbolic Logic 36 (1):407--412.
  3.  15
    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  
  4.  22
    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.
  5.  13
    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  
  6.  8
    Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors.Carol Karp & D. W. Kueker (eds.) - 1975 - New York: Springer Verlag.
    López-Escobar, E. G. K. Introduction.--Kueker, D. W. Back-and-forth arguments and infinitary logics.--Green, J. Consistency properties for finite quantifier languages.--Cunningham, E. Chain models.--Gregory, J. On a finiteness condition for infinitary languages.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  19
    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  
  8.  10
    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  
  9.  29
    Nonaxiomatizability results for infinitary systems.Carol Karp - 1967 - Journal of Symbolic Logic 32 (3):367-384.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10.  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  
  11.  27
    Twenty-eighth annual meeting of the association for symbolic logic.Carol R. Karp - 1963 - Journal of Symbolic Logic 28 (4):297-308.
  12.  20
    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.
  13.  18
    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.  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  
  15.  12
    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)  
     
    Export citation  
     
    Bookmark  
  16.  21
    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.
  17.  36
    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  
  18.  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.
  19.  10
    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  
  20.  12
    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.
  21. 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.
  22. 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.
  23.  8
    Review: Donald Monk, On the Representation Theory for Cylindric Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  24.  8
    Review: Erwin Engeler, A Reduction-Principle for Infinite Formulas. [REVIEW]Carol Karp - 1968 - Journal of Symbolic Logic 33 (1):123-123.
  25. Review: H. J. Keisler, A Complete First-Order Logic with Infinitary Predicates. [REVIEW]Carol Karp - 1966 - Journal of Symbolic Logic 31 (2):269-269.
  26.  18
    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.
  27. Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  28.  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  
  29.  9
    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  
  30.  13
    Review: R. S. Pierce, A Generalization of Atomic Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
  31.  9
    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.  15
    Review: Walter Felscher, Zur Algebra Unendlich Langer Zeichenreihen. [REVIEW]Carol Karp - 1971 - Journal of Symbolic Logic 36 (1):157-157.
  33.  16
    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.
  34.  16
    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.