The Gödel Incompleteness Theorem and Decidability over a Ring

• 1 June 2000
• book chapter
• Published by World Scientific Pub Co Pte Ltd
• p. 1477-1495
• https://doi.org/10.1142/9789812792839_0021

Abstract

Keywords

• RING
• SECTIONS ARE INCLUDED
• GDEL
• GÖDEL INCOMPLETENESS THEOREM
• THEOREM AND DECIDABILITY