1 problem

Matching

Axiomatization conjecture for Büchi arithmetic $_2$
Axiomatization conjecture. The axioms and schemata $(1)$ – $(17)$ axiomatize $_2$ .
openbuechi-arithmetic formal-arithmetic model-theory
06