In memoriam of Alan Robert Woods

zbMATH Open1432.03120MaRDI QIDQ5222074FDOQ5222074

Authors: Patrick Cégielsi, D. Richard 

Publication date: 30 March 2020

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

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)

Cited In (4)

• In memoriam Alan Day, 1941--1990
• Obituary: Alan Mekler
• 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)