Introduces decidable Lindenbaum-algebras as a generalization of Z/pZ to decide solvability of positive first-order arithmetic formulas, with the property that unsolvability in the algebra implies unsolvability over the integers.
Academic press, 1969
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A generalization of a representation of the integers modulo $p$, for the purpose of occasionally establishing the unsolvability of diophantine inequalities
Introduces decidable Lindenbaum-algebras as a generalization of Z/pZ to decide solvability of positive first-order arithmetic formulas, with the property that unsolvability in the algebra implies unsolvability over the integers.