Edit Profile (opens in new tab) Plotkin, J. M. Co-Author Distance Author ID: plotkin.j-m Published as: Plotkin, J. M. Documents Indexed: 20 Publications since 1969 1 Contribution as Editor Reviewing Activity: 326 Reviews Co-Authors: 7 Co-Authors with 15 Joint Publications 109 Co-Co-Authors all top 5 Co-Authors 5 single-authored 6 Rosenthal, John W. 5 Hickin, Kenneth Keller 2 Franco, John V. 2 Phillips, Richard E. 1 Baldwin, John T. 1 Garavaglia, Steven 1 Hausdorff, Felix 1 Metakides, George all top 5 Serials 2 Israel Journal of Mathematics 2 Colloquium Mathematicum 2 The Journal of Symbolic Logic 2 Notre Dame Journal of Formal Logic 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Journal of the Australian Mathematical Society. Series A 1 Discrete Applied Mathematics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Fundamenta Mathematicae 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Journal of Logic and Computation 1 History of Mathematics (Providence) all top 5 Fields 13 Mathematical logic and foundations (03-XX) 6 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 Combinatorics (05-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 2 Computer science (68-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 32 times in 29 Documents Cited by ▼ Year ▼ Hausdorff on ordered sets. Translated from the German and edited by J. M. Plotkin. Zbl 1081.01025 Hausdorff, Felix 5 2005 Generic embedding. Zbl 0182.32901 Plotkin, J. M. 4 1969 Correction to “Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem”. Zbl 0617.68046 Franco, John; Plotkin, J. M.; Rosenthal, John W. 4 1987 How to obtain an asymptotic expansion of a sequence from an analytic identity satisfied by its generating function. Zbl 0795.05002 Plotkin, J. M.; Rosenthal, John W. 4 1994 ZF and locally finite groups. Zbl 0468.03037 Plotkin, J. M. 3 1981 A topology for the space of countable models of a first order theory. Zbl 0327.02043 Baldwin, J. T.; Plotkin, J. M. 3 1974 The probability of pure literals. Zbl 0935.68050 Rosenthal, John W.; Plotkin, J. M.; Franco, John 3 1999 Boolean powers: direct decomposition and isomorphism types. Zbl 0466.20011 Hickin, Kenneth; Plotkin, J. M. 2 1981 Who put the “back” in back-and-forth? Zbl 0856.01018 Plotkin, J. M. 2 1993 On the equivalence of three local theorem techniques. Zbl 0258.20038 Hickin, K. K.; Plotkin, J. M. 2 1972 A patching lemma. Zbl 0305.02072 Hickin, K. K.; Plotkin, J. M. 2 1976 Separation properties and Boolean powers. Zbl 0595.03027 Garavaglia, Steven; Plotkin, J. M. 1 1984 The expected complexity of analytic tableaux analyses in propositional calculus. Zbl 0494.03006 Plotkin, J. M.; Rosenthal, John W. 1 1982 ZF and Boolean algebra. Zbl 0363.02065 Plotkin, J. M. 1 1976 Hausdorff on ordered sets. Translated from the German and edited by J. M. Plotkin. Zbl 1081.01025 Hausdorff, Felix 5 2005 The probability of pure literals. Zbl 0935.68050 Rosenthal, John W.; Plotkin, J. M.; Franco, John 3 1999 How to obtain an asymptotic expansion of a sequence from an analytic identity satisfied by its generating function. Zbl 0795.05002 Plotkin, J. M.; Rosenthal, John W. 4 1994 Who put the “back” in back-and-forth? Zbl 0856.01018 Plotkin, J. M. 2 1993 Correction to “Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem”. Zbl 0617.68046 Franco, John; Plotkin, J. M.; Rosenthal, John W. 4 1987 Separation properties and Boolean powers. Zbl 0595.03027 Garavaglia, Steven; Plotkin, J. M. 1 1984 The expected complexity of analytic tableaux analyses in propositional calculus. Zbl 0494.03006 Plotkin, J. M.; Rosenthal, John W. 1 1982 ZF and locally finite groups. Zbl 0468.03037 Plotkin, J. M. 3 1981 Boolean powers: direct decomposition and isomorphism types. Zbl 0466.20011 Hickin, Kenneth; Plotkin, J. M. 2 1981 A patching lemma. Zbl 0305.02072 Hickin, K. K.; Plotkin, J. M. 2 1976 ZF and Boolean algebra. Zbl 0363.02065 Plotkin, J. M. 1 1976 A topology for the space of countable models of a first order theory. Zbl 0327.02043 Baldwin, J. T.; Plotkin, J. M. 3 1974 On the equivalence of three local theorem techniques. Zbl 0258.20038 Hickin, K. K.; Plotkin, J. M. 2 1972 Generic embedding. Zbl 0182.32901 Plotkin, J. M. 4 1969 all cited Publications top 5 cited Publications all top 5 Cited by 38 Authors 3 Franco, John V. 2 Baldwin, John T. 2 Milliet, Cédric 2 Sudoplatov, Sergeĭ Vladimirovich 1 Apps, A. B. 1 Ardila, Federico 1 Balcázar, José Luis 1 Barringer, Howard 1 Bartha, Ferenc Ágoston 1 Bezhanishvili, Nick 1 Bielas, Wojciech 1 Bifet, Albert 1 Brunner, Norbert 1 de Witt, Bill 1 Dequen, Gilles 1 Dubois, Olivier 1 Ho, Yuan Chuan 1 Hodges, Wilfrid 1 Holliday, Wesley H. 1 Karagila, Asaf 1 Krupiński, Krzysztof 1 Lozano, Antoni 1 Maneva, Elitza N. 1 Munthe-Kaas, Hans Z. 1 Pignolet, Yvonne-Anne 1 Plewik, Szymon 1 Plotkin, Boris 1 Plotkin, J. M. 1 Rosenstein, Joseph G. 1 Rosenthal, John W. 1 Ruškuc, Nik 1 Samhan, Marouf A. 1 Schmid, Stefan 1 Schweber, Noah David 1 Shi, Weijun 1 Shin, Sug Woo 1 Trédan, Gilles 1 Walczyńska, Marta all top 5 Cited in 23 Serials 2 Discrete Applied Mathematics 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Journal of Algebra 2 The Journal of Symbolic Logic 2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 2 European Journal of Mathematics 1 Acta Informatica 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Discrete Mathematics 1 Israel Journal of Mathematics 1 Algebra Universalis 1 Proceedings of the American Mathematical Society 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Machine Learning 1 International Journal of Algebra and Computation 1 Distributed Computing 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 Discrete and Continuous Dynamical Systems 1 Annals of Mathematics. Second Series 1 Logicheskie Issledovaniya all top 5 Cited in 16 Fields 17 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 5 Group theory and generalizations (20-XX) 3 General algebraic systems (08-XX) 3 Number theory (11-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Algebraic geometry (14-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year