David M. Cerna

Identifiers

• name variant David M. Cerna 0.60 · backfill

Papers (6)

1. Honey, I shrunk the hypothesis space (through logical preprocessing) cs.AI · 2025 · author #3
2. One is all you need: Second-order Unification without First-order Variables cs.LO · 2024 · author #1
3. Proof Schemata for Theories equivalent to $PA$: on the Benefit of Conservative Reflection Principles math.LO · 2017 · author #1
4. Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations math.LO · 2016 · author #1
5. Taking a Detour to Zero: An Alternative Formalization of Functions Beyond PR cs.LO · 2016 · author #1
6. A Generalized Resolution Proof Schema and the Pigeonhole Principle cs.LO · 2016 · author #1

Mentions

• 2506.06739 #3 · arxiv_oai · confidence 0.70 David M. Cerna

Frequent Coauthors

• Andrew Cropper 1 shared papers
• Anela Lolic 1 shared papers
• Filipe Gouveia 1 shared papers
• Julian Parsert 1 shared papers