scientific article; zbMATH DE number 7183894
From MaRDI portal
Publication:5222074
zbMATH Open1432.03120MaRDI QIDQ5222074
Publication date: 30 March 2020
Title of this publication is not available (Why is that?)
Decidability (number-theoretic aspects) (11U05) Biographies, obituaries, personalia, bibliographies (01A70) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Distribution of integers with specified multiplicative constraints (11N25)
Related Items (3)
In memoriam Alan Day, 1941--1990 ⋮ Obituary: Alan Mekler ⋮ Positive existential Definability with unit, addition and coprimeness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222074)