@arxivlens.bsky.social

8 months ago

Unravelling Cyclic First-Order Arithmetic
Dominik Wehr, Graham E. Leigh
Paper
Details
#CyclicFOA #LogicAndComputability #MathematicalLogic