## Jeřábek, Emil

Compute Distance To:
 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)

### 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.03011
Jeřábek, Emil
2005
Dual weak pigeonhole principle, Boolean complexity, and derandomization. Zbl 1057.03047
Jeřábek, Emil
2004
Admissible rules of Łukasiewicz logic. Zbl 1216.03042
Jerábek, Emil
2010
Complexity of admissible rules. Zbl 1115.03010
Jeřábek, Emil
2007
Canonical rules. Zbl 1186.03045
Jeřábek, Emil
2009
Independent bases of admissible rules. Zbl 1146.03008
Jeřábek, Emil
2008
Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043
Jeřábek, Emil
2010
The strength of sharply bounded induction. Zbl 1109.03067
Jeřábek, Emil
2006
Approximate counting by hashing in bounded arithmetic. Zbl 1180.03055
Jeřábek, Emil
2009
Integer factoring and modular square roots. Zbl 1330.03088
Jeřábek, Emil
2016
Substitution Frege and extended Frege proof systems in non-classical logics. Zbl 1173.03044
Jeřábek, Emil
2009
Approximate counting in bounded arithmetic. Zbl 1123.03051
Jeřábek, Emil
2007
Blending margins: the modal logic K has nullary unification type. Zbl 1328.03019
Jeřábek, Emil
2015
On independence of variants of the weak pigeonhole principle. Zbl 1132.03029
Jeřábek, Emil
2007
Frege systems for extensible modal logics. Zbl 1101.03038
Jeřábek, Emil
2006
On theories of bounded arithmetic for $$\mathrm{NC}^1$$. Zbl 1239.03035
Jeřábek, Emil
2011
Sequence encoding without induction. Zbl 1248.03079
Jeřábek, Emil
2012
A note on the substructural hierarchy. Zbl 1357.03057
Jeřábek, Emil
2016
Fragment of nonstandard analysis with a finitary consistency proof. Zbl 1129.03039
Rössler, Michal; Jeřábek, Emil
2007
The ubiquity of conservative translations. Zbl 1273.03043
Jeřábek, Emil
2012
Rules with parameters in modal logic. I. Zbl 1408.03015
Jeřábek, Emil
2015
Proof complexity of the cut-free calculus of structures. Zbl 1175.03036
Jeřábek, Emil
2009
A sorting network in bounded arithmetic. Zbl 1257.03087
Jeřábek, Emil
2011
Recursive functions and existentially closed structures. Zbl 07215221
Jeřábek, Emil
2020
Root finding with threshold circuits. Zbl 1282.68116
Jeřábek, Emil
2012
Real closures of models of weak arithmetic. Zbl 1263.03056
Jeřábek, Emil; Kołodziejczyk, Leszek Aleksander
2013
Cluster expansion and the boxdot conjecture. Zbl 1432.03032
Jeřábek, Emil
2016
Proof complexity of intuitionistic implicational formulas. Zbl 1422.03124
Jeřábek, Emil
2017
Subdirectly irreducible non-idempotent left symmetric left distributive groupoids. Zbl 1102.20045
Jeřábek, Emil; Kepka, Tomáš; Stanovský, David
2005
The complexity of admissible rules of Łukasiewicz logic. Zbl 1279.03045
Jeřábek, Emil
2013
Abelian groups and quadratic residues in weak arithmetic. Zbl 1192.03045
Jeřábek, Emil
2010
Open induction in a bounded arithmetic for $$\mathrm{TC}^{0}$$. Zbl 1371.03090
Jeřábek, Emil
2015
Division by zero. Zbl 1362.03050
Jeřábek, Emil
2016
Simulating non-prenex cuts in quantified propositional calculus. Zbl 1255.03051
Jeřábek, Emil; Nguyen, Phuong
2011
Induction rules in bounded arithmetic. Zbl 1471.03082
Jeřábek, Emil
2020
Recursive functions and existentially closed structures. Zbl 07215221
Jeřábek, Emil
2020
Induction rules in bounded arithmetic. Zbl 1471.03082
Jeřábek, Emil
2020
Proof complexity of intuitionistic implicational formulas. Zbl 1422.03124
Jeřábek, Emil
2017
Integer factoring and modular square roots. Zbl 1330.03088
Jeřábek, Emil
2016
A note on the substructural hierarchy. Zbl 1357.03057
Jeřábek, Emil
2016
Cluster expansion and the boxdot conjecture. Zbl 1432.03032
Jeřábek, Emil
2016
Division by zero. Zbl 1362.03050
Jeřábek, Emil
2016
Blending margins: the modal logic K has nullary unification type. Zbl 1328.03019
Jeřábek, Emil
2015
Rules with parameters in modal logic. I. Zbl 1408.03015
Jeřábek, Emil
2015
Open induction in a bounded arithmetic for $$\mathrm{TC}^{0}$$. Zbl 1371.03090
Jeřábek, Emil
2015
Real closures of models of weak arithmetic. Zbl 1263.03056
Jeřábek, Emil; Kołodziejczyk, Leszek Aleksander
2013
The complexity of admissible rules of Łukasiewicz logic. Zbl 1279.03045
Jeřábek, Emil
2013
Sequence encoding without induction. Zbl 1248.03079
Jeřábek, Emil
2012
The ubiquity of conservative translations. Zbl 1273.03043
Jeřábek, Emil
2012
Root finding with threshold circuits. Zbl 1282.68116
Jeřábek, Emil
2012
On theories of bounded arithmetic for $$\mathrm{NC}^1$$. Zbl 1239.03035
Jeřábek, Emil
2011
A sorting network in bounded arithmetic. Zbl 1257.03087
Jeřábek, Emil
2011
Simulating non-prenex cuts in quantified propositional calculus. Zbl 1255.03051
Jeřábek, Emil; Nguyen, Phuong
2011
Admissible rules of Łukasiewicz logic. Zbl 1216.03042
Jerábek, Emil
2010
Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043
Jeřábek, Emil
2010
Abelian groups and quadratic residues in weak arithmetic. Zbl 1192.03045
Jeřábek, Emil
2010
Canonical rules. Zbl 1186.03045
Jeřábek, Emil
2009
Approximate counting by hashing in bounded arithmetic. Zbl 1180.03055
Jeřábek, Emil
2009
Substitution Frege and extended Frege proof systems in non-classical logics. Zbl 1173.03044
Jeřábek, Emil
2009
Proof complexity of the cut-free calculus of structures. Zbl 1175.03036
Jeřábek, Emil
2009
Independent bases of admissible rules. Zbl 1146.03008
Jeřábek, Emil
2008
Complexity of admissible rules. Zbl 1115.03010
Jeřábek, Emil
2007
Approximate counting in bounded arithmetic. Zbl 1123.03051
Jeřábek, Emil
2007
On independence of variants of the weak pigeonhole principle. Zbl 1132.03029
Jeřábek, Emil
2007
Fragment of nonstandard analysis with a finitary consistency proof. Zbl 1129.03039
Rössler, Michal; Jeřábek, Emil
2007
The strength of sharply bounded induction. Zbl 1109.03067
Jeřábek, Emil
2006
Frege systems for extensible modal logics. Zbl 1101.03038
Jeřábek, Emil
2006
Admissible rules of modal logics. Zbl 1077.03011
Jeřábek, Emil
2005
Subdirectly irreducible non-idempotent left symmetric left distributive groupoids. Zbl 1102.20045
Jeřábek, Emil; Kepka, Tomáš; Stanovský, David
2005
Dual weak pigeonhole principle, Boolean complexity, and derandomization. Zbl 1057.03047
Jeřábek, Emil
2004
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)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.