@article{jerabek-kepka-stanovsky:lsld-groupoids,
author = "Emil Je{\v r}{\'a}bek and Tom{\'a}{\v s} Kepka and David Stanovsk{\'y}",
title = "Subdirectly irreducible non-idempotent left symmetric left distributive groupoids",
journal = "Discussiones Mathematicae -- General Algebra and Applications",
volume = 25,
year = 2005,
number = 2,
pages = "235--257"
}
@mastersthesis{jerabek:reflexe,
author = "Emil Je{\v r}{\'a}bek",
title = "Reflexe v neregul{\'a}rn{\'\i}ch univerzech",
year = 2001,
school = "Faculty of Mathematics and Physics, Charles University",
address = "Prague",
note = "In Czech"
}
@mastersthesis{jerabek:provability-logic-ast,
author = "Emil Je{\v r}{\'a}bek",
title = "Provability logic of the {A}lternative {S}et {T}heory",
year = 2001,
school = "Faculty of Philosophy and Arts, Charles University",
address = "Prague"
}
@article{jerabek-rossler:fragment-nonstandard-analysis,
author = "Emil Je{\v r}{\'a}bek and Michal R{\"o}ssler",
title = "Fragment of nonstandard analysis with a finitary consistency proof",
journal = "Bulletin of Symbolic Logic",
volume = 13,
year = 2007,
number = 1,
pages = "54--70"
}
@article{jerabek:grzegorczyk-logic,
author = "Emil Je{\v r}{\'a}bek",
title = "A note on {G}rzegorczyk's logic",
journal = "Mathematical Logic Quarterly",
volume = 50,
year = 2004,
number = 3,
pages = "295--296"
}
@article{jerabek:dual-wphp,
author = "Emil Je{\v r}{\'a}bek",
title = "Dual weak pigeonhole principle, {B}oolean complexity, and derandomization",
journal = "Annals of Pure and Applied Logic",
volume = 129,
year = 2004,
pages = "1--37"
}
number = "1--3" = full volume
@phdthesis{jerabek:phd-thesis,
author = "Emil Je{\v r}{\'a}bek",
title = "Weak pigeonhole principle, and randomized computation",
year = 2005,
school = "Faculty of Mathematics and Physics, Charles University",
address = "Prague"
}
@article{jerabek:admissible-rules-modal,
author = "Emil Je{\v r}{\'a}bek",
title = "Admissible rules of modal logics",
journal = "Journal of Logic and Computation",
year = 2005,
volume = 15,
number = 4,
pages = "411--431"
}
@article{jerabek:complexity-admissible-rules,
author = "Emil Je{\v r}{\'a}bek",
title = "Complexity of admissible rules",
journal = "Archive for Mathematical Logic",
year = 2007,
volume = 46,
number = 2,
pages = "73--92"
}
@article{jerabek:frege-systems-modal,
author = "Emil Je{\v r}{\'a}bek",
title = "{F}rege systems for extensible modal logics",
journal = "Annals of Pure and Applied Logic",
volume = 142,
year = 2006,
pages = "366--379"
}
number = "1--3" = full volume
@article{jerabek:sharply-bounded,
author = "Emil Je{\v r}{\'a}bek",
title = "The strength of sharply bounded induction",
year = 2006,
journal = "Mathematical Logic Quarterly",
volume = 52,
number = 6,
pages = "613--624"
}
@article{jerabek:approximate-counting,
author = "Emil Je{\v r}{\'a}bek",
title = "Approximate counting in bounded arithmetic",
journal = "Journal of Symbolic Logic",
year = 2007,
volume = 72,
number = 3,
pages = "959--993"
}
@article{jerabek:independence-wphp,
author = "Emil Je{\v r}{\'a}bek",
title = "On independence of variants of the weak pigeonhole principle",
journal = "Journal of Logic and Computation",
volume = 17,
year = 2007,
number = 3,
pages = "587--604"
}
@article{jerabek:independent-bases,
author = "Emil Je{\v r}{\'a}bek",
title = "Independent bases of admissible rules",
journal = "Logic Journal of the IGPL",
year = 2008,
volume = 16,
number = 3,
pages = "249--267"
}
@article{jerabek:sf-ef-nonclassical,
author = "Emil Je{\v r}{\'a}bek",
title = "Substitution {F}rege and extended {F}rege proof systems in non-classical logics",
journal = "Annals of Pure and Applied Logic",
volume = 159,
year = 2009,
number = "1--2",
pages = "1--48"
}
@article{jerabek:approximate-counting-hashing,
author = "Emil Je{\v r}{\'a}bek",
title = "Approximate counting by hashing in bounded arithmetic",
journal = "Journal of Symbolic Logic",
volume = 74,
year = 2009,
number = 3,
pages = "829--860"
}
@article{jerabek:cut-free-cos,
author = "Emil Je{\v r}{\'a}bek",
title = "Proof complexity of the cut-free calculus of structures",
journal = "Journal of Logic and Computation",
year = 2009,
volume = 19,
number = 2,
pages = "323--339"
}
@article{jerabek:canonical-rules,
author = "Emil Je{\v r}{\'a}bek",
title = "Canonical rules",
journal = "Journal of Symbolic Logic",
volume = 74,
year = 2009,
number = 4,
pages = "1171--1205"
}
@article{jerabek:quadratic-residues,
author = "Emil Je{\v r}{\'a}bek",
title = "Abelian groups and quadratic residues in weak arithmetic",
journal = "Mathematical Logic Quarterly",
year = 2010,
volume = 56,
number = 3,
pages = "262--278"
}
@article{jerabek:theories-nc1,
author = "Emil Je{\v r}{\'a}bek",
title = "On theories of bounded arithmetic for {$NC^1$}",
journal = "Annals of Pure and Applied Logic",
year = 2011,
volume = 162,
number = 4,
pages = "322--340"
}
@article{jerabek:sorting-network,
author = "Emil Je{\v r}{\'a}bek",
title = "A sorting network in bounded arithmetic",
journal = "Annals of Pure and Applied Logic",
year = 2011,
volume = 162,
number = 4,
pages = "341--355"
}
@article{jerabek:admissible-rules-lukasiewicz,
author = "Emil Je{\v r}{\'a}bek",
title = "Admissible rules of {{\L}ukasiewicz} logic",
journal = "Journal of Logic and Computation",
year = 2010,
volume = 20,
number = 2,
pages = "425--447"
}
@article{jerabek:bases-lukasiewicz,
author = "Emil Je{\v r}{\'a}bek",
title = "Bases of admissible rules of {{\L}ukasiewicz} logic",
journal = "Journal of Logic and Computation",
year = 2010,
volume = 20,
number = 6,
pages = "1149--1163"
}
@article{jerabek:monotone-cuts,
author = "Emil Je{\v r}{\'a}bek",
title = "Proofs with monotone cuts",
journal = "Mathematical Logic Quarterly",
year = 2012,
volume = 58,
number = 3,
pages = "177--187"
}
@article{jerabek-nguyen:Gi-prenex,
author = "Emil Je{\v r}{\'a}bek and Phuong Nguyen",
title = "Simulating non-prenex cuts in quantified propositional calculus",
journal = "Mathematical Logic Quarterly",
year = 2011,
volume = 57,
number = 5,
pages = "524--532"
}
@article{jerabek-kolodziejczyk:real-closures,
author = "Emil Je{\v r}{\'a}bek and Leszek A. Ko{\l}odziejczyk",
title = "Real closures of models of weak arithmetic",
journal = "Archive for Mathematical Logic",
volume = 52,
year = 2013,
number = "1--2",
pages = "143--157"
}
@article{jerabek:conservative-translations,
author = "Emil Je{\v r}{\'a}bek",
title = "The ubiquity of conservative translations",
journal = "Review of Symbolic Logic",
volume = 5,
number = 4,
year = 2012,
pages = "666--678"
}
@article{jerabek:blending-margins,
author = "Emil Je{\v r}{\'a}bek",
title = "Blending margins: The modal logic {$\mathbf K$} has nullary unification type",
journal = "Journal of Logic and Computation",
year = 2015,
volume = 25,
number = 5,
pages = "1231--1240"
}
@article{jerabek:complexity-lukasiewicz,
author = "Emil Je{\v r}{\'a}bek",
title = "The complexity of admissible rules of {{\L}ukasiewicz} logic",
journal = "Journal of Logic and Computation",
year = 2013,
volume = 23,
number = 3,
pages = "693--705"
}
@article{jerabek:root-finding-tc0,
author = "Emil Je{\v r}{\'a}bek",
title = "Root finding with threshold circuits",
journal = "Theoretical Computer Science",
volume = 462,
year = 2012,
pages = "59--69"
}
@article{jerabek:sequence-induction,
author = "Emil Je{\v r}{\'a}bek",
title = "Sequence encoding without induction",
journal = "Mathematical Logic Quarterly",
year = 2012,
volume = 58,
number = 3,
pages = "244--248"
}
@article{jerabek:factoring,
author = "Emil Je{\v r}{\'a}bek",
title = "Integer factoring and modular square roots",
journal = "Journal of Computer and System Sciences",
volume = 82,
year = 2016,
number = 2,
pages = "380--394"
}
@article{jerabek:rules-parameters-i,
author = "Emil Je{\v r}{\'a}bek",
title = "Rules with parameters in modal logic~{I}",
journal = "Annals of Pure and Applied Logic",
volume = 166,
year = 2015,
number = 9,
pages = "881--933"
}
@article{jerabek:boxdot-conjecture,
author = "Emil Je{\v r}{\'a}bek",
title = "Cluster expansion and the boxdot conjecture",
journal = "Mathematical Logic Quarterly",
year = 2016,
volume = 62,
number = 6,
pages = "608--614"
}
@incollection{dghj:foundation-elementary-embeddings,
author = "Ali Sadegh Daghighi and Mohammad Golshani and Joel David Hamkins and Emil Je{\v r}{\'a}bek",
title = "The foundation axiom and elementary self-embeddings of the universe",
booktitle = "Infinity, Computability, and Metamathematics: Festschrift
celebrating the 60th birthdays of {P}eter {K}oepke and {P}hilip {W}elch",
editor = "Stefan Geschke and Benedikt L{\"o}we and Philipp Schlicht",
publisher = "College Publications",
address = "London",
year = 2014,
series = "Tributes",
volume = 23,
pages = "89--112"
}
@article{jerabek:open-induction-tc0,
author = "Emil Je{\v r}{\'a}bek",
title = "Open induction in a bounded arithmetic for {$\mathrm{TC}^0$}",
journal = "Archive for Mathematical Logic",
volume = 54,
year = 2015,
number = "3--4",
pages = "359--394"
}
@article{jerabek:substructural-hierarchy,
author = "Emil Je{\v r}{\'a}bek",
title = "A note on the substructural hierarchy",
journal = "Mathematical Logic Quarterly",
volume = 62,
year = 2016,
number = "1--2",
pages = "102--110"
}
@article{jerabek:intuitionistic-implication,
author = "Emil Je{\v r}{\'a}bek",
title = "Proof complexity of intuitionistic implicational formulas",
year = 2017,
journal = "Annals of Pure and Applied Logic",
volume = 168,
number = 1,
pages = "150--190"
}
@article{jerabek:division-0,
author = "Emil Je{\v r}{\'a}bek",
title = "Division by zero",
journal = "Archive for Mathematical Logic",
year = 2016,
volume = 55,
number = 7,
pages = "997--1013"
}
@article{jerabek:galois-multiple-output,
author = "Emil Je{\v r}{\'a}bek",
title = "Galois connection for multiple-output operations",
journal = "Algebra Universalis",
volume = 79,
year = 2018,
note = "Article no.~17, 37~pp"
}
@article{jerabek:recursive-functions-ec,
author = "Emil Je{\v r}{\'a}bek",
title = "Recursive functions and existentially closed structures",
journal = "Journal of Mathematical Logic",
year = 2020,
volume = 20,
note = "Article no.~2050002, 52~pp"
}
@article{jerabek:rigid-presburger,
author = "Emil Je{\v r}{\'a}bek",
title = "Rigid models of {P}resburger arithmetic",
journal = "Mathematical Logic Quarterly",
year = 2019,
volume = 65,
number = 1,
pages = "108--115"
}
@article{jerabek:induction-rules-bounded,
author = "Emil Je{\v r}{\'a}bek",
title = "Induction rules in bounded arithmetic",
journal = "Archive for Mathematical Logic",
volume = 59,
year = 2020,
number = 3,
pages = "461--501"
@article{jerabek:rules-parameters-ii,
author = "Emil Je{\v r}{\'a}bek",
title = "Rules with parameters in modal logic~{II}",
journal = "Annals of Pure and Applied Logic",
volume = 171,
year = 2020,
number = 10,
note = "Article no.~102829, 59~pp"
}
@article{jerabek:clone-membership,
author = "Emil Je{\v r}{\'a}bek",
title = "On the complexity of the clone membership problem",
journal = "Theory of Computing Systems",
year = 2021,
volume = 65,
number = 5,
pages = "839--868"
}
@article{jerabek:bounded-branching,
author = "Emil Je{\v r}{\'a}bek",
title = "On the proof complexity of logics of bounded branching",
journal = "Annals of Pure and Applied Logic",
volume = 174,
year = 2023,
number = 1,
note = "Article no.~103181, 54~pp"
}
@article{jerabek:iterated-multiplication-vtc0,
author = "Emil Je{\v r}{\'a}bek",
title = "Iterated multiplication in {$\mathit{VTC}^0$}",
journal = "Archive for Mathematical Logic",
year = 2022,
volume = 61,
number = "5--6",
pages = "705--767"
}
@article{jerabek:hereditarily-bounded-sets,
author = "Emil Je{\v r}{\'a}bek",
title = "The theory of hereditarily bounded sets",
journal = "Mathematical Logic Quarterly",
year = 2022,
volume = 68,
number = 2,
pages = "243--256"
}
@article{jerabek:elementary-analytic-vtc0,
author = "Emil Je{\v r}{\'a}bek",
title = "Elementary analytic functions in {$\mathsf{VTC}^0$}",
year = 2023,
journal = "Annals of Pure and Applied Logic",
volume = 174,
number = 6,
note = "Article no.~103269, 50~pp"
}
@article{jerabek:models-vtc0-exponential-ip,
author = "Emil Je{\v r}{\'a}bek",
title = "Models of {$\mathsf{VTC^0}$} as exponential integer parts",
journal = "Mathematical Logic Quarterly",
year = 2023,
volume = 69,
number = 2,
pages = "244--260"
}
@misc{jerabek:simplified-implicational,
author = "Emil Je{\v r}{\'a}bek",
title = "A simplified lower bound for implicational logic",
year = 2023,
howpublished = "{arXiv:2303.15090 [cs.LO]}",
note = "\url{https://arxiv.org/abs/2303.15090}"
}
@misc{jerabek:complexity-addition,
author = "Emil Je{\v r}{\'a}bek",
title = "A note on the complexity of addition",
year = 2023,
howpublished = "{arXiv:2306.08513 [cs.CC]}",
note = "\url{https://arxiv.org/abs/2306.08513}"
}
@misc{jerabek:theory-exponential-ip,
author = "Emil Je{\v r}{\'a}bek",
title = "On the theory of exponential integer parts",
year = 2024,
howpublished = "{arXiv:2404.06888 [math.LO]}",
note = "\url{https://arxiv.org/abs/2404.06888}"
}