1 problem

0 votes0 replies0 views
Axiomatization conjecture for Büchi arithmetic $_2$
Axiomatization conjecture. The axioms and schemata $(1)$ – $(17)$ axiomatize $_2$ .
Conjectureopenbuechi-arithmetic formal-arithmetic model-theoryarXiv posted 2 days ago

Axiomatization conjecture for Büchi arithmetic 2_22​