1 problem

Matching

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

Axiomatization conjecture for Büchi arithmetic 2_22​