Skip to main content
3 votes
Accepted

(When) are recursive "definitions" definitions?

This answer elaborates on my comments above. My impression from your question is that you are interested in definitions in the technical sense of mathematical logic (rather than the informal notion of ...
Alex Kruckman's user avatar
3 votes
Accepted

Decidable but incomplete arithmetical theories?

Take the language $\{+,<,s\}$ and the theory consisting of: All true sentences in $\{+,<\}$ (so basically, Presburger arithmetic without successor). The sentence saying "Either for all $x$...
Noah Schweber's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible