In memoriam of Alan Robert Woods

MaRDI QIDQ5222074zbMATH OpenFDO

Authors Patrick Cégielsi, D. Richard

Publication date 30 March 2020

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Distribution of integers with specified multiplicative constraints (11N25) Decidability (number-theoretic aspects) (11U05)

Recommendations

• The Woods-Erdős conjecture for polynomial rings
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
• More on an undecidability result of Bateman, Jockusch and Woods
• scientific article; zbMATH DE number 3926911
• Decidability and undecidability of theories with a predicate for the primes

Cited in

(4)

• Obituary: Alan Mekler
• In memoriam Alan Day, 1941--1990
• Simplified models establishing some of Nézondet's results on Erdös-Woods conjecture
• Positive existential Definability with unit, addition and coprimeness

This page was built for publication: In memoriam of Alan Robert Woods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222074)