Edit Profile (opens in new tab) Jeřábek, Emil Compute Distance To: Compute Author ID: jerabek.emil Published as: Jeřábek, Emil; Jerábek, Emil Homepage: http://users.math.cas.cz/~jerabek/ External Links: ORCID · Wikidata · MathOverflow · dblp Documents Indexed: 42 Publications since 2004 1 Contribution as Editor Reviewing Activity: 53 Reviews Co-Authors: 10 Co-Authors with 5 Joint Publications 188 Co-Co-Authors all top 5 Co-Authors 37 single-authored 1 Aher, Martin 1 Daghighi, Ali Sadegh 1 Golshani, Mohammad 1 Hamkins, Joel David 1 Hole, Daniel 1 Kepka, Tomas 1 Kołodziejczyk, Leszek Aleksander 1 Kupke, Clemens 1 Rössler, Michal 1 Stanovský, David all top 5 Serials 9 Mathematical Logic Quarterly (MLQ) 8 Annals of Pure and Applied Logic 7 Journal of Logic and Computation 5 Archive for Mathematical Logic 3 The Journal of Symbolic Logic 1 Algebra Universalis 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 Logic Journal of the IGPL 1 Journal of Mathematical Logic 1 Discussiones Mathematicae. General Algebra and Applications 1 Lecture Notes in Computer Science 1 The Review of Symbolic Logic all top 5 Fields 39 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 4 General algebraic systems (08-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 274 times in 158 Documents Cited by ▼ Year ▼ Admissible rules of modal logics. Zbl 1077.03011Jeřábek, Emil 38 2005 Dual weak pigeonhole principle, Boolean complexity, and derandomization. Zbl 1057.03047Jeřábek, Emil 24 2004 Admissible rules of Łukasiewicz logic. Zbl 1216.03042Jerábek, Emil 18 2010 Complexity of admissible rules. Zbl 1115.03010Jeřábek, Emil 16 2007 Canonical rules. Zbl 1186.03045Jeřábek, Emil 16 2009 Independent bases of admissible rules. Zbl 1146.03008Jeřábek, Emil 16 2008 Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043Jeřábek, Emil 14 2010 The strength of sharply bounded induction. Zbl 1109.03067Jeřábek, Emil 13 2006 Approximate counting by hashing in bounded arithmetic. Zbl 1180.03055Jeřábek, Emil 11 2009 Integer factoring and modular square roots. Zbl 1330.03088Jeřábek, Emil 10 2016 Substitution Frege and extended Frege proof systems in non-classical logics. Zbl 1173.03044Jeřábek, Emil 10 2009 Approximate counting in bounded arithmetic. Zbl 1123.03051Jeřábek, Emil 10 2007 Blending margins: the modal logic K has nullary unification type. Zbl 1328.03019Jeřábek, Emil 9 2015 On independence of variants of the weak pigeonhole principle. Zbl 1132.03029Jeřábek, Emil 9 2007 Frege systems for extensible modal logics. Zbl 1101.03038Jeřábek, Emil 7 2006 On theories of bounded arithmetic for \(\mathrm{NC}^1\). Zbl 1239.03035Jeřábek, Emil 6 2011 Sequence encoding without induction. Zbl 1248.03079Jeřábek, Emil 5 2012 A note on the substructural hierarchy. Zbl 1357.03057Jeřábek, Emil 5 2016 Fragment of nonstandard analysis with a finitary consistency proof. Zbl 1129.03039Rössler, Michal; Jeřábek, Emil 4 2007 The ubiquity of conservative translations. Zbl 1273.03043Jeřábek, Emil 4 2012 Rules with parameters in modal logic. I. Zbl 1408.03015Jeřábek, Emil 3 2015 Proof complexity of the cut-free calculus of structures. Zbl 1175.03036Jeřábek, Emil 3 2009 A sorting network in bounded arithmetic. Zbl 1257.03087Jeřábek, Emil 3 2011 Recursive functions and existentially closed structures. Zbl 07215221Jeřábek, Emil 3 2020 Root finding with threshold circuits. Zbl 1282.68116Jeřábek, Emil 3 2012 Real closures of models of weak arithmetic. Zbl 1263.03056Jeřábek, Emil; Kołodziejczyk, Leszek Aleksander 2 2013 Cluster expansion and the boxdot conjecture. Zbl 1432.03032Jeřábek, Emil 2 2016 Proof complexity of intuitionistic implicational formulas. Zbl 1422.03124Jeřábek, Emil 2 2017 Subdirectly irreducible non-idempotent left symmetric left distributive groupoids. Zbl 1102.20045Jeřábek, Emil; Kepka, Tomáš; Stanovský, David 2 2005 The complexity of admissible rules of Łukasiewicz logic. Zbl 1279.03045Jeřábek, Emil 1 2013 Abelian groups and quadratic residues in weak arithmetic. Zbl 1192.03045Jeřábek, Emil 1 2010 Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\). Zbl 1371.03090Jeřábek, Emil 1 2015 Division by zero. Zbl 1362.03050Jeřábek, Emil 1 2016 Simulating non-prenex cuts in quantified propositional calculus. Zbl 1255.03051Jeřábek, Emil; Nguyen, Phuong 1 2011 Induction rules in bounded arithmetic. Zbl 1471.03082Jeřábek, Emil 1 2020 Recursive functions and existentially closed structures. Zbl 07215221Jeřábek, Emil 3 2020 Induction rules in bounded arithmetic. Zbl 1471.03082Jeřábek, Emil 1 2020 Proof complexity of intuitionistic implicational formulas. Zbl 1422.03124Jeřábek, Emil 2 2017 Integer factoring and modular square roots. Zbl 1330.03088Jeřábek, Emil 10 2016 A note on the substructural hierarchy. Zbl 1357.03057Jeřábek, Emil 5 2016 Cluster expansion and the boxdot conjecture. Zbl 1432.03032Jeřábek, Emil 2 2016 Division by zero. Zbl 1362.03050Jeřábek, Emil 1 2016 Blending margins: the modal logic K has nullary unification type. Zbl 1328.03019Jeřábek, Emil 9 2015 Rules with parameters in modal logic. I. Zbl 1408.03015Jeřábek, Emil 3 2015 Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\). Zbl 1371.03090Jeřábek, Emil 1 2015 Real closures of models of weak arithmetic. Zbl 1263.03056Jeřábek, Emil; Kołodziejczyk, Leszek Aleksander 2 2013 The complexity of admissible rules of Łukasiewicz logic. Zbl 1279.03045Jeřábek, Emil 1 2013 Sequence encoding without induction. Zbl 1248.03079Jeřábek, Emil 5 2012 The ubiquity of conservative translations. Zbl 1273.03043Jeřábek, Emil 4 2012 Root finding with threshold circuits. Zbl 1282.68116Jeřábek, Emil 3 2012 On theories of bounded arithmetic for \(\mathrm{NC}^1\). Zbl 1239.03035Jeřábek, Emil 6 2011 A sorting network in bounded arithmetic. Zbl 1257.03087Jeřábek, Emil 3 2011 Simulating non-prenex cuts in quantified propositional calculus. Zbl 1255.03051Jeřábek, Emil; Nguyen, Phuong 1 2011 Admissible rules of Łukasiewicz logic. Zbl 1216.03042Jerábek, Emil 18 2010 Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043Jeřábek, Emil 14 2010 Abelian groups and quadratic residues in weak arithmetic. Zbl 1192.03045Jeřábek, Emil 1 2010 Canonical rules. Zbl 1186.03045Jeřábek, Emil 16 2009 Approximate counting by hashing in bounded arithmetic. Zbl 1180.03055Jeřábek, Emil 11 2009 Substitution Frege and extended Frege proof systems in non-classical logics. Zbl 1173.03044Jeřábek, Emil 10 2009 Proof complexity of the cut-free calculus of structures. Zbl 1175.03036Jeřábek, Emil 3 2009 Independent bases of admissible rules. Zbl 1146.03008Jeřábek, Emil 16 2008 Complexity of admissible rules. Zbl 1115.03010Jeřábek, Emil 16 2007 Approximate counting in bounded arithmetic. Zbl 1123.03051Jeřábek, Emil 10 2007 On independence of variants of the weak pigeonhole principle. Zbl 1132.03029Jeřábek, Emil 9 2007 Fragment of nonstandard analysis with a finitary consistency proof. Zbl 1129.03039Rössler, Michal; Jeřábek, Emil 4 2007 The strength of sharply bounded induction. Zbl 1109.03067Jeřábek, Emil 13 2006 Frege systems for extensible modal logics. Zbl 1101.03038Jeřábek, Emil 7 2006 Admissible rules of modal logics. Zbl 1077.03011Jeřábek, Emil 38 2005 Subdirectly irreducible non-idempotent left symmetric left distributive groupoids. Zbl 1102.20045Jeřábek, Emil; Kepka, Tomáš; Stanovský, David 2 2005 Dual weak pigeonhole principle, Boolean complexity, and derandomization. Zbl 1057.03047Jeřábek, Emil 24 2004 all cited Publications top 5 cited Publications all top 5 Cited by 143 Authors 16 Jeřábek, Emil 11 Rybakov, Vladimir Vladimirovich 9 Iemhoff, Rosalie 8 Kołodziejczyk, Leszek Aleksander 7 Buss, Sam 7 Thapen, Neil 6 Beyersdorff, Olaf 5 Balbiani, Philippe 5 Bezhanishvili, Nick 5 Gencer, Çigdem 5 Metcalfe, George 4 Citkin, Alex 4 Goldberg, Paul W. 4 Goudsmit, Jeroen P. 4 Papadimitriou, Christos Harilaos 4 Sanders, Sam 3 Aisenberg, James 3 Bashmakov, Stepan Igorevich 3 Bonet, Maria Luisa 3 Buss, Samuel R. 3 Ciabattoni, Agata 3 Gispert, Joan 3 Müller, Moritz 3 Pich, Ján 3 Pollett, Chris 3 Straßburger, Lutz 3 Tzameret, Iddo 3 Visser, Albert 2 Adamowicz, Zofia 2 Babenyshev, Sergey 2 Bezhanishvili, Guram 2 Cabrer, Leonardo Manuel 2 Cheng, Yong 2 Chew, Leroy 2 Crǎciun, Adrian 2 Dzik, Wojciech 2 Galatos, Nikolaos 2 Ghilardi, Silvio 2 Hollender, Alexandros 2 Hrubeš, Pavel 2 Ilin, Julia 2 Impens, Chris 2 Istrate, Gabriel I. 2 Kabanets, Valentine 2 Kolokolova, Antonina 2 Koucký, Michal 2 Krajíček, Jan 2 Odintsov, Sergei P. 2 Pudlák, Pavel 2 Ramanayake, Revantha 2 Rasga, João 2 Rostamigiv, Maryam 2 Schmerl, James H. 2 Sernadas, Cristina S. 2 Shkatov, Dmitry 2 van Alten, Clint J. 1 Agudelo-Agudelo, Juan C. 1 Allender, Eric W. 1 Antonelli, Melissa 1 Atserias, Albert 1 Baader, Franz 1 Ban, Frank 1 Batens, Diderik 1 Beckmann, Arnold 1 Borrego-Díaz, Joaquín 1 Boughattas, Sedki 1 Bydžovský, Jan 1 Carl, Merlin 1 Cintula, Petr 1 Dal Lago, Ugo 1 Danner, Norman 1 D’Aquino, Paola 1 de Campos Sanz, Wagner 1 Fan, Jie 1 Fearnley, John 1 Fernández Gil, Oliver 1 Filos-Ratsikas, Aris 1 Fussner, Wesley 1 Gabelaia, David 1 Gilbert, David Robert 1 Gordon, Spencer 1 Groszek, Marcia J. 1 Guzy, Nicolas 1 Hesse, William 1 Hinde, Luke 1 Hubáček, Pavel 1 Jalali, Raheleh 1 Jedlička, Přemysl 1 Jibladze, Mamuka A. 1 Kohlenbach, Ulrich Wilhelm 1 Kost, Sławomir 1 Kuhlmann, Salma 1 Kutz, Oliver 1 Lang, Timo 1 Lauridsen, Frederik Möllerström 1 Lellmann, Björn 1 Li, Fu 1 Mahajan, Meena 1 Marker, David E. 1 Mehta, Ruta ...and 43 more Authors all top 5 Cited in 38 Serials 34 Annals of Pure and Applied Logic 13 The Journal of Symbolic Logic 10 Archive for Mathematical Logic 9 Studia Logica 7 Mathematical Logic Quarterly (MLQ) 6 Logica Universalis 5 Journal of Computer and System Sciences 4 Theoretical Computer Science 4 The Bulletin of Symbolic Logic 4 ACM Transactions on Computational Logic 4 The Review of Symbolic Logic 3 Journal of Philosophical Logic 3 Notre Dame Journal of Formal Logic 3 Journal of Siberian Federal University. Mathematics & Physics 2 Communications in Algebra 2 Fuzzy Sets and Systems 2 Journal of Pure and Applied Algebra 2 SIAM Journal on Computing 2 Information and Computation 2 Journal of Applied Non-Classical Logics 2 Theory of Computing Systems 2 Soft Computing 1 Information Processing Letters 1 Algebra Universalis 1 Fundamenta Mathematicae 1 Siberian Mathematical Journal 1 Transactions of the American Mathematical Society 1 Journal of Automated Reasoning 1 Forum Mathematicum 1 International Journal of Algebra and Computation 1 Computational Complexity 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Mathematical Logic 1 Lobachevskii Journal of Mathematics 1 Logic and Logical Philosophy 1 Oberwolfach Reports 1 Logical Methods in Computer Science 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 19 Fields 137 Mathematical logic and foundations (03-XX) 57 Computer science (68-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 9 General algebraic systems (08-XX) 4 Combinatorics (05-XX) 3 Field theory and polynomials (12-XX) 3 Group theory and generalizations (20-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 2 Real functions (26-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-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.