Re: Characterization of Gamma_0

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.

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • 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
    ... 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
    ... Daryl McCullough 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: getting OT: Re: Its like driving by a car crash.
    ... > variations leading to it, nearly all useless, is far beyond my ... > comprehension other than as numbers, but that thing just seems too damn ... > clever to be merely emergent. ... sorts of politicians on-side here, ...
    (comp.dsp)