The following pages link to Emil Jeřábek (Q331053):
Displaying 28 items.
- Proofs with monotone cuts (Q2888631) (← links)
- Sequence encoding without induction (Q2888636) (← links)
- Cluster expansion and the boxdot conjecture (Q2958221) (← links)
- Bases of Admissible Rules of Lukasiewicz Logic (Q3069724) (← links)
- Approximate counting by hashing in bounded arithmetic (Q3399180) (← links)
- The strength of sharply bounded induction (Q3418091) (← links)
- Blending margins: the modal logic K has nullary unification type (Q3450207) (← links)
- Independent Bases of Admissible Rules (Q3508162) (← links)
- Admissible Rules of Lukasiewicz Logic (Q3553916) (← links)
- Abelian groups and quadratic residues in weak arithmetic (Q3566945) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- Proof Complexity of the Cut-free Calculus of Structures (Q3623221) (← links)
- Canonical rules (Q3655251) (← links)
- A note on Grzegorczyk's logic (Q4736757) (← links)
- THE UBIQUITY OF CONSERVATIVE TRANSLATIONS (Q4899964) (← links)
- The foundation axiom and elementary self-embeddings of the universe (Q4982449) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)
- Recursive functions and existentially closed structures (Q5114808) (← links)
- The complexity of admissible rules of Lukasiewicz logic (Q5300587) (← links)
- Approximate counting in bounded arithmetic (Q5422312) (← links)
- On Independence of Variants of the Weak Pigeonhole Principle (Q5431613) (← links)
- Subdirectly irreducible non-idempotent left symmetric left distributive groupoids (Q5476514) (← links)
- Admissible Rules of Modal Logics (Q5696300) (← links)
- The theory of hereditarily bounded sets (Q6094150) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)
- On the proof complexity of logics of bounded branching (Q6339312) (← links)
- Elementary analytic functions in $VTC^0$ (Q6403046) (← links)
- On the theory of exponential integer parts (Q6529993) (← links)
