Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.
From MaRDI portal
Publication:1830461
zbMATH Open56.0825.04MaRDI QIDQ1830461FDOQ1830461
Authors: M. Presburger 
Publication date: 1930
Full work available at URL: http://gallica.bnf.fr/ark:/12148/bpt6k3056t.f92
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)
