Re: Semantics of First-Order Languages

george schrieb:


Well, I hope it is obvious why I could not FOREsee that you
would be meaning THAT. The point being that there are rules
of function-formation/definition out there -- there are set-existence
requirements in ZFC such that GIVEN the existence of certain
recursive functions and predicates, THERE MUST exist certain
other functions that happen not to be recursive (or even r.e.).

please, would you be so kind and tell me what you mean
with "r.e.".

Thomas Käufl
.

Relevant Pages

  • Re: axioms of mathematical logic
    ... First, within the theory of recursive functions, there is known a proper ... i base it on predicate logic and ZFC. ... I simply pointed to that there is naive usage of 'very' finite formalism not ... arithmetization. ...
    (sci.logic)
  • Re: Semantics of First-Order Languages
    ... that all function symbols are interpreted by recursive functions ... (and similarly for predicates/relations), ... requirements in ZFC such that GIVEN the existence of certain ... giving an interpretation at all. ...
    (sci.logic)