Edit Profile (opens in new tab) Boolos, George S. Co-Author Distance Author ID: boolos.george-s.1 Published as: Boolos, George; Boolos, George S.; Boolos, G.; Boolos, G. S. more...less Documents Indexed: 77 Publications since 1968, including 8 Books 1 Contribution as Editor · 1 Further Contribution Biographic References: 7 Publications Co-Authors: 11 Co-Authors with 13 Joint Publications 203 Co-Co-Authors all top 5 Co-Authors 66 single-authored 5 Jeffrey, Richard C. 3 Burgess, John P. 2 Heck, Richard Kimberly 2 Putnam, Hilary Whitehall 2 Sambin, Giovanni 1 Artemov, Sergei 1 Ayer, A. J. 1 Benacerraf, Paul 1 Bernays, Paul 1 Brouwer, Luitzen Egbertus Jan 1 Carnap, Rudolf 1 Curry, Haskell Brooks 1 Dummett, Michael Anthony Eardley 1 Engeler, Erwin 1 Feferman, Solomon 1 Frege, Gottlob 1 Gödel, Kurt 1 Hempel, Carl Gustav 1 Heyting, Arend 1 Hilbert, David 1 Jäger, Gerhard 1 Kreisel, Georg 1 McGee, Vann 1 Poincaré, Henri 1 Quine, Willard Van Orman 1 Russell, Bertrand 1 Visser, Albert 1 von Neumann, John 1 Wang, Hao all top 5 Serials 7 The Journal of Symbolic Logic 5 Journal of Philosophical Logic 4 Notre Dame Journal of Formal Logic 2 Studia Logica 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 Annals of Pure and Applied Logic 1 American Mathematical Monthly 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Fundamenta Mathematicae 1 Theoria 1 The Bulletin of Symbolic Logic 1 La Gaceta de la Real Sociedad Matemática Española 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Bulletin of the Section of Logic 1 Nôus Fields 77 Mathematical logic and foundations (03-XX) 21 History and biography (01-XX) 7 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 58 Publications have been cited 775 times in 605 Documents Cited by ▼ Year ▼ The logic of provability. Zbl 0891.03004 Boolos, George 168 1993 The unprovability of consistency. An essay in modal logic. Zbl 0409.03009 Boolos, George 72 1979 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 Computability and logic. 5th ed. Zbl 1154.03001 Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. 55 2007 Logic, logic, and logic. With introductions and an afterword by John P. Burgess. Edited by Richard Jeffrey. Zbl 0955.03008 Boolos, George 41 1998 Computability and logic. Zbl 0298.02003 Boolos, George; Jeffrey, Richard 41 1974 Nominalist Platonism. Zbl 0972.03514 Boolos, George 37 1998 Computability and logic. 4th ed. Zbl 1014.03001 Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. 32 2002 Computability and logic. 3rd ed. Zbl 0708.03001 Boolos, George S.; Jeffrey, Richard C. 31 1989 Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701 Boolos, G.; Putnam, H. 23 1968 Don’t eliminate cut. Zbl 0564.03005 Boolos, George 16 1984 On systems of modal logic with provability interpretations. Zbl 0473.03010 Boolos, George 14 1981 Provability: The emergence of a mathematical modality. Zbl 0742.03003 Boolos, George; Sambin, Giovanni 14 1991 Is Hume’s principle analytic? Zbl 0938.03506 Boolos, George 13 1997 A new proof of the Gödel incompleteness theorem. Zbl 0972.03544 Boolos, George 11 1998 The degree of the set of sentences of predicate provability logic that are true under every interpretation. Zbl 0632.03016 Boolos, George; McGee, Vann 10 1987 To be is to be a value of a variable (or to be some values of some variables). Zbl 0972.03535 Boolos, George 10 1998 An incomplete system of modal logic. Zbl 0589.03005 Boolos, George; Sambin, Giovanni 9 1985 Provability, truth, and modal logic. Zbl 0426.03024 Boolos, George 9 1980 On second-order logic. Zbl 0972.03525 Boolos, George 9 1998 Extremely undecidable sentences. Zbl 0485.03003 Boolos, George 8 1982 The logic of provability. Zbl 0562.03007 Boolos, George 8 1984 Iteration again. Zbl 0972.03511 Boolos, George 8 1998 Saving Frege from contradiction. Zbl 0972.03502 Boolos, George 8 1998 The iterative conception of set. Zbl 0972.03539 Boolos, George 8 1998 A curious inference. Zbl 0623.03054 Boolos, George 7 1987 The consistency of Frege’s Foundations of arithmetic. Zbl 0972.03503 Boolos, George 7 1998 On the semantics of the constructible levels. Zbl 0164.31502 Boolos, G. 7 1970 Whence the contradiction? Zbl 0961.03529 Boolos, George 6 1996 Constructing Cantorian counterexamples. Zbl 0877.04001 Boolos, George 6 1997 The consistency of Frege’s Foundations of arithmetic. Zbl 0900.03062 Boolos, George 6 1995 Trees and finite satisfiability: proof of a conjecture of Burgess. Zbl 0561.03004 Boolos, George 5 1984 Saving Frege from contradiction. Zbl 0900.03021 Boolos, George 5 1995 Must we believe in set theory? Zbl 0972.03513 Boolos, George 5 1998 The standard of equality of numbers. Zbl 0972.03504 Boolos, George 5 1998 Omega-consistency and the diamond. Zbl 0464.03049 Boolos, George 4 1980 On deciding the truth of certain statements involving the notion of consistency. Zbl 0359.02050 Boolos, George 4 1977 Provability in arithmetic and a schema of Grzegorczyk. Zbl 0438.03021 Boolos, George 4 1980 Reading the Begriffsschrift. Zbl 0900.03020 Boolos, George 4 1995 Frege’s theorem and the Peano postulates. Zbl 0838.03041 Boolos, George 4 1995 Whence the contradiction? Zbl 0972.03505 Boolos, George 4 1998 Die Grundlagen der Arithmetik, §§82–83. Zbl 0972.03510 Boolos, George; Heck, Richard G. jun. 4 1998 The analytical completeness of Dzhaparidze’s polymodal logics. Zbl 0783.03006 Boolos, George 3 1993 Reflection principles and iterated consistency assertions. Zbl 0409.03010 Boolos, George 3 1979 The standard of equality of numbers. Zbl 0900.03004 Boolos, George 3 1995 Reading the Begriffsschrift. Zbl 0972.03501 Boolos, George 3 1998 Is Hume’s principle analytic? Zbl 0972.03509 Boolos, George 3 1998 The unprovability of consistency. An essay in modal logic. Reprint of the 1979 hardback ed. Zbl 1156.03001 Boolos, George 2 2009 Reply to Charles Parsons’ “Sets and classes”. Zbl 0972.03538 Boolos, George 2 1998 Gottlob Frege and the foundations of arithmetic. Zbl 0972.03500 Boolos, George 2 1998 On the proof of Frege’s theorem. Zbl 0972.03548 Boolos, George 2 1998 Quotational ambiguity. Zbl 0972.03516 Boolos, George 2 1998 Die Grundlagen der Arithmetik, §§82–3. Zbl 0935.03008 Boolos, George; Heck, Richard G. jun. 2 1998 Must we believe in set theory? Zbl 0991.03007 Boolos, George 2 2000 Zooming down the slippery slope. Zbl 1366.03026 Boolos, George 1 1991 Frege’s theorem and the Peano postulates. Zbl 0972.03545 Boolos, George 1 1998 Zooming down the slippery slope. Zbl 0972.03521 Boolos, George 1 1998 Gödel’s second incompleteness theorem explaind in words of one syllable. Zbl 0972.03546 Boolos, George 1 1998 The unprovability of consistency. An essay in modal logic. Reprint of the 1979 hardback ed. Zbl 1156.03001 Boolos, George 2 2009 Computability and logic. 5th ed. Zbl 1154.03001 Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. 55 2007 Computability and logic. 4th ed. Zbl 1014.03001 Boolos, George S.; Burgess, John P.; Jeffrey, Richard C. 32 2002 Must we believe in set theory? Zbl 0991.03007 Boolos, George 2 2000 Logic, logic, and logic. With introductions and an afterword by John P. Burgess. Edited by Richard Jeffrey. Zbl 0955.03008 Boolos, George 41 1998 Nominalist Platonism. Zbl 0972.03514 Boolos, George 37 1998 A new proof of the Gödel incompleteness theorem. Zbl 0972.03544 Boolos, George 11 1998 To be is to be a value of a variable (or to be some values of some variables). Zbl 0972.03535 Boolos, George 10 1998 On second-order logic. Zbl 0972.03525 Boolos, George 9 1998 Iteration again. Zbl 0972.03511 Boolos, George 8 1998 Saving Frege from contradiction. Zbl 0972.03502 Boolos, George 8 1998 The iterative conception of set. Zbl 0972.03539 Boolos, George 8 1998 The consistency of Frege’s Foundations of arithmetic. Zbl 0972.03503 Boolos, George 7 1998 Must we believe in set theory? Zbl 0972.03513 Boolos, George 5 1998 The standard of equality of numbers. Zbl 0972.03504 Boolos, George 5 1998 Whence the contradiction? Zbl 0972.03505 Boolos, George 4 1998 Die Grundlagen der Arithmetik, §§82–83. Zbl 0972.03510 Boolos, George; Heck, Richard G. jun. 4 1998 Reading the Begriffsschrift. Zbl 0972.03501 Boolos, George 3 1998 Is Hume’s principle analytic? Zbl 0972.03509 Boolos, George 3 1998 Reply to Charles Parsons’ “Sets and classes”. Zbl 0972.03538 Boolos, George 2 1998 Gottlob Frege and the foundations of arithmetic. Zbl 0972.03500 Boolos, George 2 1998 On the proof of Frege’s theorem. Zbl 0972.03548 Boolos, George 2 1998 Quotational ambiguity. Zbl 0972.03516 Boolos, George 2 1998 Die Grundlagen der Arithmetik, §§82–3. Zbl 0935.03008 Boolos, George; Heck, Richard G. jun. 2 1998 Frege’s theorem and the Peano postulates. Zbl 0972.03545 Boolos, George 1 1998 Zooming down the slippery slope. Zbl 0972.03521 Boolos, George 1 1998 Gödel’s second incompleteness theorem explaind in words of one syllable. Zbl 0972.03546 Boolos, George 1 1998 Is Hume’s principle analytic? Zbl 0938.03506 Boolos, George 13 1997 Constructing Cantorian counterexamples. Zbl 0877.04001 Boolos, George 6 1997 Whence the contradiction? Zbl 0961.03529 Boolos, George 6 1996 The consistency of Frege’s Foundations of arithmetic. Zbl 0900.03062 Boolos, George 6 1995 Saving Frege from contradiction. Zbl 0900.03021 Boolos, George 5 1995 Reading the Begriffsschrift. Zbl 0900.03020 Boolos, George 4 1995 Frege’s theorem and the Peano postulates. Zbl 0838.03041 Boolos, George 4 1995 The standard of equality of numbers. Zbl 0900.03004 Boolos, George 3 1995 The logic of provability. Zbl 0891.03004 Boolos, George 168 1993 The analytical completeness of Dzhaparidze’s polymodal logics. Zbl 0783.03006 Boolos, George 3 1993 Provability: The emergence of a mathematical modality. Zbl 0742.03003 Boolos, George; Sambin, Giovanni 14 1991 Zooming down the slippery slope. Zbl 1366.03026 Boolos, George 1 1991 Computability and logic. 3rd ed. Zbl 0708.03001 Boolos, George S.; Jeffrey, Richard C. 31 1989 The degree of the set of sentences of predicate provability logic that are true under every interpretation. Zbl 0632.03016 Boolos, George; McGee, Vann 10 1987 A curious inference. Zbl 0623.03054 Boolos, George 7 1987 An incomplete system of modal logic. Zbl 0589.03005 Boolos, George; Sambin, Giovanni 9 1985 Don’t eliminate cut. Zbl 0564.03005 Boolos, George 16 1984 The logic of provability. Zbl 0562.03007 Boolos, George 8 1984 Trees and finite satisfiability: proof of a conjecture of Burgess. Zbl 0561.03004 Boolos, George 5 1984 Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002 71 1983 Extremely undecidable sentences. Zbl 0485.03003 Boolos, George 8 1982 On systems of modal logic with provability interpretations. Zbl 0473.03010 Boolos, George 14 1981 Provability, truth, and modal logic. Zbl 0426.03024 Boolos, George 9 1980 Omega-consistency and the diamond. Zbl 0464.03049 Boolos, George 4 1980 Provability in arithmetic and a schema of Grzegorczyk. Zbl 0438.03021 Boolos, George 4 1980 The unprovability of consistency. An essay in modal logic. Zbl 0409.03009 Boolos, George 72 1979 Reflection principles and iterated consistency assertions. Zbl 0409.03010 Boolos, George 3 1979 On deciding the truth of certain statements involving the notion of consistency. Zbl 0359.02050 Boolos, George 4 1977 Computability and logic. Zbl 0298.02003 Boolos, George; Jeffrey, Richard 41 1974 On the semantics of the constructible levels. Zbl 0164.31502 Boolos, G. 7 1970 Degrees of unsolvability of constructible sets of integers. Zbl 0188.32701 Boolos, G.; Putnam, H. 23 1968 all cited Publications top 5 cited Publications all top 5 Cited by 574 Authors 20 Kurahashi, Taishi 18 Visser, Albert 13 Beklemishev, Lev D. 7 Artemov, Sergei 7 Joosten, Joost J. 7 Shapiro, Stewart 6 Boolos, George S. 6 Bringsjord, Selmer 6 Dzhaparidze, Giorgie 6 Linnebo, Øystein 5 Carl, Merlin 5 Fernández Duque, David 5 Goldblatt, Robert Ian 5 Hsiung, Ming 5 Uzquiano, Gabriel 4 Batens, Diderik 4 Brauer, Ethan 4 Bueno, Otávio 4 Dean, Walter 4 Halbach, Volker 4 Heck, Richard Kimberly 4 Heylen, Jan 4 Horsten, Leon 4 Iwata, Sohei 4 Kanamori, Akihiro 4 Litak, Tadeusz 4 Montagna, Franco 4 Okawa, Yuya 4 Paulson, Lawrence Charles 4 Salehi, Saeed 4 Sambin, Giovanni 4 Urbaniak, Rafał 4 Yu, Liang 4 Zalta, Edward N. 4 Zhang, Wenhui 3 Boccuni, Francesca 3 Carrara, Massimiliano 3 Chagrov, Aleksandr Vasil’evich 3 Chong, Chi Tat 3 Cook, Roy T. 3 Corcoran, John 3 de Jongh, Dick H. J. 3 Dudakov, Sergey M. 3 Enayat, Ali 3 Field, Hartry H. 3 Gabbay, Dov M. 3 Maksimova, Larisa L’vovna 3 McGee, Vann 3 Meadows, Toby 3 Muravitsky, Alexei Yu. 3 Paseau, Alexander Christopher 3 Uridia, Levan 3 Valentini, Silvio 3 Venturi, Giorgio 3 Verdée, Peter 3 Walsh, Sean 3 Wolter, Frank 3 Wright, Crispin 3 Yi, Byeong-uk 3 Zakharyaschev, Michael Viktorovich 2 Arkoudas, Konstantine 2 Asperti, Andrea 2 Bernardi, Claudio 2 Bezerra, Edson Vinícius 2 Burgess, John P. 2 Button, Tim 2 Cheng, Yong 2 Coniglio, Marcelo Esteban 2 Damnjanovic, Zlatan 2 Došen, Kosta 2 Esakia, Leo 2 Fattorosi-Barnaba, Maurizio 2 Flaminio, Tommaso 2 Forcheri, Paola 2 Forster, Yannick 2 Friedman, Harvey M. 2 Fritz, Peter 2 Fujiwara, Makoto 2 Gabelaia, David 2 Garson, James W. 2 Gentilini, Paolo 2 Gorbunov, Igor’ Anatol’evich 2 Hale, Bob 2 Hamkins, Joel David 2 Harland, James A. 2 Hewitt, Simon Thomas 2 Holy, Peter 2 Humberstone, Lloyd 2 Incurvati, Luca 2 Inoué, Takao 2 Japaridze, Giorgi 2 Kahle, Reinhard 2 Karlov, Boris 2 Kavvos, G. A. 2 Kikuchi, Makoto 2 Klement, Kevin C. 2 Korbmacher, Johannes 2 Kushida, Hirohiko 2 Lampert, Timm 2 Landini, Gregory ...and 474 more Authors all top 5 Cited in 84 Serials 64 Journal of Philosophical Logic 53 Studia Logica 44 Notre Dame Journal of Formal Logic 39 Annals of Pure and Applied Logic 36 Synthese 35 The Review of Symbolic Logic 34 The Journal of Symbolic Logic 23 The Bulletin of Symbolic Logic 17 Theoretical Computer Science 11 Erkenntnis 10 History and Philosophy of Logic 10 Archive for Mathematical Logic 10 Journal of Applied Non-Classical Logics 9 Artificial Intelligence 9 Transactions of the American Mathematical Society 8 Mathematical Logic Quarterly (MLQ) 7 Journal of Automated Reasoning 7 Logica Universalis 6 Nôus 5 Logic and Logical Philosophy 5 Logical Methods in Computer Science 4 Journal of Logic, Language and Information 4 Annals of Mathematics and Artificial Intelligence 4 Journal of Applied Logic 3 Mathematical Notes 3 Algebra and Logic 3 Bulletin of the Section of Logic 3 Mathematical Social Sciences 3 Soft Computing 3 Axiomathes 2 The Mathematical Intelligencer 2 Journal of Computer and System Sciences 2 Rendiconti del Seminario Matematico della Università di Padova 2 Siberian Mathematical Journal 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 Mathematical Structures in Computer Science 2 Indagationes Mathematicae. New Series 2 Izvestiya: Mathematics 2 Theory of Computing Systems 2 Quantum Information Processing 2 Proceedings of the Steklov Institute of Mathematics 2 Philosophy Compass 1 Computers & Mathematics with Applications 1 International Journal of General Systems 1 Information Processing Letters 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys 1 Advances in Mathematics 1 Algebra Universalis 1 Applied Mathematics and Computation 1 Fundamenta Mathematicae 1 Kybernetes 1 Proceedings of the American Mathematical Society 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Theory and Decision 1 Advances in Applied Mathematics 1 Information and Computation 1 International Journal of Approximate Reasoning 1 Journal of Economic Dynamics & Control 1 Journal of the American Mathematical Society 1 Formal Aspects of Computing 1 Mathematical Problems in Engineering 1 Doklady Mathematics 1 Topoi 1 Journal of Group Theory 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Foundations of Science 1 Lobachevskii Journal of Mathematics 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Thai Journal of Mathematics 1 Foundations of Physics 1 International Journal of Parallel, Emergent and Distributed Systems 1 New Mathematics and Natural Computation 1 International Journal of Semantic Computing 1 Vestnik Tomskogo Gosudarstvennogo Universiteta. Matematika i Mekhanika 1 Axioms 1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki 1 Computer Science Review 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Logicheskie Issledovaniya 1 Journal of Siberian Federal University. Mathematics & Physics 1 Bollettino dell’Unione Matematica Italiana all top 5 Cited in 23 Fields 547 Mathematical logic and foundations (03-XX) 100 Computer science (68-XX) 52 General and overarching topics; collections (00-XX) 36 History and biography (01-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 General topology (54-XX) 5 Quantum theory (81-XX) 4 Category theory; homological algebra (18-XX) 3 Combinatorics (05-XX) 3 Real functions (26-XX) 3 Mathematics education (97-XX) 2 General algebraic systems (08-XX) 2 Group theory and generalizations (20-XX) 2 Operations research, mathematical programming (90-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Measure and integration (28-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year