Decidability and undecidability of theories with a predicate for the primes.

P.T. Bateman, C.G Jockusch, Alan Woods

    Research output: Contribution to journalArticlepeer-review

    14 Citations (Web of Science)

    Fingerprint

    Dive into the research topics of 'Decidability and undecidability of theories with a predicate for the primes.'. Together they form a unique fingerprint.

    Mathematics

    Engineering

    Computer Science