Edit Profile (opens in new tab) Karp, Carol Ruth Compute Distance To: Compute Author ID: karp.carol-r Published as: Karp, Carol; Karp, Carol R.; Karp, C. R.; Karp, C. more...less Further Spellings: Van der Velde, Carol External Links: Women in Mathematics · MacTutor · MGP · Wikidata · GND · IdRef Documents Indexed: 9 Publications since 1963, including 1 Book Biographic References: 1 Publication Co-Authors: 1 Co-Author with 1 Joint Publication Co-Authors 8 single-authored 1 Jense, Ronald B. Serials 2 The Journal of Symbolic Logic 1 Proceedings of the American Mathematical Society Fields 4 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 97 times in 94 Documents Cited by ▼ Year ▼ Languages with expressions of infinite length. Zbl 0127.00901Karp, C. R. 79 1964 Infinite-quantifier languages and \(\omega\)-chains of models. Zbl 0308.02016Karp, Carol 9 1974 Finite-quantifier equivalence. Zbl 0253.02052Karp, Carol R. 3 1965 Primitive recursive set functions. Zbl 0221.02027Jense, Ronald B.; Karp, Carol 2 1971 A note on the representation of \(\alpha\)-complete Boolean algebras. Zbl 0116.01601Karp, C. R. 2 1963 Nonaxiomatizability results for infinitary systems. Zbl 0203.01001Karp, C. 1 1967 Independence proofs in predicate logic with infinitely long expressions. Zbl 0114.24503Karp, Carol R. 1 1963 Infinite-quantifier languages and \(\omega\)-chains of models. Zbl 0308.02016Karp, Carol 9 1974 Primitive recursive set functions. Zbl 0221.02027Jense, Ronald B.; Karp, Carol 2 1971 Nonaxiomatizability results for infinitary systems. Zbl 0203.01001Karp, C. 1 1967 Finite-quantifier equivalence. Zbl 0253.02052Karp, Carol R. 3 1965 Languages with expressions of infinite length. Zbl 0127.00901Karp, C. R. 79 1964 A note on the representation of \(\alpha\)-complete Boolean algebras. Zbl 0116.01601Karp, C. R. 2 1963 Independence proofs in predicate logic with infinitely long expressions. Zbl 0114.24503Karp, Carol R. 1 1963 all cited Publications top 5 cited Publications all top 5 Cited by 119 Authors 7 Ferro, Ruggero 3 Britz, Katarina 3 Kaneko, Mamoru 3 Väänänen, Jouko Antero 2 Barwise, Kenneth Jon 2 Carl, Merlin 2 Ellentuck, Erik 2 Espíndola, Christian 2 Feferman, Solomon 2 Friedman, Sy-David 2 Harrison, Amelia 2 Heidema, Johannes 2 Heifetz, Aviad 2 Hyttinen, Tapani 2 Knight, Julia F. 2 Kreisel, Georg 2 Lifschitz, Vladimir 2 Sgro, Joseph 2 Varzinczak, Ivan Jóse 1 Back, Ralph-Johan 1 Badia, Guillermo 1 Baratella, Stefano 1 Baumgartner, James Earl 1 Benda, Miroslav 1 Berghammer, Rudolf 1 Blass, Andreas Raphael 1 Bonnay, Denis 1 Bukovský, Lev 1 Burmeister, Peter 1 Cabalar, Pedro 1 Cherlin, Gregory L. 1 Cīrulis, Jānis 1 Compton, Kevin J. 1 Czelakowski, Janusz 1 de Caro, Francesco 1 Diéguez, Martín 1 Eklof, Paul C. 1 Elbl, Birgit 1 Engeler, Erwin 1 Engström, Fredrik 1 Fattorosi-Barnaba, Maurizio 1 Ferenczi, Miklós 1 Fleischer, Isidore 1 Friggens, David 1 Fritz, Peter 1 Fuchino, Sakaé 1 Fuhrken, Gebhard 1 Gavalec, Martin 1 Göbel, Rüdiger 1 Goldblatt, Robert Ian 1 Goncharov, Sergeĭ Savost’yanovich 1 Goodman, Jeremy 1 Grattan-Guinness, Ivor 1 Hacking, Ian 1 Harizanov, Valentina S. 1 Hu, Tai-Wei 1 Ikodinović, Nebojša 1 Johnson, Jesse Werth 1 Keisler, Howard Jerome 1 Kelly, Kevin T. 1 Kennedy, Juliette Cara 1 Kulikov, Vadim 1 Kunen, Kenneth 1 Labuschagne, Willem Adrian 1 Leistner, Katrin 1 Lin, Hanti 1 Loth, Peter 1 Löwe, Benedikt 1 Makkai, Michael 1 Malinowski, Grzegorz 1 Malitz, Jerome I. 1 Mansfield, Richard 1 Marek, V. Wiktor 1 Mateus, Paulo C. 1 McCoy, Charles F. D. 1 Meier, Martin 1 Metakides, George 1 Middelburg, Cornelis A. 1 Miller, Russell G. 1 Mytropol’skyĭ, Yuriĭ Oleksiĭovych 1 Morley, D. M. 1 Nagashima, Takashi 1 Nebres, Bienvenido F. 1 Nešetřil, Jaroslav 1 Ocasio, Victor A. 1 Ognjanović, Zoran 1 Olin, Philip 1 Ossona de Mendez, Patrice 1 Perović, Aleksandar 1 Pinus, Aleksandr Georgievich 1 Preller, Anne 1 Rasiowa, Helena 1 Rašković, Miodrag D. 1 Remmel, Jeffrey B. 1 Reyes, Gonzalo E. 1 Rin, Benjamin G. 1 Romov, Boris A. 1 Sabbagh, Gabriel 1 Sakai, Hiroshi 1 Sannella, Donald T. ...and 19 more Authors all top 5 Cited in 38 Serials 20 The Journal of Symbolic Logic 8 Rendiconti del Seminario Matematico della Università di Padova 6 Studia Logica 4 Israel Journal of Mathematics 4 Theoretical Computer Science 4 Annals of Pure and Applied Logic 3 Journal of Philosophical Logic 3 Notre Dame Journal of Formal Logic 3 Synthese 3 Mathematical Logic Quarterly (MLQ) 3 Theory and Practice of Logic Programming 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Algebra and Logic 2 Transactions of the American Mathematical Society 2 The Review of Symbolic Logic 1 Acta Informatica 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Ukrainian Mathematical Journal 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Algebra Universalis 1 Czechoslovak Mathematical Journal 1 Journal of Computer and System Sciences 1 Mathematische Annalen 1 Memoirs of the American Mathematical Society 1 Proceedings of the American Mathematical Society 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Information and Computation 1 Formal Aspects of Computing 1 Historia Mathematica 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 The Electronic Journal of Combinatorics 1 The Bulletin of Symbolic Logic 1 Bulletin of the American Mathematical Society 1 Matematický Časopis, Slovenskej Akadémie Vied 1 Logica Universalis 1 Journal of Commutative Algebra all top 5 Cited in 14 Fields 82 Mathematical logic and foundations (03-XX) 14 Computer science (68-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 General algebraic systems (08-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Category theory; homological algebra (18-XX) 2 History and biography (01-XX) 2 Group theory and generalizations (20-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Topological groups, Lie groups (22-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.