Re: question about categoricity

"Per Freem" <perfreem@xxxxxxxxx> writes:


> but since Chris's example involves expanding the language of the first
> structure (by adding another constant to it), [...]

There was no added constant, just an added element in the domain.
Quoting his response: " Suppose B's domain is Nat U {you} and 'd_i'
denotes i in B, for all i, and nothing denotes you in B."
.

Relevant Pages

  • Re: question about categoricity
    ... >> but since Chris's example involves expanding the language of the first ... > denotes i in B, for all i, and nothing denotes you in B." ... but i'm just not sure where this technique would fail in this case? ...
    (sci.logic)
  • Re: SETI
    ... but almost all of us are born with the ability to master a language. ... That's orbiting at 19 miles a second, so it's reckoned, ... Of the galaxy we call the Milky Way. ... In this amazing and expanding Universe. ...
    (talk.origins)
  • Re: Python syntax in Lisp and Scheme
    ... Python will certainly have enough in its ever expanding bag of tricks ... You could imagine, as an exaggerated example, a language ... A good language has a good set of language constructs and a good ... Such a language is Scheme (or Lisp). ...
    (comp.lang.python)
  • Re: Is this language context free?
    ... Here y^R denotes the string obtained by reversing y. ... Is L context free? ... this language is trivially context-free. ...
    (comp.theory)
  • Re: allocate memory statically
    ... C is the main language for embedded work and it's use is expanding ... matters less for desktop use but most embedded work (where C is THE ... and C++ compatibility then C++ will have to move closer to C. ...
    (comp.lang.c)
Quantcast