A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction (Q2668897)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction |
scientific article |
Statements
A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. II: The main reduction (English)
0 references
9 March 2022
0 references
quantifier elimination
0 references
existential theory
0 references
divisibility
0 references
decidability
0 references
Chinese remainder theorem
0 references
0 references