×

zbMATH — the first resource for mathematics

Jeřábek, Emil

Compute Distance To:
Author ID: jerabek.emil Recent zbMATH articles by "Jeřábek, Emil"
Published as: Jerábek, Emil; Jeřábek, Emil
Homepage: http://users.math.cas.cz/~jerabek/
External Links: Wikidata · MathOverflow · ORCID · dblp
Documents Indexed: 42 Publications since 2004, including 1 Book
Reviewing Activity: 50 Reviews

Publications by Year

Citations contained in zbMATH Open

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

Cited by 126 Authors

15 Jeřábek, Emil
10 Rybakov, Vladimir Vladimirovich
8 Iemhoff, Rosalie
8 Kołodziejczyk, Leszek Aleksander
7 Buss, Sam
7 Thapen, Neil
5 Beyersdorff, Olaf
5 Bezhanishvili, Nick
5 Metcalfe, George
4 Citkin, Alex
4 Goudsmit, Jeroen P.
4 Sanders, Sam
3 Aisenberg, James
3 Balbiani, Philippe
3 Bonet, Maria Luisa
3 Gencer, Çigdem
3 Gispert, Joan
3 Müller, Moritz
3 Papadimitriou, Christos Harilaos
3 Pich, Ján
3 Pollett, Chris
3 Straßburger, Lutz
3 Tzameret, Iddo
3 Visser, Albert
2 Babenyshev, Sergey
2 Bezhanishvili, Guram
2 Buss, Samuel R.
2 Cabrer, Leonardo Manuel
2 Ciabattoni, Agata
2 Crǎciun, Adrian
2 Galatos, Nikolaos
2 Ghilardi, Silvio
2 Goldberg, Paul W.
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 Müller, Sebastian
2 Odintsov, Sergei P.
2 Pudlák, Pavel
2 Rasga, João
2 Schmerl, James H.
2 Sernadas, Cristina S.
1 Adamowicz, Zofia
1 Agudelo-Agudelo, Juan C.
1 Allender, Eric W.
1 Atserias, Albert
1 Ban, Frank
1 Bashmakov, Stepan Igorevich
1 Batens, Diderik
1 Beckmann, Arnold
1 Borrego-Díaz, Joaquín
1 Boughattas, Sedki
1 Bydžovský, Jan
1 Carl, Merlin
1 Cheng, Yong
1 Chew, Leroy
1 Cintula, Petr
1 Danner, Norman
1 D’Aquino, Paola
1 de Campos Sanz, Wagner
1 Dzik, Wojciech
1 Fearnley, John
1 Gabelaia, David
1 Gordon, Spencer
1 Groszek, Marcia J.
1 Guzy, Nicolas
1 Hesse, William
1 Hinde, Luke
1 Hollender, Alexandros
1 Hubáček, Pavel
1 Jain, Kamal C.
1 Jedlička, Přemysl
1 Jibladze, Mamuka A.
1 Kuhlmann, Salma
1 Kutz, Oliver
1 Lauridsen, Frederik Möllerström
1 Lellmann, Björn
1 Li, Fu
1 Mahajan, Meena
1 Marker, David E.
1 Mehta, Ruta
1 Meier, Arne
1 Mix Barrington, David A.
1 Mundici, Daniele
1 Naor, Moni
1 Nguyen, Phuong Anh
1 Novaković, Novak
1 Ojakian, Kerry
1 Oliveira, Igor Carboni
1 Pambuccian, Victor V.
1 Pianigiani, Duccio
1 Piecha, Thomas
1 Pilitowska, Agata
1 Point, Françoise
1 Priestley, Hilary A.
...and 26 more Authors

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.