Re: Characterization of Gamma_0


Daryl McCullough wrote:
Rupert says...

Daryl McCullough wrote:

Instead of working with PA, let's switch to a weak second-order theory.
In this theory, we have two sorts of objects, naturals and sets of naturals.
The sets of naturals are closed under comprehension.

What sort of comprehension? First-order comprehension?

I think that's sufficient for my purposes.


Yes, well I always thought something like your statement was right, but
I'm afraid I don't know for sure. I hope someone qualified can clear
this up.

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: Characterization of Gamma_0
    ... In this theory, we have two sorts of objects, naturals and sets of naturals. ... The sets of naturals are closed under comprehension. ... epsilon function. ...
    (sci.logic)
  • Re: Characterization of Gamma_0
    ... Rupert wrote: ... In this theory, we have two sorts of objects, naturals and sets of naturals. ... The sets of naturals are closed under comprehension. ...
    (sci.logic)
  • Re: Characterization of Gamma_0
    ... Rupert says... ... In this theory, we have two sorts of objects, naturals and sets of naturals. ... The sets of naturals are closed under comprehension. ...
    (sci.logic)
  • Re: help with Godels
    ... Daryl McCullough wrote: ... You can let absolutely any mathematical object be your zero, ... true of any structure isomorphic to the naturals. ... A standard model has no proper submodels. ...
    (sci.logic)
  • Re: Learning Logic and Set Theory
    ... Okay, according to another thread ("Metamathematically True or False?"), ... than sets of naturals. ... the concept of "expressing" a set generalizes to non-r.e. ... Daryl McCullough ...
    (sci.logic)