The following pages link to Inconsistent number systems (Q1102264):
Displaying 6 items.
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Inconsistent models of arithmetic. II: The general case (Q2710594) (← links)
- Number systems based on logical calculus (Q3191670) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- On <i>LP</i>-models of arithmetic (Q5387309) (← links)
- (Q5411488) (← links)