
The theory of hereditarily bounded sets
We show that for any k∈ω, the structure (H_k,∈) of sets that are heredit...
read it

Iterated multiplication in VTC^0
We show that VTC^0, the basic theory of bounded arithmetic corresponding...
read it

On the proof complexity of logics of bounded branching
We investigate the proof complexity of extended Frege (EF) systems for b...
read it

On the complexity of the clone membership problem
We investigate the complexity of the Boolean clone membership problem (C...
read it

Rules with parameters in modal logic II
We analyze the computational complexity of admissibility and unifiabilit...
read it

Induction rules in bounded arithmetic
We study variants of Buss's theories of bounded arithmetic axiomatized b...
read it

Rigid models of Presburger arithmetic
We present a description of rigid models of Presburger arithmetic (i.e.,...
read it

Recursive functions and existentially closed structures
The purpose of this paper is to clarify the relationship between various...
read it
Emil Jeřábek
is this you? claim profile