Yes, A019565 does appear to be the same definition. I called it "Goedelian" ("Goedelial" ???) because Goedel used mappings to primes for his encodings, and it is sort of like Primorial... At 05:01 PM 10/24/2015, Hans Havermann wrote:
I believe that http://oeis.org/A019565 corresponds to your "Goedel sequence".
I assume you meant that a Goedelian prime is the prime G(n)+1 (not the odd number n).
Including 2, aren't these just primes p such that p-1 is squarefree?
On Oct 24, 2015, at 5:18 PM, Henry Baker <hbaker1@pipeline.com> wrote:
OK, here's a new(?) sequence for OEIS, perhaps called a "Goedel sequence" G(n):
<deletia>
The following is wrong; should be G(n)+1 itself, of course.
A Goedelian prime would be an odd number n such that G(n)+1 is prime.