Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.
From MaRDI portal
(Redirected from Publication:1830461)
Cited in
(6)- Towards modelling the topology of homogeneous manifolds by means of symbolic computation
- Reasoning about reversal-bounded counter machines
- Taking complete finite prefixes to high level, symbolically
- Decidability of membership problems for flat rational subsets of \(\mathrm{GL}(2,\mathbb{Q})\) and singular matrices
- Positive existential Definability with unit, addition and coprimeness
- Taking complete finite prefixes to high level, symbolically
This page was built for publication: Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1830461)
